Cantori diagonaaltõestus: erinevus redaktsioonide vahel
Eemaldatud sisu Lisatud sisu
P robot Adding: es:Diagonalización de Cantor |
PResümee puudub |
||
1. rida:
'''Cantori diagonaaltõestus''' on [[Georg Cantor]]ilt pärinev tõestus, et [[reaalarv]]ude hulk ei ole [[loenduv hulk|loenduv]].
See ei olnud Cantori esimene tõestus, et reaalarvude hulk on loenduv. Tema [[Cantori esimene mitteloenduvuse tõestus|algne tõestus]] ei kasutanud [[kümnendmurd]]e ega üldse ühtegi [[arvusüsteem]]
Hiljem on selle tõestuse eeskujul konstrueeritud palju teisi tõestusi. Neid nimetatakse [[diagonaaltõestus]]teks.
|