ET and an infinitary Church's thesis

DOI10.1007/BF03024371zbMath0852.03018MaRDI QIDQ1908701

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

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Recursive functions and relations, subrecursive hierarchies (03D20) Recreational mathematics (00A08)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Church's thesis and the ideal of informal rigour
• Reflections on Church's thesis
• Intensions, Church's Thesis, and the formalization of mathematics
• Mechanism, mentalism, and metamathematics. An essay on finitism
• Why Gödel didn't have church's thesis
• Quantum theory, the Church–Turing principle and the universal quantum computer
• Computability by Normal Algorithms
• Remarks on an infinitary language with constructive formulas
• Church’s thesis and its relation to the concept of realizability in biology and physics

This page was built for publication: ET and an infinitary Church's thesis