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: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 ]