A proof that the set of encodings of Turning machines that accept all strings is not Turing-recognizable.
-
-
It From Bit - A Brief Exploration Of Some Ideas and Results From The Theory of Computation
A presentation I gave to a group of physics graduate students, as an introduction to some ideas and results in theoretical computer science.