A Commonplace Book

Home | Authors Index | Word Index | Random Quote | Advanced Search | About...

Here is your random quote:

In any sufficiently powerful logical system statements can be formulated which can neither be proved nor disproved within the system, unless possibly the system itself is inconsistent.
Godel's Theorem as stated by Alan Turing.


439 (1914)

If you can see this sentence, you do not have style sheets enabled in your browser. See more information on style sheets.