Automated Search for Gödel’s Proofs

DOI10.1007/978-88-470-0784-0_7zbMath1191.03010OpenAlexW2104359558MaRDI QIDQ3654817

Wilfried Sieg, Clinton Field

Publication date: 11 January 2010

Published in: Deduction, Computation, Experiment (Search for Journal in Brave)

Full work available at URL: https://figshare.com/articles/journal_contribution/Automated_Search_for_G_del_s_Proofs/6490964

zbMATH Keywords

heuristicsnatural deductionGödel's incompleteness theoremsstrategiesproof search procedureproof-planning framework

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version

This page was built for publication: Automated Search for Gödel’s Proofs