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