Matematiksel mantık: Revizyonlar arasındaki fark
| [kontrol edilmemiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
Değişiklik özeti yok |
k 88.228.152.153 tarafından yapılan değişiklikler geri alınarak, Peykbot tarafından değiştirilmiş önceki sürüm geri getirildi. |
||
1. satır:
{{düzenle|Ocak 2010}}
Çağdaş mantığın ve çağdaş felsefenin kurucusu Alman mantıkçısı [[Gottlob Frege]], "''Matematik mantığın uygulama alanıdır.''" görüşünden hareketle matematiğin, mantığın aksiyomatik sistemi üzerine kurulabileceğini düşünmüştür. Bu düşünceden hareket ederek aritmetiğin temelleri konusundaki felsefi ç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.
| |||