Gödel'in Yetersizlik Teoremi

Kısaca: Ünlü matematikçi Hilbert, matematikteki tüm ispatların, belli bir yöntemle, yani aksiyomatik bir sistem vasıtasıyla, elde edilebileceğini düşünüyordu ve bu doğrultuda çalışmalarına başladı. Temel aritmetikteki tüm doğruları, aksiyomlarından türetebilirse, matematikteki tüm doğruları da bu aksiyomlardan elde edebilecekti. ...devamı ☟

Bu konuda henüz görüş yok.
Görüş/mesaj gerekli.
Markdown kullanılabilir.