I'm reading Kant's Critique of Pure Reason and I understand that he thought that "Mathematical Judgements are all synthetic". I would like to know where does this debate lies or if it is of interest nowadays.
In this 2002 article, I defended Kant, and argued that arithmetic and geometry are synthetic. In my view, the best arguments for this conclusion come from post-Kantian logic and mathematics. https://dash.harvard.edu/bitstream/handle/1/4725028/suber_synth.htm