Cecil Seigler Carpenter

There are 1 included publications by Cecil Seigler Carpenter :

TitleDateViewsBrief Description
Theory of computation and computing machines 1974 146 At the turn of the century, David Hilbert, a famous mathematician and leader of the formalist school, was convinced of the existence of an algorithm for establishing the consistency or inconsistency of any mathematical system. Kurt Gödel [2] showed i...