Kurt Gödel (1906–1978), Avusturya doğumlu bir mantıkçı ve matematikçidir. Viyana Üniversitesi’nde eğitim görmüş, Viyana Çevresi’nin düşünsel ortamında yetişmiş ve genç yaşta matematiksel mantık alanında dikkat çekici sonuçlara ulaşmıştır. 1940’lı yıllarda Amerika Birleşik Devletleri’ne göç ederek Princeton’daki İleri Araştırmalar Enstitüsü’nde görev yapmıştır.

Gödel, 1931’de yayımladığı eksiklik teoremleriyle, aritmetiği kapsayan tutarlı ve yeterince zengin her biçimsel sistemde, o sistem içinde ispatlanamayan fakat doğru olan önermelerin bulunacağını göstermiştir. Bu sonuç, Hilbert’in matematikte tamlık ve tutarlılık programına güçlü bir sınır getirmiş, matematiğin temelinin nasıl anlaşılması gerektiğine dair tartışmaları köklü biçimde etkilemiştir. Ayrıca küme teorisi, süreklilik hipotezi ve görelilik kuramı üzerine de önemli çalışmalar yapmış, 20. yüzyıl matematik ve felsefe düşüncesinin en etkili isimlerinden biri olmuştur.