Toward Mechanical Mathematics: from Tarski to Wang Hao

Ferhat Erata,Moharram Challenger,Bedir Teki̇nerdoğan,Anne Monceaux,Eray Tüzün,Geylani Kardaş
DOI: https://doi.org/10.3969/j.issn.1673-8462.2005.04.009
2005-01-01
Abstract:This article explains the reasons why G del's theorem of incompleteness made the research of theorem proving in difficult position and gives some comments on Tarski's theoretical method for theorem proving.The author points out that Wang Hao proposed toward mechanical mathematics firstly and practiced an efficient way in theorem proving on computer.
What problem does this paper attempt to address?