Důkaz diagonalizací
Důkaz diagonalizací je v matematice technika používaná pro důkaz různých vět:
- Cantorův důkaz nespočetnosti množiny reálných čísel (nejstarší)
- Cantorova věta
- Russellův paradox
- Diagonální lemma
- Problém zastavení
- Kleeneho věta o rekurzi
Odkazy[editovat | editovat zdroj]
Reference[editovat | editovat zdroj]
V tomto článku byl použit překlad textu z článku Diagonal argument na anglické Wikipedii.