Hoare mantığımız var. Neden bir algoritmanın doğru olduğu hala mümkün, ancak doğru olduğuna dair bir kanıt yok? Algoritmanın C ile ifade edildiğini varsayalım. Sonra adım adım yapması gerekeni yaptığını söyleyebiliriz.
Benim sorum şu:
Bana doğru olan ancak doğruluk kanıtı olmayan bir algoritma örneği verin.
EDIT: Ben küçük bir arka plan nereye gittiğimi açıklığa yardımcı olabilir düşünüyorum. Scott Aaronson'dan alıntı yapmama izin verin:
1970'lerden bu yana, P NP'nin Zermelo-Fraenkel set teorisi gibi matematik için standart aksiyom sistemlerinden bağımsız (yani ne kanıtlanabilir ne de çekilmez) olabileceği spekülasyonları vardır . Açık olmak gerekirse, bu ya
NP-tam problemleri için bir polinom-zaman algoritması mevcut değildir, ancak bunu asla kanıtlayamayız (en azından olağan resmi sistemlerimizde değil), ya da başka
NP-tam problemleri için bir polinom zamanlı algoritması yapar mevcut olmakla ya biz çalıştığını kanıtlamak asla veya bunu polinom zamanda durur kanıtlamak olamaz.
İkinci olasılıktan bahsediyorum. Aaronson bunu bir olasılık olarak çok güvenli bir şekilde listeleyebileceğinden, mevcut bir tip 2 örneği olması gerektiğini düşünüyorum. Bu yüzden bu soruyu soruyorum. Ancak hızlı ve net bir cevap görünmüyor gibi görünüyor.