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
- Gödelova první věta o neúplnosti
- Tarského věta o nedefinovatelnosti
- Problém zastavení
- Kleeneho věta o rekurzi
Odkazy
Reference
V tomto článku byl použit překlad textu z článku Diagonal argument na anglické Wikipedii.
