Cantor's diagonalization argument

Concept

proof technique in set theory

Mentioned in 1 video

Videos Mentioning Cantor's diagonalization argument

Cal Newport: Deep Work, Focus, Productivity, Email, and Social Media | Lex Fridman Podcast #166

Cal Newport: Deep Work, Focus, Productivity, Email, and Social Media | Lex Fridman Podcast #166

Lex Fridman

A mathematical proof technique used by Alan Turing to demonstrate that there are more problems than algorithms, proving uncomputability.