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 thebooktocome on Thursday April 07, 2022 @12:28PM (#30946732)
> Whether or not humans ever mastered mathematics, what is and isn't mathematically true would not change. Humans can create notation and formalisms, but they do not invent the truths those mathematics represent.

We quite literally have no way of ever knowing this. This proposition and its negation are both beyond the scope of human knowledge.

[ Parent | on HN ]
Re:The physicalization of metamathematics and the implicatio... by whatshisface on Thursday April 07, 2022 @12:34PM (#30946806)
We do have a way of knowing this, it is as simple as saying that the finish line of a symbol game will stay the same given the initial symbols and the rules that can be used to move them around.
[ Parent | on HN ]
Re:The physicalization of metamathematics and the implicatio... by thebooktocome on Thursday April 07, 2022 @12:39PM (#30946901)
OP is explicitly not talking about something open to human interaction (“saying”, “symbols”, “moving (symbols) around” are all human operations).
[ Parent | on HN ]
Re:The physicalization of metamathematics and the implicatio... by whatshisface on Thursday April 07, 2022 @12:41PM (#30946933)
None of those are human-specific, machines and animals can do them. (Except saying, but I'm the one doing that verb, talking about moving symbols.)
[ Parent | on HN ]
Re:The physicalization of metamathematics and the implicatio... by ganzuul on Thursday April 07, 2022 @01:15PM (#30947485)
It's almost as if there is a phase diagram with impedance mismatches between systems of belief.
[ Parent | on HN ]