Johan G. F. Belinfante

Learn 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