Does anyone know, or knows about a paper, that aproaches the current relationship between Kant and mathematics? In the Critique of pure reason, Kant states that math is a science, which means that a simple formula such as 7+5=12 is not an analitical judgement (7+5 doesn't contain 12 in itself), but a synthetic one (so the formula 7+5=12 is in fact saying something and it isn't a mere tautology), and he arguments this by saying that our sensibility is structured in such a way that our intuituions of time and space can give us the grounds to build arithmetic and geometry without the need of any particular data given by our senses. my question is: is math still considered a sort of knowledge which consists of synthetic judgments a priori?
Thank you.
Mónica R.

