Ostatnio: 29.03.2017

Darmowe galerie dla serwisów aukcyjnych

Twierdzenia Löba stanowi, że jeśli maszyna löbowska (np. arytmetyka Peano) może dowieść, że "jeśli P jest możliwe do dowiedzenia to P jest prawdą", to P jest w jej ramach możliwe do dowiedzenia. Tak więc dowód na to, że "jeśli w arytmetyce Peano da się dowieść hipotezy Goldbacha, to jest ona prawdziwa" byłby dowodem na to, że hipoteza Goldbacha jest prawdziwa!

Twierdzenia Löba przywołuje się w tekstach dotyczących badań nad sztuczną inteligencją, ponieważ ilustruje podstawowy rodzaj samoodniesienia, które ma miejsce gdy algorytm rozważa swoje wyjście jako część świata i jest w związku z tym istotne przy pracy z samomodyfikującymi się agentami [zob. An Introduction to Löb's Theorem in MIRI Research].

Poniżej jego komiksowe wyjaśnienie opublikowane jako The Cartoon Guide to Löb's Theorem. Od wersji oryginalnej różni się 9. krokiem, w którym najprawdopodobniej autorowi wkradł się błąd i napisał (1, MP) zamiast (8, 1, MP).













Wykop

Korzystanie z serwisu oznacza akceptację Regulaminu. Copyright – 1999-2017 INTERIA.PL , wszystkie prawa zastrzeżone.