@MISC{Chaitin94thelimits, author = {G. J. Chaitin}, title = {The Limits of Mathematics}, year = {1994} }
Years of Citing Articles
Bookmark
OpenURL
Abstract
This paper is reprinted in my book Information-Theoretic Incompleteness, World Scientific, 1992. As is shown in this course, the algorithms considered in the proofs of these two theorems are now easy to program and run, and by looking at the size in bits of these programs one can actually, for the first time, determine exact values for the constants c and c