A milestone reached and a secret revealed.
In this special issue of the Journal of Automated Reasoning, this article sets the stage for the succeeding articles, all of which focus on finding proofs of theorems of formal logic and on the various methodologies that were employed. The proofs that are offered mark an important milestone for automated reasoning and for logic, for each of them is indeed new. One key question this article answers is why an automated reasoning program was able to find proofs that had eluded some of the finest mathematicians and logicians for many, many decades.
- Research Organization:
- Argonne National Lab. (ANL), Argonne, IL (United States)
- Sponsoring Organization:
- USDOE Office of Science (SC)
- DOE Contract Number:
- DE-AC02-06CH11357
- OSTI ID:
- 942932
- Report Number(s):
- ANL/MCS/JA-36052; JAREEW; TRN: US200923%%702
- Journal Information:
- J. Automat. Reason., Vol. 27, Issue 2001; ISSN 0168-7433
- Country of Publication:
- United States
- Language:
- ENGLISH
Similar Records
Hilbert's twenty-fourth problem.
Finding missing proofs with automated reasoning.
Missing proofs found.
Journal Article
·
Tue Jan 01 00:00:00 EST 2002
· J. Automat. Reason.
·
OSTI ID:942932
Finding missing proofs with automated reasoning.
Journal Article
·
Wed Aug 01 00:00:00 EDT 2001
· Stud. Logica
·
OSTI ID:942932
Missing proofs found.
Journal Article
·
Mon Jan 01 00:00:00 EST 2001
· J. Automat. Reason.
·
OSTI ID:942932