Church's thesis without tears

DOI10.2307/2273473zbMath0527.03036OpenAlexW2047144334MaRDI QIDQ3043140

Fred Richman

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273473

zbMATH Keywords

Church's thesisBishop's constructive mathematicsconstructive analysisChurch-Markov-Turing theory of computable functionsCPFSpecker's sequence

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Other constructive mathematics (03F65) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (9)

Continuity and nondiscontinuity in constructive mathematics ⋮ Parametric Church's thesis: synthetic computability without choice ⋮ On fixed-point theorems in synthetic computability ⋮ Continuity properties in constructive mathematics ⋮ Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version ⋮ Metric spaces in synthetic topology ⋮ Diagonalisation and Church's Thesis: Kleene's Homework ⋮ Intuitionistic sequential compactness? ⋮ An analysis of Tennenbaum's theorem in constructive type theory

Cites Work

• On constructive functions
• Algorithmic operators in constructive metric spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Church's thesis without tears