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:32PM (#30949315)
...are you?
[ Parent | on HN ]
Re:The physicalization of metamathematics and the implicatio... by VirusNewbie on Thursday April 07, 2022 @03:41PM (#30949442)
Very much so.
[ Parent | on HN ]
Re:The physicalization of metamathematics and the implicatio... by uoaei on Thursday April 07, 2022 @03:43PM (#30949468)
So lording esoteric knowledge over the anonymous rabble is more productive than just explaining what is the issue?
[ Parent | on HN ]
Re:The physicalization of metamathematics and the implicatio... by VirusNewbie on Thursday April 07, 2022 @04:44PM (#30950110)
ok fair enough. There is no issue with proving arithmetic consistency on a finite number of symbols. Incompleteness entirely relies on the unbounded induction step.
[ Parent | on HN ]