Pages that link to "Item:Q4432541"
From MaRDI portal
The following pages link to Gödel, Tarski, Church, and The Liar (Q4432541):
Displaying 7 items.
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- The diagonal argument and the Liar (Q914657) (← links)
- Tarski and Gödel: Between the lines (Q2702728) (← links)
- Boolos-style proofs of limitative theorems (Q4459602) (← links)
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (Q4650304) (← links)
- (Q4671131) (← links)
- Tarski's theorem and liar-like paradoxes (Q5172124) (← links)