GAMMA I. A GENERAL THEOREM-PROVING PROGRAM FOR THE IBM 704
GAMMA I is a FORTRAN-compiled program for the IBM 704 Electronic Data- Processing Machine. It embodies a certain general, uniform procedure H of mathematical logic for seeking out a proof of any theorem within any mathematical theory which is given in formal axiomatic form. An extended discussion is provided of the underlying method and of the necessary background of mathematical logic. The program is described in detail. (M.C.G.)
- Research Organization:
- Argonne National Lab., Ill.
- DOE Contract Number:
- W-31109-ENG-38
- NSA Number:
- NSA-16-009127
- OSTI ID:
- 4808243
- Report Number(s):
- ANL-6447
- Country of Publication:
- United States
- Language:
- English
Similar Records
IBM 704 PROGRAMS FOR UNFOLDING COMPLEX GAMMA-RAY SPECTRA
FORTRAN PROGRAMMING TECHNIQUES FOR GRAPH PLOTTING ON THE IBM-704 COMPUTER
IBM 704 GAUSSIAN-INTEGRATION ROUTINES
Technical Report
·
Thu Sep 01 00:00:00 EDT 1960
·
OSTI ID:4056685
FORTRAN PROGRAMMING TECHNIQUES FOR GRAPH PLOTTING ON THE IBM-704 COMPUTER
Technical Report
·
Sun May 01 00:00:00 EDT 1960
·
OSTI ID:4147662
IBM 704 GAUSSIAN-INTEGRATION ROUTINES
Technical Report
·
Sun Mar 13 23:00:00 EST 1960
·
OSTI ID:4145042