The GOEDEL Program

Authors:
Johan G. Belinfante
Affiliations:
School of Mathematics, Georgia Institute of Technology, Atlanta, USA 30332-0160
Venue:
Journal of Automated Reasoning
Year:
2013

Citing 3
Cited 0

Computer Proofs in Gödel’s Class Theory with Equational Definitions for Composite and Cross

Journal of Automated Reasoning
On Computer-Assisted Proofs in Ordinal Number Theory

Journal of Automated Reasoning
Automated development of fundamental mathematical theories

Automated development of fundamental mathematical theories

Quantified Score

Hi-index	0.00

Visualization

Abstract

The GOEDEL program is an ever-growing collection of currently more than thirty thousand rewrite rules for transforming expressions in Gödel's class theory in the hope of thereby simplifying them. A brief survey of the program and its use is presented. A few striking results obtained recently using the program are featured to provide some of the flavor of the author's on-going research over the past fifteen years.