Genel bakış
Kurt Gödel (1906–1978), matematiksel mantık alanında çalışan Avusturya doğumlu Amerikalı matematikçidir. Viyana’da doktorasını tamamladı; daha sonra Princeton’daki Institute for Advanced Study’de uzun yıllar görev yaptı.[1]
KATKILARI
Eksiklik teoremleri, yeterince güçlü ve tutarlı aksiyomatik sistemlerde sistem içinde ne doğrulanabilen ne de çürütülebilen önermeler bulunacağını gösterdi. Seçim aksiyomu ve genelleştirilmiş süreklilik varsayımının göreli tutarlılığına ilişkin kanıtları da küme kuramını etkiledi. Çalışmaları mantık, matematik felsefesi ve hesaplanabilirlik araştırmalarının temel kaynaklarındandır.[1]