Matematiksel mantık: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
k →Olumsuzu: başlık düzenlemeleri |
ASasAASSaasAS |
||
1. satır:
{{düzenle|Ocak 2010}}
Çağdaş mantığın ve çağdaş felsefenin kurucusu Alman mantıkçısı [[Gottlob Frege|Gottlo]]
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.
|