Read news on topological proof with our app.
Read more in the app
Turing's topological proof that every written alphabet is finite (2010)