Church's thesis and the ideal of informal rigour
From MaRDI portal
Publication:1103597
DOI10.1305/ndjfl/1093637646zbMath0646.03001OpenAlexW2009787738MaRDI QIDQ1103597
Publication date: 1987
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093637646
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Computability and recursion theory (03D99)
Related Items (8)
A foundational approach to generalising the maximum entropy inference process to the multi-agent context ⋮ Squeezing Feasibility ⋮ ET and an infinitary Church's thesis ⋮ Provability in principle and controversial constructivistic principles ⋮ Informal and absolute proofs: some remarks from a Gödelian perspective ⋮ Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Gödel and Intuitionism
This page was built for publication: Church's thesis and the ideal of informal rigour
