Publication:3993070
From MaRDI portal
zbMath0685.03001MaRDI QIDQ3993070
Richard L. Epstein, Walter Alexandre Carnielli
Publication date: 17 September 1992
Turing machines; paradoxes; propositional logic; constructive mathematics; computability; foundations of mathematics; recursive functions; infinite; Gödel's incompleteness theorems; intuitionism; finitism; Church's Thesis; recursive mathematics; philosophical problems; Bishop-style constructivism; first- order-logic
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
Related Items
Research and Development in Computable Production Functions, Computability and Recursion, Turing oracle machines, online computing, and three displacements in computability theory, The intrinsic difficulty of recursive functions, Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics, Prime simplicity