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
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.