scientific article; zbMATH DE number 727991
From MaRDI portal
Publication:4324696
zbMath0816.03001MaRDI QIDQ4324696
Publication date: 2 March 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10)
Related Items (18)
What is the Church-Turing Thesis? ⋮ On mind \& Turing's machines ⋮ Effectiveness and provability ⋮ The dependence of computability on numerical notations ⋮ Can Church's thesis be viewed as a Carnapian explication? ⋮ Hypercomputation: Philosophical issues ⋮ Conceptual Confluence in 1936: Post and Turing ⋮ Proving Things About the Informal ⋮ Why Turing’s Thesis Is Not a Thesis ⋮ Why Post Did [Not Have Turing’s Thesis] ⋮ The Different Ways in which Logic is (said to be) Formal ⋮ Computation, hypercomputation, and physical science ⋮ Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems ⋮ Constructibility and Geometry ⋮ Axiomatizations of arithmetic and the first-order/second-order divide ⋮ Mathematical and Technological Computability ⋮ The Developments of the Concept of Machine Computability from 1936 to the 1960s ⋮ Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing
This page was built for publication:
