A statement developed by this mathematician was shown to be neither provable nor disprovable within ZFC by Paul Cohen's method of "forcing.
A statement developed by this mathematician was shown to be neither provable nor disprovable within ZFC by Paul Cohen's method of "forcing." Hilbert's first problem concerns the provability of a problem posed by this mathematician, whose "Crelle" paper proposed the concept of bijective functions. The idea that no set has a cardinality between aleph zero and aleph one was proposed by this mathematician. One of this man's results relied on the idea of constructing a list of (*) infinite binary sequences, and then altering the nth bit of every nth entry to create a number not in the list. For 10 points, name this mathematician who proved that the reals are "more numerous" than the natural numbers with his diagonalization argument.
A statement developed by this mathematician was shown to be neither provable nor disprovable within ZFC by Paul Cohen's method of "forcing.
Georg Cantor