Cantorjev diagonalni dokaz: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m m/dp/pnp |
m m+/dp/+ktgr |
||
Vrstica 1:
'''Cantorjev diagonalni dokaz''' je [[matematični dokaz]], s katerim je [[Georg Ferdinand Cantor]] leta [[1877 v znanosti|1877]] pokazal, da [[realno število|realnih števil]] ni [[števna množica|števno neskončno]]. To pomeni, da je realnih števil več kot [[naravno število|naravnih]], čeprav sta obe množici [[neskončnost|neskončni]].
Čeprav je najbolj znan, to ni bil ''prvi'' Cantorjev dokaz o neštevnosti realnih števil. Njegov tri leta starejši [[Cantorjev prvi dokaz o neštevnosti|prvi dokaz]] ni omenjal desetiškega zapisa niti drugih [[številski sistem|številskih sistemov]]. Cantorjev diagonalni dokaz uporablja isti koncept kot [[Cantorjeva diagonalizacija|diagonalizacija]] s katero je dokazal, da je [[racionalno število|racionalnih]] in naravnih števil enako mnogo.
Vrstica 69:
[[Kategorija:Teorija množic]]
[[Kategorija:Dokazi]]
[[Kategorija:1877 v znanosti]]
| |||