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