Pages that link to "Item:Q1567047"
From MaRDI portal
The following pages link to Gödel's incompleteness theorems and computer science (Q1567047):
Displaying 6 items.
- A note on applicability of the incompleteness theorem to human mind (Q1295425) (← links)
- Human and machine interpretation of expressions in formal systems (Q1299818) (← links)
- The impact of Gödel's incompleteness theorems on mathematics (Q2856483) (← links)
- Computation and intractability: echoes of Kurt Gödel (Q2856489) (← links)
- Incompleteness, Mechanism, and Optimism (Q4227855) (← links)
- Logical Approaches to Computational Barriers (Q5898810) (← links)