startsWithZ
is Uncomputable
Gregory M. Kapfhammer
September 15, 2025
Theory of computation
What is theory of computation?
Understanding what can be computed
Analyzing computational complexity
Proving limits of computation
“Proofgrammers” combine
proofs
and
programming