Theory of Computationuvatoc.github.io/week918.5: ACCEPTS is Uncomputable (Part 2)- Proof-by-Contradiction that ACCEPTS is uncomputableDavid Evans and Nathan BrunelleUniversity of Virginia
Наука
17 окт 2020