ET and an infinitary Church's thesis
From MaRDI portal
Publication:1908701
DOI10.1007/BF03024371zbMATH Open0852.03018MaRDI QIDQ1908701FDOQ1908701
Authors: Robert M. Baer
Publication date: 5 March 1996
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
Recommendations
- scientific article
- scientific article; zbMATH DE number 5241980
- scientific article; zbMATH DE number 1004209
- Church's thesis and its epistemological status
- Absolute Infinity in Class Theory and in Theology
- scientific article; zbMATH DE number 3548931
- Church's thesis as formulated by Church -- an interpretation
- Church's Thesis: Prelude to a Proof
- The status of Church's thesis
- Church's thesis, continuity, and set theory
Recreational mathematics (00A08) Recursive functions and relations, subrecursive hierarchies (03D20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Cites Work
- Quantum theory, the Church–Turing principle and the universal quantum computer
- Title not available (Why is that?)
- Church's thesis and the ideal of informal rigour
- Mechanism, mentalism, and metamathematics. An essay on finitism
- Title not available (Why is that?)
- Why Gödel didn't have church's thesis
- Church’s thesis and its relation to the concept of realizability in biology and physics
- Remarks on an infinitary language with constructive formulas
- Intensions, Church's Thesis, and the formalization of mathematics
- Reflections on Church's thesis
- Title not available (Why is that?)
- Computability by Normal Algorithms
Cited In (1)
This page was built for publication: ET and an infinitary Church's thesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1908701)