#### Filter Results:

#### Publication Year

1999

2012

#### Key Phrase

#### Publication Venue

Learn More

A computer implementation of Gödel's algorithm for class formation in Mathematica TM was used to formulate definitions and theorems about iteration in Gödel's class theory. The intent is to use this approach for automated reasoning about a variety of applications of iteration using Mc-Cune's automated reasoning program Otter. The applications include the… (More)

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… (More)

- ‹
- 1
- ›