@MartinEscardo @jeanas @tito Yes, I thought it was general knowledge too, so imagine my shock when it turned out I confused Kleene and Tarski in my notes, and the confusion started propagating around the internet.
=> More informations about this toot | View the thread | More toots from andrejbauer@mathstodon.xyz
=> View MartinEscardo@mathstodon.xyz profile | View jeanas@mathstodon.xyz profile | View tito@sciences.re profile
text/geminiThis content has been proxied by September (ba2dc).