6.7.18 Further reading on proof checking

Prev Up Next Page 104 of 800 Search internet

For further reading on proof checking, see the section on proof checking and read the check and Peano pages. The check and Peano pages are the ultimate sources of information since they implement the proof checker and Peano arithmetic, respectively. The check page provides information about the proof checker in general, and the Peano page gives a quite elaborate example of how to express a theory.

Prev Up Next Page 104 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05