Cantorjev diagonalni dokaz: razlika med redakcijama

m
dp
m (pp)
m (dp)
Analogije diagonalnega dokaza se uporabljajo v matematiki za dokaz obstoja ali neobstoja določenih objektov. Denimo, standardni dokaz nerešljivosti [[problem ustavitve|problema ustavitve]] je v bistvu diagonalni dokaz.
 
Diagonalni dokaz nam pokaže, da je množica realnih števil »večja« kot množica celih števil. Vprašamo se lahko, ali obstaja množica, katere [[kardinalnost]] je »vmes« med kardinalnostjo množice celih in kardinalnostjo množice realnih števil. To vprašanje nas privede do slavne [[hipotezadomneva kontinuuma|hipotezedomneve kontinuuma]]. Podobno nas vprašanje ali za neko množico ''s'' obstaja množica, katere kardinalnost je med močjo ''s'' in '''P'''(''s''), pripelje do [[posplošena hipotezadomneva kontinuuma|posplošene hipotezedomneve kontinuuma]].
 
[[Kategorija:Teorija množic]]