-
Matematiksel mantık formel mantıkın matematiğe uygulamalarını araştıran-geliştiren matematiğin bir alt dalıdır.
Alman mantıkçı gottlob frege, "Matematik mantığın uygulama alanıdır." teziyle aritmetiğin temelleri konusundaki felsefi çalışmaları için bir mantık sistemi geliştirmiştir. Frege'nin çalışmalarına dayanarak, bertrand russell ve alfred north whitehead 1910-1913 yılları arasında Principia Mathematica adını verdikleri eserde matematiği mantığa indirgeyerek formel bir sistem haline getirmeye çalıştılar. Fakat matematiğin formel hale getirilemeyeceğini kurt gödel 1933'te yayınladığı bir kitabındaki (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme) meşhur teoremiyle gösterdi.
- bugün (0)
- holizm 3
- holistik bilgi hiyerarşisi
- genel sistem teorisi 2
- m ö 3
- bilim felsefesi nedir
- goldilocks bölgesi
- büyük patlama
- kuasar
- omega
- muon
- olay ufku
- şişme
- termodinamik 3
- standart model
- nötron
- proton
- kuark
- izotop
- karanlık madde
- mutlak sıfır
- gama ışınımı
- beta ışınımı
- alfa ışınımı
- striatum
- hareket doğal yapay dünya karşılaştırması
- matematik için söylenmiş üç önemli söz
- holistik bakıştan bilimsel bilgiyi ele almak
- en somut nedir
- en soyut nedir
- pragmatizm
- etik
- izomorfizm
- auguste comte
- henri de saint simon
- pozitivizm
- skolastizm
- vitalizm
- genel sistem kuramı
- entropi 2
- emergence
- ortaya çıkma
- sibernetik
- alexander bogdanov
- ludwig von bertalanffy
- öğe
- homeostasis
- otopoiezis
- belirim
- matematiksel düşünce
- matematik tarihi