Matematiksel mantık: Revizyonlar arasındaki fark

[kontrol edilmemiş revizyon][kontrol edilmemiş revizyon]
İçerik silindi İçerik eklendi
ASasAASSaasAS
Değişiklik özeti yok
1. satır:
{{düzenle|Ocak 2010}}
<nowiki/>
Çağdaş mantığın ve çağdaş felsefenin kurucusu Alman mantıkçısı [[Gottlob Frege|Gottlo]]<nowiki/>sefi çalışmaları için bir mantık sistemi geliştirmişti.
 
Daha sonra, 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.