登入
選單
返回
Google圖書搜尋
GAMMA I
Argonne National Laboratory. Division of Applied Mathematics
John Alan Robinson
其他書名
A General Theorem-proving Program for the IBM 704
出版
Argonne National Laboratory
, 1961
URL
http://books.google.com.hk/books?id=QZi1hdgVUkkC&hl=&source=gbs_api
註釋
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.