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

DOI10.1145/2933575.2933605zbMath1401.68049OpenAlexW2530178066MaRDI QIDQ4635869

No author found.

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)

Related Items (4)

A universal algorithm for Krull's theorem ⋮ Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language ⋮ Well Quasi-orders and the Functional Interpretation ⋮ Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs

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