Wallis  » Gallery » Logical puzzles

Univerzální stroj pravdy - difficulty 8.0 (former difficulty 8)
Profesor Zweistein přinesl na patentový úřad převratný vynález - univerzální stroj pravdy, který dokáže pro každé tvrzení správně určit, zda je pravdivé, nepravdivé nebo nerozhodnutelné. Například:
vstup: "1+1=2" výstup: "pravda"
vstup: "1+1=3" výstup: "nepravda"
vstup: "Toto tvrzení je nepravdivé" výstup: "nerozhodnutelné"
Na patentním úřadě ale seděl jeden bývalý matfyzák a tento patent mu zamítl. Našel totiž pravdivé tvrzení, o kterém stroj prohlásil, že je nepravdivé.
Jaké tvrzení to bylo?
Add solution | Discussion | Back
HINT: I'll be glad if you send me your solutions to unsolved puzzles. Don't forgot to mention a puzzle's name and a short description how you solved the puzzle.