A proof that the set of encodings of Turning machines that accept all strings is not Turingrecognizable.


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.