News for hackers. Stuff that matters.
Re:Foundational Anxieties, Modern Mathematics, and the Polit... by zozbot234 on Friday June 16, 2023 @04:29AM (#36353283)
> Mathematics (more specifically, meta mathematics) has the ability to talk about these issues.

Yup. See e.g. https://en.wikipedia.org/wiki/Synthetic_differential_geometr... for another way in which the opposition between "analytic" and "synthetic" methods OP mentions can play out.

There are no comments on this comment yet.