User:Neha.1687/Books/Decidability

Decidability

 * Probability
 * Laplace's demon
 * Russell's paradox
 * Continuum hypothesis
 * Cantor's first uncountability proof
 * Cantor's diagonal argument
 * Gödel's incompleteness theorems
 * Church–Turing thesis
 * Hilbert's second problem
 * Entscheidungsproblem
 * Turing machine
 * Halting problem
 * Chaitin's constant
 * Type theory
 * Hilbert's tenth problem
 * Diophantine equation
 * Peano axioms
 * P versus NP problem
 * NP-complete
 * NP-hard
 * Travelling salesman problem