Karar Verilebilirlik ile Karar Verilemezlik
Matematik
Aritmetik
Kritik
Özet
Bir önermenin doğru mu yanlış mı olduğunun, mekanik bir yöntemle sonlu adımda belirlenebilmesidir. İLE Böyle bir yöntemin var olamayacağı durumdur. İlki mekanik olarak çözülebilir, ikincisi çözülemezdir.
Ayrıntılı Açıklama
Alan Turing tarafından 1936 yılında keşfedildi/formüle edildi. (1912-1954) (Ülke: İngiltere) (Alan: Matematik, Bilgisayar) (Önemli katkıları: Turing makinesi, yapay zeka)