Etiket Arşivleri: Gödel’in Eksiklik Teoremi

Bu yazıda Gödel’in Eksiklik kanıtını elimden geldiğince basit bir şekilde açıklamaya çalışacağım. Kurt Gödel, hiç bir matematik sisteminin tam olamayacağını söyleyen kanıtıyla ün kazanmıştır. Bu kanıta göre, sınırlı bir aksiyomlar(*) kümesiyle başlayan herhangi bir mantıksal sistem (matematik), zorunlu olarak sistem içinde ispatlanamayan ama doğru olan önermeler içerecektir. (**) Gödel şunu da gösterdi: Bir matematik sistemine ait Gödel tipi önermeleri, sisteme aksiyom olarak …