Home Page for Johan G. F. Belinfante
Prof. Belinfante's Office Hours
I am now retired, effective 2008 September 1, and have no regularly scheduled office hours.
Please send me e-mail if you wish to schedule an appointment to see me. The office that
I am currently using is Skiles, Room 101, shared with Professors Richard Duke and William Green.
- Guide to the over 900 Mathematica notebooks
illustrating how to use the GOEDEL program. All these notebooks are available in both *.pdf and *.nb formats.
- Current research:
automated reasoning in set theory, including proof summaries for thousands of
theorems proved using McCune's program Otter and the latest version of my GOEDEL program.
- Brief vita,
including PDF files of papers and talks.
- Special Session on Automated
Reasoning in Mathematics and Logic held on March 8-10, 2002.
- Argonne Workshop AWARD-2002
- Argonne Workshop AWARD-2003
- Argonne Workshop AWARD-2005
- Special Sessions on
Computer Proofs in Set Theory and Logic held on October 18-19, 1997.
- Other research interests.
- List of recent undergraduate and graduate students who
have collaborated on research projects.
Links to Other Sites
Required DisclaimerAny opinions expressed in these web pages are my
own, and have not been reviewed nor approved by anyone else. In particular, they
are not to be construed as policies of the School of Mathematics nor of the
Georgia Institute of Technology.
Modified: 2010 October 8