Timeline for What is neutral constructive mathematics
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 21, 2021 at 11:05 | comment | added | Paul Taylor | @YemonChoi. Thanks for the applause, but I would like to stress that I mean active and not just passive professional respect. Being a good neighbour is not just about not having loud parties, but cooperation in solving problems. | |
Sep 20, 2021 at 21:54 | comment | added | Yemon Choi | Just wanted to applaud the paragraph "We as a community of mathematicians need to see each other as fellow professionals, as engineers, working on different parts of this huge machine. Maybe the latest improvement to fibre optics or the Linux kernel is not going to generate an immediate publication for you in number theory, theorem proving or climate modelling. But it's all part of the whole." | |
Sep 19, 2021 at 13:59 | history | answered | Paul Taylor | CC BY-SA 4.0 |