Human-effective computability

DOI10.1093/PHILMAT/NKY011MaRDI QIDQ4626061zbMATH OpenOpenAlexFDO

Authors Marianna Antonutti Marfori, Leon Horsten

Publication date 26 February 2019

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://epub.ub.uni-muenchen.de/60466/1/Antonutti_Marfori_Human_Effective_Computability.pdf

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1169380
• Proving Church's thesis
• scientific article; zbMATH DE number 1869994
• Computability, proof, and open-texture
• Kreisel's Church

Cited in

(3)

• Proving Church's thesis
• Computability and human symbolic output
• Kreisel's Church

This page was built for publication: Human-effective computability

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