Skip to main content
1 of 1
Post Made Community Wiki
Rune
  • 2.4k
  • 3
  • 23
  • 31

Theory of Computation: The halting problem

Set Theory: Cardinality of a set is strictly less than its powerset

Not sure which field (one might learn it in an intro real analysis course): Reals are uncountable

Complexity theory: The Time and Space Hierarchy theorems

One might learn these results in different courses, but they're all the same beautiful idea: Cantor's diagonalization.

Rune
  • 2.4k
  • 3
  • 23
  • 31