Computation problems
- Limitations of formal systems
- There are uncomputable functions
- Incompleteness (Gödel)
- Undefinability (Tarsky)
- Decision problem - Hilbert's Entscheidungsproblem (Turing-Church)
- Halting problem (Turing)
- Syntax vs semantics (Searle)
- Discrete vs continuous
But... system human-machine - and oracle machines (Soare)