Content deleted Content added
→The development of Cantor's ideas: improve math typography |
|||
Line 418:
[[Akihiro Kanamori]], who specializes in set theory, stated that "Accounts of Cantor's work have mostly reversed the order for deducing the existence of transcendental numbers, establishing first the uncountability of the reals and only then drawing the existence conclusion from the countability of the algebraic numbers. In textbooks the inversion may be inevitable, but this has promoted the misconception that Cantor's arguments are non-constructive."<ref name=Kanamori4>{{harvnb|Kanamori|2012|p=4}}.</ref>
Cantor's published proof and the reverse-order proof both use the theorem: Given a sequence of reals, a real can be found that is not in the sequence. By applying this theorem to the sequence of real algebraic numbers, Cantor produced a transcendental number. He then proved that the reals are uncountable: Assume that there is a sequence containing all the reals. Applying the theorem to this sequence produces a real not in the sequence, contradicting the assumption that the sequence contains all the reals. Hence, the reals are uncountable.<ref name=Ewald840_841/> The reverse-order proof starts by first proving the reals are uncountable. It then proves that transcendental numbers exist: If there were no transcendental numbers, all the reals would be algebraic and hence countable, which contradicts what was just proved. This contradiction proves that transcendental numbers exist without constructing any.<ref name=Kanamori4/>
[[File:Oskar Perron.jpg|thumb|upright=0.93|alt=Oskar Perron reading a book while standing in front of a blackboard containing equations|Oskar Perron, {{spaces|4|hair}}c. 1948]]
| |||