ET and an infinitary Church's thesis

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

zbMATH Keywords

extension of Church's thesis to infinite sequences of integers

Mathematics Subject Classification ID

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)

• Title not available (Why is that?)

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)