Matematiğin Temelleri - Matematiğin Temel İlkeleri - Matematik Temel Bilgiler

"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

Geçerli baskın matematiksel paradigma aksiyomatik küme kuramı ve formel mantık üzerine kurulmuştur Günümüzde neredeyse bütün matematik teoremleri küme kuramının teoremleri ş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ğim 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