Seversintabi.com Türkiye'nin En Büyük Forumu Bence Seversin Tabi
 

Go Back   Seversintabi.com Türkiye'nin En Büyük Forumu Bence Seversin Tabi > Eğitim - Öğretim > matematik - geometri
Yardım Topluluk Takvim Bugünki Mesajlar Arama

gaziantep escort gaziantep escort
youtube beğeni hilesi
 

 

LinkBack Seçenekler Stil
Prev önceki Mesaj   sonraki Mesaj Next
  #1  
Alt 9 December 2008, 15:18
Junior Member
 
Kayıt Tarihi: 1 September 2008
Mesajlar: 0
Konular:
Aldığı Beğeni: 0 xx
Beğendiği Mesajlar: 0 xx
Standart Matematiğin Temelleri

"Matematiğin temelleri" olarak bilinen matematik dalı matematiğin tümü için geçerli olan en temel kavramları ve mantıksal yapıları inceler. Sayı, küme, fonksiyon, matematiksel tanıt, matematiksel tanım, matematiksel aksiyom, algoritma vb. gibi kavramlar Matematiksel mantık, Aksiyomatik Küme Teorisi, Tanıtlama Teorisi, Model Teorisi, Hesaplama teorisi, Kategori Teorisi gibi yine matematiğim temelleri olarak anılan alanlarda incelenir. Bununla birlikte matematiğin temellerinin araştırılması matematik felsefesinin ana konularından biridir. Bu daldaki can alıcı soru matematiksel önermelerin hangi nihai esaslara göre "doğru" ya da "gerçek" kabul edilebileceğidir.
üzerine kurulmuştur. Günümüzde neredeyse bütün matematik teoremleri küme kuramının Geçerli baskın matematiksel paradigma aksiyomatik küme kuramı ve formel mantıkteoremleri şeklinde ifade edilebilmektedir. Bu bakış açısına göre matematiksel bir önermenin doğruluğu (gerçekliği) önermenin formel mantık yoluyla küme kuramının aksiyomlarından türetilebildiği iddiasından başka bir şey değildir. Bununla birlikte bu formel yaklaşım bazı konuları aydınlatmakta yeterisz kalır: Neden kullandığımız aksiyomlar yerine başka aksiyomlar kullanmayalım? Neden kullandığımız mantık kuralları yerine başka mantık kuralları kullanmayalım? Neden "doğru" matematiksel önermeler (örneğin aritmetik yasaları) fiziksel dünyada doğruymuş gibi görünür? Bu sorunsal Eugene Wigner tarafından (1960) "en:The unreasonable effectiveness of mathematics in the physical sciences" (Matematiğin doğa bilimlerindeki anlaşılmaz etkililiği) adlı çalışmasında ayrıntılı olarak işlenmiştir.
Yukarıda belirtilen formel gerçeklik nosyonunun hiçbir manası da olmayabilir. Başka bir deyişle tüm önermelerin, hatta paradoksların, küme kuramı aksiyomlarından türetilmesi olanaklı olabilir. Bunun ötesinde Gödel'in ikinci teoreminin sonucu olarak bunun böyle olmadığından hiçbir zaman emin olamayız.
Matematiksel gerçekçilikte (Platonizm olarak da bilinir), insanlardan bağımsız olan bir matematiksel nesneler dünyasının var olduğu öne sürülür. Matematiksel nesnelere ilişkin doğrular insanlar tarafından keşfedilir. Bu görüşe göre doğanın yasaları ve matematiğin yasaları benzer bir statüdedir ve matematik yasaların doğadaki etkililiğinin mantıksız olduğu savı geçerliliğini yitirir. Aksiyomlarımız değil, matematiksel nesnelerin elle tutulabilir gerçek dünyası matematiğin temellerini oluşturur. Bu noktada doğal olarak beliren soru, (Bu matematiksel dünyaya nasıl erişlebilir?) sorusudur.
Matematik felsefesinde bazı modern kuramlar, özgün anlamıyla, temellerin var olduğunu reddeder. Bazıları matematiksel uygulama üzerinde yoğunlaşır ve matematikçilerin bir sosyal grup olarak somut çalışmalarını betimlemeyi ve çözümlemeyi amaçlar. Yine başkaları, matematiğin 'gerçek dünyaya' uygulandığında güvenilirliği konusunda insanın bilişseliğine yoğunlaşarak matematiği bilişsel bilim olarak oluşturmaya çalışır. Bu kuramlarda temeller yalnızca insan düşüncesinde bulunur ve 'nesnel' dış yapıda yoktur. Bu konu hala çözüme kavuşturulamamıştır.
Alıntı ile Cevapla
 




Saat: 00:52


Telif Hakları vBulletin® v3.8.9 Copyright ©2000 - 2024, ve
Jelsoft Enterprises Ltd.'e Aittir.
gaziantep escort bayan gaziantep escort
antalya haber sex hikayeleri Antalya Seo tesbih aresbet giriş vegasslotguncel.com herabetguncel.com ikili opsiyon bahis vegasslotyeniadresi.com vegasslotadresi.com vegasslotcanli.com getirbett.com getirbetgir.com
ankara escort ankara escort ankara escort bayan escort ankara ankara escort çankaya escort ankara otele gelen escort eryaman escort eryaman escort eryaman escort kızılay escort çankaya escort kızılay escort ankara eskort
mecidiyeköy escort

Search Engine Friendly URLs by vBSEO 3.6.0 PL2