Next:
Definitions
Up:
Logic, Computability, and Uncomputability
Previous:
The Löwenheim-Skolem Theorem
Turing Machines
Definitions
Examples
The Halting Problem
The Undecidability of First-Order Logic
Selmer Bringsjord
1999-04-19
