Pages that link to "Item:Q873911"
From MaRDI portal
The following pages link to Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911):
Displaying 8 items.
- Truth and provability (Q354136) (← links)
- From Dedekind to Zermelo versus Peano to Gödel (Q1694959) (← links)
- Reflections on Gödel's theorem (Q2713246) (← links)
- Undefinability of truth. the problem of priority:tarski vs gödel (Q2757968) (← links)
- Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems (Q2757974) (← links)
- Incompleteness, undecidability, undefinability (Q3978786) (← links)
- Finite sets and Gödel's incompleteness theorems (Q4829437) (← links)
- Logical Approaches to Computational Barriers (Q5898817) (← links)