entscheidungsproblem

• alm. benim bir p tezim var, şimdiye kadar bu p tezinin yanlış oldugu gösterilemedi lakin doğru oldugu da ispatlanamadı. bir algoritma bulsak, öyle ki, bu algoritma p'ye baksa, yazsa, çizse "evet, sizin teziniz ispatlanabilirdir." ya da "olmamış. otur sıfır" dese ne güzel olurdu. ve fakat bu mümkün müdür?
  
  leibniz'den miras, hilbert tarafından resmileştirilmiş bu soruya cevap 1936'da turing ve church tarafından farklı yöntemlerle, en azından sayılar teorisi için, "yoktur." olarak gelmiş, hilbert "hiç mi yok" diyince kavga çıkmıştır.
  
  (bkz: evrensel turing makinası)