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 thwayunion on Thursday April 07, 2022 @12:53PM (#30947126)
Agreed. Similarly, just because I don't "get" church doesn't mean I can prove God doesn't exist. And it certainly doesn't mean I should stand in the way of others enjoying the experience of going to church regardless of their beliefs. It just means I don't "get" it.
[ Parent | on HN ]
Re:The physicalization of metamathematics and the implicatio... by whatshisface on Thursday April 07, 2022 @12:56PM (#30947173)
Religion is slightly different though, they claim actual direct truth (not mere truth of implication given certain assumptions) which makes their claims more interesting but prevents them from claiming automatic objective truth. The Formal Gospel would go, "If God so loved the world that he gave his only begotten son, ..." ;)
[ Parent | on HN ]
Re:The physicalization of metamathematics and the implicatio... by thwayunion on Thursday April 07, 2022 @01:02PM (#30947275)
That's why I used words like "spirituality" and "faith" instead of "religion" and "dogma".

I'm describing a shared social/psychological phenomenon, not a shared epistemological status.

Read my posts less as works of the philosophy of mathematics and more as anthropological musings.

[ Parent | on HN ]