Gamma I
Download Gamma I PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Gamma I book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
GAMMA I
Author: Argonne National Laboratory. Division of Applied Mathematics
language: en
Publisher:
Release Date: 1961
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.