Cantorjev diagonalni dokaz: razlika med redakcijama

m
m+/dp/+ktgr
m (m/dp/pnp)
m (m+/dp/+ktgr)
'''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.
[[Kategorija:Teorija množic]]
[[Kategorija:Dokazi]]
[[Kategorija:1877 v znanosti]]