New comment by ged_throw_382 in "The fall of the theorem economy"

ged_throw_382 — Thu, 02 Jul 2026 19:23:17 +0000

That sounds a bit like the Gödelian argument against mechanism: reality (or even math) may contain systems that require stepping outside the current framework to formalize. A machine that can only work with current frameworks would be blind to these, except insofar that it can stumble across them by brute force.

Hacker News: ged_throw_382

New comment by ged_throw_382 in "The fall of the theorem economy"