Concepts3
📚TheoryIntermediate
Computability Theory
Computability theory studies the boundary between what can and cannot be computed by any algorithm.
#computability theory#turing machine#church-turing thesis+12
📚TheoryIntermediate
Halting Problem
The Halting Problem asks whether a given program P will eventually stop when run on input x; there is no algorithm that correctly answers this for all P and x.
#halting problem#undecidable#diagonalization+12
📚TheoryIntermediate
Eigenvalue Decomposition
Eigenvalue decomposition rewrites a square matrix as a change of basis that reveals how it stretches and rotates space.
#eigenvalue decomposition#spectral theorem#power iteration+12