You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Jean-Baptiste Vienney (Mar 24 2023 at 16:47):There is a new journal about philosophy of mathematics: Annals of Mathematics and Philosophy. So I want to advertise it in case you're interested by the subject and if you didn't notice. The first issue is available in open access here: Volume 1, number 1, 2023. Every single paper looks passionating, I think I'm going to read all of them! For example, three of them are titled "What makes mathematicians believe unproved mathematical statements?" by Timothy Gowers, a paper "Ways of thinking in mathematics" (Javier de Lorenzo), "What is axiomatics?" (Paolo Cantù). There is an interview of Penrose also and the other ones are attracting to me too.
Eran Meir (Apr 02 2023 at 22:51):I read “Mathematics and Cognition” (Manin) and “Towards Mathematical Criticism” (Zalamea), both of which I enjoyed.
Zalamea references de Lorenzo as a pioneer of mathematical criticism. It also got me to double down on reading Lautman, who is another critical pioneer mentioned in the paper.