Advertise here with Carbon Ads

This site is made possible by member support. ❤️

Big thanks to Arcustech for hosting the site and offering amazing tech support.

When you buy through links on kottke.org, I may earn an affiliate commission. Thanks for supporting the site!

kottke.org. home of fine hypertext products since 1998.

🍔  💀  📸  😭  🕳️  🤠  🎬  🥔

Basic rules of arithmetic may be broken

And not just broken but unrepairable without the addition of uncertainty. Gödel’s incompleteness theorems aren’t even the half of it.

With Friedman’s work, it seems Gödel’s delayed triumph has arrived: the final proof that if there is a universal grammar of numbers in which all facets of their behaviour can be expressed, it lies beyond our ken.

But don’t worry…”the most severe implications are philosophical”. Phew?