Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download NONSTANDARD MODELS IN RECURSION THEORY
Document related concepts
Quantum logic wikipedia , lookup
Peano axioms wikipedia , lookup
Mathematical proof wikipedia , lookup
Gödel's incompleteness theorems wikipedia , lookup
Laws of Form wikipedia , lookup
History of the Church–Turing thesis wikipedia , lookup
List of first-order theories wikipedia , lookup
Arrow's impossibility theorem wikipedia , lookup
Non-standard analysis wikipedia , lookup
Computability theory wikipedia , lookup
Foundations of mathematics wikipedia , lookup
Mathematical logic wikipedia , lookup
Transcript
