[FOM] retaining "certainty"

Martin Davis martin at eipye.com
Sat Jun 21 17:15:42 EDT 2003


The paper:

M.D. Davis & J.T. Schwartz "Metamathematical Extensibility for Theorem
Verifiers and Proof-Checkers,'' Computers and Mathematics with
Applications, vol.5(1979), pp. 217-230

addresses the problem of retaining certainty when adjoining more powerful 
proof methods to an existing proof checker.

Martin




More information about the FOM mailing list