Can proofs be animated by games?

MaRDI QIDQ3593497zbMATH OpenFDO

Authors Susumu Hayashi

Publication date 20 July 2007

Mathematics Subject Classification ID

Computational learning theory (68Q32) Applications of game theory (91A80) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Recommendations

• Typed Lambda Calculi and Applications
• Towards the animation of proofs -- testing proofs by examples
• Some remarks on relations between proofs and games
• Towards a dialogic interpretation of dynamic proofs
• scientific article; zbMATH DE number 2086734

Cited in

(6)

• Typed Lambda Calculi and Applications
• A New Translation for Semi-classical Theories — Backtracking without CPS
• Erratum to: ``Between proof and truth
• Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1
• Games with 1-backtracking
• Positive Arithmetic Without Exchange Is a Subclassical Logic

This page was built for publication: Can proofs be animated by games?

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