A constructive analysis of learning in Peano arithmetic

DOI10.1016/j.apal.2011.12.004zbMath1257.03083OpenAlexW2016104854MaRDI QIDQ450942

Federico Aschieri

Publication date: 26 September 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.004

zbMATH Keywords

halting problemoracleprimitive recursive functionalsclassical arithmeticconstructive termination proofepsilon substitution methodlearning-based realizabilityupdate procedures

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)

Related Items (3)

Fluctuations, effective learnability and metastability in analysis ⋮ Constructive forcing, CPS translations and witness extraction in Interactive realizability ⋮ Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lectures on the Curry-Howard isomorphism
• Epsilon substitution method for elementary analysis
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
• On bar recursion of types 0 and 1
• Classical logic as limit completion
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• New Computational Paradigms

This page was built for publication: A constructive analysis of learning in Peano arithmetic