122.273
urejanj
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 [[
[[Kategorija:Teorija množic]]
|