Theory of Computation
https://uvatoc.github.io/week9
18.6: Computability in Theory and Practice
- An Erudite Debate on Computability
- The difference between asking if something can be "computed" and if a function is "computable"
- What we actually proved in proving ACCEPTS is uncomputable
- Previewing other uncomputable functions
David Evans and Nathan Brunelle
University of Virginia
