Copyright ©1998-2010 Glenn Fleishman. Send in your comments. Bibliographic information on isbn.nu licensed from Baker & Taylor. Contact them for corrections and licensing, or read more about our data.
Tables of Contents for The Unknowable
Chapter/Section Title
Page #
Page Count
Preface
v
A Hundred Years of Controversy Regarding the Foundations of Mathematics
1
28
LISP: A Formalism for Expressing Mathematical Algorithms
29
22
Godel's Proof of his Incompleteness Theorem
51
8
Turing's Proof of the Unsolvability of the Halting Problem
59
8
My Proof that You Can't Show that a LISP Expression is Elegant
67
16
Information & Randomness: A Survey of Algorithmic Information Theory
83
18
Mathematics in the Third Millennium?
101
10
Bibliography
111