“Diagonalization seems to show that there is an inexhaustibility phenomenon for definability similar to that for provability” — Franzén (2004)
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.