Wikipedia 10K Redux by Reagle from Starling archive. Bugs abound!!!

<-- Previous | Newer --> | Current: 984170002 Gareth Owen at Fri, 09 Mar 2001 20:33:22 +0000.


American [[mathematics|mathematician]], noted for showing that the negation of the [[continuum hypothesis]] was consistent with the standard axioms of [[Set Theory|set theory]].  In conjunction with the earlier work of [[Kurt Goedel|Goedel]], this showed that the continuum hypothesis could be neither proved nor disproved from these axioms.

This result is possibly the most famous non-trivial example illustrating [[Goedels Incompleteness Theorem]].