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/>
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.
|