scientific article
From MaRDI portal
Publication:3256321
zbMath0085.25002MaRDI QIDQ3256321
Publication date: 1959
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ Peptide Computers ⋮ What is the Church-Turing Thesis? ⋮ Dag Prawitz on proofs, operations and grounding ⋮ 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 ⋮ The Developments of the Concept of Machine Computability from 1936 to the 1960s ⋮ Gödel and Intuitionism ⋮ Péter on Church's thesis, constructivity and computers
This page was built for publication:
