Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem

MaRDI QIDQ2845892zbMATH OpenFDO

Authors Martin Davis

Publication date 3 September 2013

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1975397
• On the mechanization of the proof of Hessenberg's theorem in coherent logic
• Some applications of Gentzen's proof theory in automated deduction
• From Schütte’s Formal Systems to Modern Automated Deduction
• Automated deduction in von Neumann-Bernays-Gödel set theory
• scientific article; zbMATH DE number 1341475
• On a connection between the word problem and decidability of the equational theory
• scientific article; zbMATH DE number 549074
• Hilbert programme and applied proof theory

This page was built for publication: Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem

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