Human-Effective Computability†

DOI10.1093/PHILMAT/NKY011zbMath1423.03020OpenAlexW2777917515MaRDI QIDQ4626061

Leon Horsten, Marianna Antonutti Marfori

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)

Related Items (1)

Proving Church's Thesis

This page was built for publication: Human-Effective Computability†