登入選單
返回Google圖書搜尋
其他書名
A General Theorem-proving Program for the IBM 704
出版Argonne National Laboratory, 1961
URLhttp://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.