scientific article
From MaRDI portal
Publication:3261420
zbMath0088.24902MaRDI QIDQ3261420
Publication date: 1959
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Peptide Computers ⋮ What is the Church-Turing Thesis? ⋮ The decision problem for effective procedures ⋮ Inconsistency and Incompleteness, Revisited ⋮ Relativistic computers and the Turing barrier ⋮ General relativistic hypercomputing and foundation of mathematics ⋮ Kalmár's Argument Against the Plausibility of Church's Thesis ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Péter on Church's thesis, constructivity and computers
This page was built for publication:
