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)

• Gödel and Intuitionism
• Title not available (Why is that?)
• 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
• Carnap, Formalism, and Informal Rigour
• A foundational approach to generalising the maximum entropy inference process to the multi-agent context
• ET and an infinitary Church's thesis
• Informal and absolute proofs: some remarks from a Gödelian perspective
• Squeezing Feasibility
• Provability in principle and controversial constructivistic principles

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)