Gödel's functional interpretation and the concept of learning

DOI10.1145/2933575.2933605MaRDI QIDQ4635869zbMATH OpenOpenAlexFDO

Authors

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2933575.2933605

zbMATH Keywords

learningprogram extractionbar recursionfunctional interpretation

Mathematics Subject Classification ID

Computational learning theory (68Q32) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functionals in proof theory (03F10)

Recommendations

• Functional interpretation and inductive definitions
• A constructive analysis of learning in Peano arithmetic
• Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory
• A complexity analysis of functional interpretations
• scientific article; zbMATH DE number 1215497

Cited in

(7)

• A constructive analysis of learning in Peano arithmetic
• Computational interpretations of classical reasoning: from the epsilon calculus to stateful programs
• Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
• A universal algorithm for Krull's theorem
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• A direct computational interpretation of second-order arithmetic via update recursion
• Well quasi-orders and the functional interpretation

This page was built for publication: Gödel's functional interpretation and the concept of learning

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