Cecil Seigler Carpenter
There are 1 included publications by Cecil Seigler Carpenter :
|
| Theory of computation and computing machines |
1974 |
182 |
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... |