An informal talk on some of the unknowable results of logic, computers and set theory. A brief tour of Gödel's incompleteness theorems, Turing's halting problem, Cohen's independence results and much more. All from the perspective of number theory.
Noson S. Yanofsky