» גלריה » חידות לוגיות 111011001000001010

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.

¤ עשירייה ¤

חידות לוגיות

AsciiArt

ביבליה סלולרית

קונקורדנציה של Strong

¤ חיפוש ¤

¤ Biblenet ¤

חזרה למעלה

אופטימלי עבור Firefox

מפת האתר | גירסה ניידת | A⁺ A A^-