“Diagonalization seems to show that there is an inexhaustibility phenomenon for definability similar to that for provability” — Franzén (2004)
![](https://substackcdn.com/image/fetch/w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fbucketeer-e05bbc84-baa3-437e-9518-adb32be77984.s3.amazonaws.com%2Fpublic%2Fimages%2F568a30b0-34b6-44aa-a100-05921688e9b7_2492x1808.png)
Georg Cantor (1845-1918)’s correspondence with mathematician Richard Dedekind (1831-1916) in the years 18…
Keep reading with a 7-day free trial
Subscribe to Privatdozent to keep reading this post and get 7 days of free access to the full post archives.