News for hackers. Stuff that matters.

A comment on The physicalization of metamathematics and the implications for its foundations. Parent comment

Re:The physicalization of metamathematics and the implicatio... by uoaei on Thursday April 07, 2022 @03:36PM (#30949373)
> I can imagine a universe where what is computable inside the universe is not sufficient to describe the universe.

I can too. It's called "any mathematical system, period". Goedel showed as much.

[ Parent | on HN ]

There are no comments on this comment yet.