RK – Diagonalisierung
2 Fragestellungen (21.3.2017):
- Liar <-> Russell vs. Truthteller/Löb <-> {X|X in X} ?
- Smullyan: Theorem R: Welche (Rück-)Beziehung von R zu R’ ist nötig, um Paradoxien zu bekommen; welche Bedingungen an d?
Website of the Research Project on "Hilbert's 24th Problem" funded by the Portuguese Science Foundation (PTDC/MHC-FIL/2583/2014)

2 Fragestellungen (21.3.2017):