American
mathematician, noted for showing that the negation of the
continuum hypothesis was consistent with the standard axioms of
set theory. In conjunction with the earlier work of
Gödel, 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.