Church's thesis after 70 years
From MaRDI portal
Publication:2492061
zbMath1089.03006MaRDI QIDQ2492061
No author found.
Publication date: 6 June 2006
Published in: Ontos Mathematical Logic (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION, A Natural Axiomatization of Computability and Proof of Church's Thesis, Turing oracle machines, online computing, and three displacements in computability theory