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

DOI10.1145/2933575.2933605zbMATH Open1401.68049OpenAlexW2530178066MaRDI QIDQ4635869FDOQ4635869

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

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

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)

Cited In (7)

• Computational interpretations of classical reasoning: from the epsilon calculus to stateful programs
• A constructive analysis of learning in Peano arithmetic
• 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
• Title not available (Why is that?)
• 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)