The physicalization of metamathematics and the implications for its foundations

Re:The physicalization of metamathematics and the implicatio... by housecarpenter on Thursday April 07, 2022 @01:13PM (#30947456)

Any species could prove the same theorems given the same axioms, but (besides the fact that they might not choose the same axioms) I'm not sure if they would prove the same subset of theorems that we have proven/will prove. Perhaps they'd have different ideas about what is interesting.

[ Parent | on HN ]

Re:The physicalization of metamathematics and the implicatio... by whatshisface on Thursday April 07, 2022 @01:21PM (#30947568)

Human mathematicians are already fanning out into other systems of deduction (constructive mathematics being a great example), and given enough time the mathematicians of each galaxy will eventually discover the other galaxy's mathematics, even if it perhaps happens in a different order.

[ Parent | on HN ]

Re:The physicalization of metamathematics and the implicatio... by ganzuul on Thursday April 07, 2022 @01:45PM (#30947903)

Surely intergalactic mathematicians already know that the only time is now? =)

> As Prigogine explains, determinism is fundamentally a denial of the arrow of time. With no arrow of time, there is no longer a privileged moment known as the "present," which follows a determined "past" and precedes an undetermined "future." All of time is simply given, with the future as determined or as undetermined as the past. With irreversibility, the arrow of time is reintroduced to physics.

[ Parent | on HN ]