Kurt Gödel (1906 - ...)
Kurt Gödel, Avusturya asıllı bir Amerikan mantıkçısı ve matematikçisidir. 1906 yılında Brno’da doğdu. 1953 yılında Princeton Üniversitesi’nde profesör oldu. Modern mantığın kurucusudur.
Matematiğe Katkıları:
- **"Principia Mathematica"** nın **“Benzeri Sistemlerin Formel Hükme Bağlanamayan Önermeleri Üstüne”** yazılar yazdı.
- Burada iki teoremin yazarıdır (Eksiklik Teoremleri). Bu teoremler, matematiksel sistemlerin temel sınırlarını göstermiştir.
- **Modern mantığın** ve matematik felsefesinin en temel çalışmalarını yapmıştır.