I really want to read an essay on this topic by someone I'm more confident actually understands what math is. Or truth, for that matter. The author smears the boundary between what people believe and what is logically entailed, and between mathematical techniques and the way they are applied in modelling the real world. They persist in phrasing their statements about how people conceptualize math in terms of "is" and "are", which I tend to assume is a stylistic choice to speak in the perspective of their subjects, but they're so sloppy about perception and truth and "reason" in the rest of the piece that I can't be sure.
> The author smears the boundary between what people believe and what is logically entailed, and between mathematical techniques and the way they are applied in modelling the real world.<p>I think the clue here is the section mentioning Cauchy and rigor.<p>Without a certain flavor of rigor, "proofs" given by people, _especially in analysis_, can feel unsatisfying and can outright be incorrect, even if the thing they are trying to prove is true!<p>Imagine a proof of the intermediate value theorem like: well if you try to go from point A to point B you _have_ to pass through C in between eventually or else you'll never get to B.<p>This might be a sketch of a proof, vaguely. And it's not like the IVT is _wrong_, right? But a non-rigorous proof is not convincing. A non-rigorous proof might leave out details that would otherwise guarantee that a proof isn't left up to interpretation.<p>If your proof hand waves away some cases that feel trivial to you, to others that might look like a hole in your proof! Or you might think it's trivial, and actually it's not trivial.. but you haven't done it.<p>Anyways this is, I think, the core here. A new style of mathematics with new foundations... that haven't quite been smoothed out yet. The conclusions being reached are all kinda mostly right, but the reasons the conclusions are correct have not been actually properly set up. So skeptics can drive a truck through that contradiction.<p>Knowledge is about knowing the right thing for the right reasons... and in its infancy I could see a universe where a lot of mathematicians are running around using its tooling without having the right foundations for it.<p>We are lucky to live downstream of all this hard work. In the moment things were messier (see also calculus' initial growing pains)
Oh! I really liked the essay - the idea that French 'analysis' was seen as a dangerous modern invention and contrasted with 'synthetic' geometric understanding of the world had political implications is fascinating. There could be parallels with the present day use of computer modelling (and now AI) being seen as a risky way to organise and run societies.<p>I agree that there is a lot of vague language around the practice of mathematics as a social and philosophical construct ('analysts' vs 'synthetics') but I'm not sure how that indicates the author does not understand what truth is. My understanding of the history of mathematics and science is that these areas of knowledge were much more intertwined with philosophy and religion than they are considered to be today.<p>So Newton saw no issue with working on the calculus at the same time as being an alchemist and a non-trinitarian. Understanding the world was often a religious activity - by understanding Nature, you understood God's creation - and in Naples it seems that understanding analysis was tied to certain political and nationalist ideas.
> statements about how people conceptualize math in terms of "is" and "are"<p>What do you mean? I searched the page for "are", it doesn't appear much at all, I'm ruling that one out. So do you mean for instance this statement - ?<p><pre><code> "This zealous quest for universal problem-solving algorithms is precisely what made the synthetics uneasy."
</code></pre>
What's wrong with that?
"What's wrong with that?"<p>Political context. Rationalism was associated with atheism, which, for the first time in European history, started making visible inroads into the intellectual class. If you can solve all your problems using your reason, do you really need a God? And plenty of French philosophers hinted that the answer could be "no".<p>It wasn't just a religious question. Atheism or suspicion of thereof was seen as politically subversive, in the age when most ruling feudal dynasties still relied on God's grace as the ultimate fount of their power - at least in their eyes of the subjects. (But it wasn't always that cynical, plenty of the rulers themselves were quite pious.)
I studied math (Algebra and Number Theory) and I am also quite interested in history, and while I cannot write you a whole essay, this is what I would like to react to:<p>"The author smears the boundary between what people believe and what is logically entailed"<p>This is not the fault of the author. This is a fairly accurate description of the societal situation back then, and the article is more about societal impacts of math than math itself. Revolutionary, and later Napoleonic France had very high regard for science, to the degree that Napoleon took a sizeable contingent of scientists (including then-top mathematicians like Gaspard Monge) with him to Egypt in 1799. The same France also conquered half of the continent and upended traditional relations everywhere.<p>This caused some political reaction in the, well, more reactionary parts of the world, especially given that the foundations of modern mathematics were yet incomplete. Many important algebraic and analytic theorems were only discovered/proven in the 19th century proper. Therefore, there was a certain tendency to RETVRN to the golden age of geometry, which also for historical reasons didn't involve any French people (and that was politically expedient).<p>If I had to compare this situation to whatever is happening now, it would be politicization of biology/medicine after Covid. Another similarity is that many scientists were completely existentially dependent on their kings, which didn't give them a lot of independence, especially in bigger countries, where you could not simply move to a competing jurisdiction 20 miles away.<p>If your sovereign is somewhat educated (which, at that time, was already quite normal; these aren't illiterate chieftains of the Carolingian era) and hates subversive French (mathematical or otherwise) innovations with passion, you won't be dabbling with them openly.