ET and an infinitary Church's thesis

DOI10.1007/BF03024371zbMATH Open0852.03018MaRDI QIDQ1908701FDOQ1908701

Robert M. Baer

Publication date: 5 March 1996

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantum theory, the Church–Turing principle and the universal quantum computer
• Church's thesis and the ideal of informal rigour
• Mechanism, mentalism, and metamathematics. An essay on finitism
• 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
• Computability by Normal Algorithms

Cited In (1)

• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Absolute Infinity in Class Theory and in Theology 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)