Contact Us

The History of Artificial Intelligence

Checking proofs in the metamathematics of first order logic.

purl.stanford.edu/dd609fp0649
Title:
Checking proofs in the metamathematics of first order logic.
Author:
Aiello, Mario and Weyhrauch, Richard W.
Author (no Collectors):
Aiello, Mario and Weyhrauch, Richard W.
Description:
This is a report on some of the first experiments of any size carried out using the new first order proof checker FOL. We present two different first order axiomatizations of the metamathematics of the logic which FOL itself checks and show several proofs using each one. The difference between the axiomatizations is that one defines the metamathematics in a many sorted logic, the other does not.
Topic:
Computer science
Subject:
Stanford University. Computer Science Department
Language:
English
Physical Description:
1 text file
Publication Info:
cau and Stanford (Calif.)
Date:
August 01, 1974
Place created:
Stanford (Calif.)
Imprint:
Stanford (Calif.), August 1, 1974
Genre:
technical reports
Identifier:
CS-TR-1974-467
Repository:
Stanford University. Libraries. Department of Special Collections and University Archives
Collection:
Stanford University, Department of Computer Science, Technical Reports and Stanford Artificial Intelligence Laboratory records, 1963-2009
Manuscript number:
3840/2