Church's thesis and the ideal of informal rigour

DOI10.1305/NDJFL/1093637646zbMATH Open0646.03001OpenAlexW2009787738MaRDI QIDQ1103597FDOQ1103597

Authors Georg Kreisel

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

zbMATH Keywords

recursion theoryphilosophy of mathematicsmethodological questions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Computability and recursion theory (03D99)

Cited in

(10)

• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
• Provability in principle and controversial constructivistic principles
• ET and an infinitary Church's thesis
• 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
• Carnap, Formalism, and Informal Rigour
• A foundational approach to generalising the maximum entropy inference process to the multi-agent context
• Gödel and intuitionism
• scientific article; zbMATH DE number 49563 (Why is no real title available?)
• Squeezing Feasibility

This page was built for publication: Church's thesis and the ideal of informal rigour

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103597)