Classical and intuitionistic mathematical languages shape our understanding of time in physics — mentioned by xelxebar

Mon, 13 Apr 2020 03:08:11 GMT

Here's what looks like the original paper; it's a mere 3 pages long: https://arxiv.org/abs/2002.01653 It's a lot of prose with hand-wavy analogies. My takeaway is that the author seems to have become enamored with intuitionistic logic but seems to lack much concrete experience working with it. For anyone intrigued by constructive mathematics, there's a nice talk and paper by Andrej Bauer (nice coincidence) called "Five Stages of Accepting Constructive Mathematics." It's a nice mix of prose and rigor of varying levels: http://math.andrej.com/2016/10/10/five-stages-of-accepting-c... The…

Paper and discussion history. A mention is not an endorsement.

Classical and intuitionistic mathematical languages shape our understanding of time in physics · HackerPapers discussions

Classical and intuitionistic mathematical languages shape our understanding of time in physics — mentioned by xelxebar