TopPodcast.com
Menu
  • Home
  • Top Charts
  • Top Networks
  • Top Apps
  • Top Independents
  • Top Podfluencers
  • Top Picks
    • Top Business Podcasts
    • Top True Crime Podcasts
    • Top Finance Podcasts
    • Top Comedy Podcasts
    • Top Music Podcasts
    • Top Womens Podcasts
    • Top Kids Podcasts
    • Top Sports Podcasts
    • Top News Podcasts
    • Top Tech Podcasts
    • Top Crypto Podcasts
    • Top Entrepreneurial Podcasts
    • Top Fantasy Sports Podcasts
    • Top Political Podcasts
    • Top Science Podcasts
    • Top Self Help Podcasts
    • Top Sports Betting Podcasts
    • Top Stocks Podcasts
  • Podcast News
  • About Us
  • Podcast Advertising
  • Contact
Not in our directory?
Add Show Here
Podcast Equipment
Center

toppodcastlogoOur TOPPODCAST Picks

  • Comedy
  • Crypto
  • Sports
  • News
  • Politics
  • True Crime
  • Business
  • Finance

Follow Us

toppodcastlogoStay Connected

    View Top 200 Chart
    Back to Rankings Page
    Mathematics

    Opinionated History of Mathematics

    History of mathematics research with iconoclastic madcap twists

    Advertise
    • Apple Podcasts
    • Google Play
    • Spotify

    Latest Episodes:
    Death of Archimedes Jul 15, 2025
    Show notes

    Archimedes’s emblematic death makes sense psychologically and embodies a rich historical picture in a single scene. Transcript Archimedes died mouthing back at an enemy soldier: “Don’t disturb my circles.” Or that’s how the story goes. Is this fact or fiction? We have third-hand accounts at best so there is plenty of room for doubt. But I’m putting my money on fact nonetheless. I think this standard story makes sense. I think it works psychologically with what little we know about Archimedes as a person, and I think it fits contextually with what we know about Archimedes’s era and circumstances. So let’s investigate this, and let’s use the death of Archimedes to reflect on these broader themes. Archimedes was killed when the Romans invaded his city, Syracuse. There is little doubt about that. The precise details are less clear. There are various versions of the story from several ancient authors. These passages are all conveniently collected at the Archimedes website by Chris Rorres, which I highly recommend. Let’s quote the standard version from Plutarch: “Archimedes was working out some problem by a diagram, and having fixed his mind and his eyes alike upon the subject of his speculation, he never noticed the incursion of the Romans, nor that the city was taken. In this transport of study and contemplation, a soldier, unexpectedly coming up to him, commanded him to follow him. Archimedes declined to do so before he had worked out his problem to a demonstration. The soldier, enraged, drew his sword and ran him through.” It is quite popular to cast doubt on the story of Archimedes’s death. One example is the recent biography “Archimedes: Fulcrum of Science” by Nicholas Nicastro (pages 43-44). This biography argues that the standard story “doesn’t pass the smell test” to use Nicastro’s words. Because “any properly self-interested soldier would know the reward for capturing Archimedes.” Indeed, Archimedes was famous and the Roman commander wanted him captured alive, it is said. So the idea that “the soldier recognizes Archimedes but simply liquidates a valuable prisoner – indeed one who amounted to a strategic asset for Rome – simply because he was lackadaisical in responding to orders doesn’t pass the smell test,” according to Nicastro’s biography. I’m not so sure about that. We know about police brutality. We know for example that George Floyd was killed by police while being apprehended, after being suspected of using a counterfeit twenty-dollar bill. And that was on an ordinary Monday in a peaceful, prosperous country. The soldier who killed Archimedes was not having a normal Monday dealing with petty delinquents. This soldier was in enemy territory in an active war zone. You would think that this soldier would have been on high alert against ambushes and sudden movements, quite rightly. And let’s consider what the soldier’s opinion of Archimedes would have been. Archimedes was well known and famously led the military engineering efforts that fended off the Romans for years. What would the soldier think of the figurehead of the enemy? Would he find that such a great geometer must be spared for the greater good? Or would he think that Archimedes was a terrorist responsible for the deaths of his friends? This soldier may very well have seen first hand the death and suffering inflicted by Archimedes’s famous warfare machines. Maybe for example a friend of his drowned when Archimedes sunk a Roman ship during one of the previous invasion attempts. Or maybe his brother had his legs crushed by one of Archimedes’s catapults, and returned home as a cripple, which made such an impression on the younger brother that an unstoppable hatred festered in him and he swore to dedicate his life to revenge against this evil Greek insurgent. Indeed, maybe on this very day, the day that he came to stand before Archimedes, this soldier has already had to watch helplessly as a close friend and brother in arms died a gruesome death. Such things can happen in war. So I don’t think we can say: the soldier wouldn’t have killed Archimedes because he had orders not to and, rationally speaking, it would have been in his best interest to obey. This soldier may very well have been under immense and acute psychological pressure and trauma at this moment, when he happened to come face to face with the very symbol of everything he had been taught to hate. That’s what I think about this so-called “smell test.” But that’s the soldier’s psychology. Now let’s consider it from Archimedes’s point of view. Would Archimedes be calm and collected and compliant when the soldier comes to arrest him? No, he would not. The invasion is even more traumatic for Archimedes. Archimedes was born in Syracuse and spent his life there. There is every reason to think that these roots meant a lot to Archimedes. Archimedes was famous already in his lifetime. No doubt he had generous offers to go elsewhere, just like superstar academics today. But Archimedes stayed. And he wrote his treatises in the local dialect of Greek, rather than adapting to the more prestigious version of Greek spoken in Athens and Alexandria. Perhaps again a sign of local pride. Archimedes also mentions his father, who was apparently an astronomer. So that’s another sign that Archimedes attached some importance to his heritage. And of course Archimedes was heavily involved in the defense of the city as a military engineer for many years. Obviously another sign of considerable patriotism. And now, all of that is being destroyed. Archimedes’s birthplace, his home for his entire life, burnt and ransacked by a heartless military force. If Archimedes looks out his window all he sees is everyone he ever loved being slaughtered, and generations of cultural heritage being sadistically trampled to dust by soldiers’ boots. This would be heartbreak and trauma enough. But it’s worse. It’s worse for Archimedes because he was in charge of the defense. It’s his fault. All this blood is on his hands. Or so it would seem to him. Archimedes was given every resource to orchestrate the Syracusan defense. All those notorious warfare machines that held the Romans at bay for so long: that’s not something you throw together in your basement. Archimedes must have been entrusted with massive resources and he must have had considerable manpower under his command. His friends and brothers had put their faith in him in their hour of need, and he failed. Archimedes has let them all down. He has let his father down, and his forefathers. Not only is Archimedes watching his city burn. He is also overcome by the crushing guilt that this is all because of his personal failure. How do you think this guy is going to react when an enemy soldier comes to take him away? He’s not in a mood to be read his Miranda rights, is he? It was time for Archimedes to go. Shot down on the pavement. It was the only honorable option left. Most of the historical accounts frame the death of Archimedes in terms of the trope of the absent-minded professor, lost in a diagram, oblivious to the world around him. I imagine that this is a sanitized account. Most of the historical accounts were written under Roman rule. Maybe the real events were quite a bit uglier and a lot less flattering for Roman historians to repeat. Maybe Archimedes was not so cartoonishly lost in geometrical thought at that moment as story-tellers pretend. Maybe he knew full well what was going on, like any normal person would. Especially since he was obviously very well aware of the prospect of Roman military invasion, and he would understand very well what it meant when Roman soldiers had reached his house. Archimedes was an experienced military engineer who had lived under the immediate threat of military attack for years. Is it too much to imagine that such a person would carry a weapon, perhaps a small dagger? Well, now is the time to use it. If not now, when? Of course by the time it comes to that you have already lost. You don’t have a dagger because you think you will be able to fight your way out. You carry the dagger because when the time comes to use it your choices are: die on your knees or take one ------ down with you. That’s how I would write Archimedes: The Gritty Reboot. If that’s what happened then Roman historians would hardly want to admit it. It doesn’t do their self-image any favors that the great Archimedes would rather die than be taken alive by Romans. So the literary cliché of a philosopher so absorbed in thought that he does not notice his surroundings is a welcome euphemism readily at hand. I quoted earlier the standard story from Plutarch, which leans into this cliché very heavily. Actually Plutarch also goes on to give two other versions of the death of Archimedes. “Others write”, he says. And then he says for instance that Archimedes was killed because a soldier mistook his astronomical instruments for gold trinkets and killed him to plunder his valuables. I don’t think so, but even this version clearly has some elements of truth. Namely, there was indeed plundering by the soldiers and some flashy-looking astronomical instruments made by Archimedes were indeed stolen by the Romans and publicly displayed in Rome. So this would have given some credence to the story. Maybe Plutarch is relieved that there is some ambiguity regarding the death of Archimedes. Maybe he knew full well that these alternative stories are not true. Indeed, he first tells the standard story as if it was unequivocal fact, and then he adds the qualifier “others write” when telling the other versions. As if he knew they were false. Since the real version is so embarrassing for the Romans, muddying the waters with some misleading alternatives is a convenient way to trick the reader into thinking that no one really knows for sure what happened. Throw a little fake news in there to dilute the facts. It is very much possible that the circumstances of Archimedes’s death were very well known and documented at the time and for generations afterwards. It is reported that a personal friend of Archimedes wrote a biography. Which is now lost but which could have been a very excellent and reliable source available for some time. Another credible source is the Greek historian Polybius. He writes about Archimedes’s military machines but he doesn’t mention the death of Archimedes in surviving texts. Some parts of his works have been lost, perhaps very conveniently for the Romans. Polybius was writing not too long after the fact. He could have spoken to eyewitnesses who were actually there on the ground during the siege of Syracuse. So, we should not say: It’s all just a bunch of legends made up hundreds of years later. There were better sources. There were serious historians who tried to keep a record of these things. We should not be so pessimistic. The existence of these better sources may have acted as a deterrent on historians like Plutarch and Livy, whose works are all we have now. They mention the death of Archimedes in passing. Their main concern is not to preserve a maximally accurate record of exactly what happened to Archimedes. They retell the story because it suits their purposes. Because it is vivid and gripping story as well as an occasion to make a moral point. And they are probably not opposed to tweaking the story to those ends. Nevertheless they would not want to be caught saying something that is provably false. The possibility that some readers may have access to quite reliable historical accounts in other sources could very well be a check on the freedom that these other writers could afford to allow themselves. And presumably they had some professional integrity as well. Sometimes I wonder about the modern historians who are so quick to dismiss ancient writers as if they just wrote fiction and legends and made up whatever they thought sounded cool. I wonder what it says about our modern colleagues that they find this kind of behavior from a history writer to be plausible and in character. Of course third-hand and forth-hand accounts are distorted. Of course we should be mindful of what layers of biases and hidden agendas that these accounts have been subjected to. But that’s very different from making stuff up out of thin air. The scholarly norms back then were different as well. Historians were expected to be storytellers with flair. Not be academic bores like today. So history writers back then would allow themselves more literary leeway that allowed them to add some stylistic embellishments. But the game was to do that will remaining faithful to the basic facts. For example, according to one modern analysis (Archimedes and the Roman Imagination, 92), one version of the story of the death of Archimedes elegantly frames it in terms of concentric circles. First the walls of the city are breached, then the soldier breaks into Archimedes’s house, and finally, as a last layer of concentric fortifications, Archimedes wraps his arms around his precious diagram. So the theme of geometricity is echoed in the narrative structure itself. Exquisite. Things like that are fun to play with as a writer. And that’s the kind of embellishment that you can add without doing any harm to the essence of the historical facts. Here’s another in my opinion misguided objection to the historical reliability of the story. I quote from the MAA Press book “Archimedes: What Did He Do Besides Cry Eureka?” Regarding Archimedes’s last words, this book writes: “Who would have reported them? Would a soldier who had killed Archimedes, against orders from his commanding general, offer this incriminating evidence?” (3) Well, yes. Yes, he would. The Roman army routinely tortured enemies for information. The solider would surely know that very well, perhaps first hand. This is the same Roman army who have given us the word “decimate”: that is to say, in case of disobedience, kill one in every ten of your own soldiers just to make a point and maintain discipline. Obviously the soldier is at the mercy of the army. They know where he lives. They know where his family lives. Of course they can easily apply any amount of pressure. Of course the soldier will talk. How could he not? Besides, the soldier would not have been alone, would he? I would think that, when clearing enemy territory in an active battlefield, soldiers would presumably prefer to stick together in groups rather than wander off on their own. So why wouldn’t the other soldiers report what happened? Of course they would. That doesn’t mean that the reported last words of Archimedes are historically accurate, of course. I don’t think they are. And indeed the sources do not agree about it verbatim anyway. But the problem is not that it would not have been knowable or that actual facts were not available to historical writers. Things like last words were precisely the kind of thing that an ancient history writer will embellish a little bit for style and flair and drama and narrative when writing their own as it were reboot of this established story. But they were not fiction writers and their literary freedom was checked by professional integrity. Nor was there necessarily any language barrier preventing Archimedes and the soldier from understanding one another, if we assume that the soldier was Latin-speaking. Before it came to war these regions had been close partners in diplomacy and trade. People may have known quite a bit of each other’s languages. Archimedes, who was highly educated and part of the king’s entourage, may very well have been able to express himself in Latin. (Ivo Schneider, Archimedes, 2nd ed., xvi) In any case, the orders were supposedly to capture Archimedes alive. That’s what the Romans wanted. But what did Archimedes want? Did Archimedes want to be paraded around Rome like a trophy of war? So that tipsy dinner party guests could make fun of the freak with the big brain? Or did Archimedes want to sell his engineering ski…

    Full show notes at the publisher

    Torricelli’s trumpet is not counterintuitive Dec 30, 2024
    Show notes

    There is nothing counterintuitive about an infinite shape with finite volume, contrary to the common propaganda version of the calculus trope known as Torricelli’s trumpet. Nor was this result seen as counterintuitive at the time of its discovery in the 17th century, contrary to many commonplace historical narratives. Transcript Torricelli’s trumpet is not counterintuitive. Your calculus textbook lied to you. You’ve probably heard of this cliché, Torricelli’s trumpet: an allegedly “paradoxical” shape that has infinite area but finite volume. It’s staple example in calculus textbooks. Well, there’s nothing to it, in my opinion. It’s a propaganda lie. Let’s revisionist-history the heck out this thing. I will tell you why there’s nothing counterintuitive about this result. Then I’ll argue that it was not seen as counterintuitive at the time, in the 17th century, contrary to what everyone tells you. Then I will explain, in terms of the sociology of the mathematical community, why this myth is still so popular. That is to say, why it is such a comforting myth to so many people, despite being wrong. So, the trumpet. You take the hyperbola y=1/x and you rotate it about the x-axis. It makes a trumpet shape, a kind of funnel that becomes infinitely narrow the further you go. Also known as “Gabriel’s Horn.” Actually I tried to look up the origin of this silly name but I couldn’t find it. I guess it was perhaps coined for the American market? “Torricelli” is bit too “Euro” isn’t it? Now, “Gabriel’s Horn” on the other hand, there you have a nice pious biblical name. Anyway, whatever you want to call it. The volume of the funnel is finite. For example from x=1 onwards. Despite its area and its length being infinite. There are two supposed contradictions here. On the one hand, finite volume with infinite extent (infinite length) could be regarded as two contradictory properties that it would be surprising to find in the same solid, allegedly. Alternatively, finite volume with infinite area could also be seen as a clash of two incompatible properties: a shape having those two properties at the same time is supposed to be contrary to “intuition,” allegedly. Sometimes it is put like this: Such a solid cannot be painted, since it has infinite area, yet it can be filled with paint, since it has finite volume. But I think this can be a misleading move that mixes the issue of Torricelli’s trumpet with general issues of how infinite processes correspond to everyday experience, which is perhaps a separate source of so-called “counterintuitive” phenomena. The fact is that if Torricelli’s trumpet is supposed to be a surprising result, then the source of the contradiction is supposed to be the properties of volume, area, and length of this shape, and not some secondary intuitions about infinite processes in general. In my opinion, the properties of Torricelli’s trumpet are not “counterintuitive.” First, is it counterintuitive for a finite amount of paint to cover an infinite surface? Of course not. Let’s put it like this. Suppose you have a can of paint. Obviously it contains a finite volume of paint, such as one liter. Now, open the can and pour the paint on the floor. Think of a big floor, like a basketball court. Get a spatula and start spreading the paint across as much area as you can. Where do you think this process will stop? This is mathematical paint. You can spread it as thin as you like. How much area can you cover, if you can spread the paint thinner and thinner and thinner? What does your “intuition” tell you? Does your “intuition” say that this spreading process with terminate after a certain number of square meters of the floor painted? Of course not. That would be idiotic. And yet that is precisely what the standard account of Torricelli’s trumpet would have you believe. It is supposed to be “counterintuitive”, the story goes, for a finite volume of paint to cover an infinite area. Well, we have just seen that that premise is idiotic. Obviously a finite amount of paint can spread further and further, as long as you make it thinner and thinner. There is nothing “counterintuitive” about that. Why would “intuition” say that the process of spreading the paint thinner and thinner would suddenly terminate at some finite bound? Why on earth would it? What would be the “intuitive” reason for why you could spread paint thinner, and then thinner, and then thinner, and then thinner, and then not thinner all of a sudden? Where would this invisible upper bound come from? Why would “intuition” stipulate the existence of such a ghost? It makes no sense. Here’s another thought experiment that proves the same thing. We’re not using paint anymore, but rather a cube. You have a cube of unit volume in front of you. You cut it in half, horizontally. Like a sandwich. Then you place the top half side-by-side with the bottom half. Next cut the top half in half again in the same manner, and bring the new top slice down next to the bottom slice. So now you have a kind of stairway with three steps. Continue in the same way: you keep bisecting the last piece and placing all the pieces in a row. All the slices have a length and a width of 1, the original dimensions of the cube, because you are always cutting horizontally. You are cutting the heights in half, leaving the width and the breadth of all the pieces the same throughout. So you get a row of blocks that each have a length and width of 1, and whose heights are 1/2, 1/4, 1/8, 1/16, and so on. The total volume remains 1 throughout the process of course, because you only moved the existing volume around without adding to it or taking anything away. Meanwhile, both the length and the area of the combined shape clearly approaches infinity, as is intuitively clear. So with this simple intuitive argument we get infinite extent with finite volume. So clearly infinite extent with finite volume is by no means contrary to intuition. Note that this simple thought experiment also shows that Torricelli’s trumpet is not a case of a technical mathematical result being philosophically or qualitatively different from simple common-sense examples, contrary to what calculus teachers like to pretend. So the standard story is wrong in two ways. It claims that advanced calculus proves intuition wrong. But that’s doubly a lie. First, intuition is not wrong, and furthermore you don’t need fancy calculus to show any of this anyway. The simple thought experiments of the repeatedly bisected cube or the painted basketball court, which you can explain to a 5-year-old, contain everything that is relevant. There is nothing qualitatively new added by the use of calculus. These things were also well understood historically. For example, Isaac “Barrow … clearly saw that [Torricelli’s] theorem can be intuitively explained by the fact that ‘the infinite diminution of one dimension compensates the infinite increase of the other’.” This fits with the basketball court example. Although Barrow was talking about the relationship between volume and length, not volume and area. But the point is the same. The equivalent of the bisected cube example was also well understood. For example, Leibniz rightly remarked that “there is nothing more extraordinary about [Torricelli’s result] than about infinite series, where we find that 1/2 + 1/4 + 1/8 + 1/16 + 1/32 etc. = 1.” Exactly. Nothing to see here. Just as Leibniz says. Let’s turn to history then. Let’s see what people thought back then, besides Barrow and Leibniz. Torricelli published his result in 1641. In fact, all this stuff about area plays no part in the 17th century. The whole thing is about volume only. Torricelli’s trumpet has finite volume and infinite extent, that is to say, infinite length. That’s it. No area, no paint, no painting an infinite area. Nobody said anything about that in the 17th century. Just volume and length. Still, even then many people today say that this was a big paradox back then. Lots of mainstream accounts of the history of mathematics repeat this story. For example, here is a quote from Simmons’s book Calculus Gems: “That a solid can have finite volume even though it has infinite extent … caused great astonishment at the time.” Another example, from Burton’s History of Mathematics: “The result seemed so counterintuitive and astonishing that at first some of the leading European mathematicians thought it impossible.” And here’s another example, from the book When Least Is Best by Nahin: “Prior to this discovery it was commonly accepted that a surface extended to infinity would necessarily have to be of infinite size, that is, enclose infinite volume.” So, that’s what everybody says. But here at this podcast we are not in the business of repeating boring clichés like some people, so let’s have a go at it. All of these people are wrong, in my opinion. I’m going to base my discussion on Paolo Mancosu’s book Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. This is by far the most complete and authoritative historical account of all of this, of the reception of Torricelli’s trumpet in the 17th century. Mancosu covers the relevant historical sources quite exhaustively. I am going to use the same sources, but I am going to interpret them differently. Mancosu himself is of the same opinion as all these other guys I quoted, team cliché. According to Mancosu, I quote him, Torricelli’s result “seemed so counterintuitive and astonishing that, at first, some of the leading mathematicians thought it impossible.” “There are good intuitive grounds for holding that an infinitely long solid cannot have a finite volume,” and that is what gave rise to “the intuitive, widespread, and erroneous inference from infinite length to infinite volume.” So Mancosu is wrong like everybody else, in my view. Let’s look at his evidence and refute it all one by one. First, Mancosu’s chapter on this stuff is off to an interesting start. He says: “Even eighty years later Bernard de Fontenelle commented: ‘One apparently expected, and should have expected, to find [Torricelli’s solid] infinite [in volume].’” Ha! Did you catch that rhetorical trick? “Even eighty years later …” “Even”! In fact, instead of “even eighty years later” it would be more accurate to say: not until eighty years later is this allegedly common view actually explicitly asserted, and then by an essayist and not a mathematician. It’s neither here nor there what some non-mathematician wrote 80 years later. He could very well have been subject to the same biases as the modern proponents of the story. So, let’s look further back in time. What were Torricelli’s own words? Indeed, Torricelli called his result “as it were paradoxical,” in Mancosu’s translation. The Latin is “ut ita dicam paradoxicum.” I think maybe a more literal translation would be “so to speak paradoxical.” “So to speak”: that is to say, not actually. It’s not a paradox but it’s kind of like a paradox if you squint a bit, Torricelli seems to be saying. Of course that seems to give some credence to the standard interpretation, perhaps the strongest evidence that exists for this view. Fair enough. There is some connection to paradox, like the standard story says. On the other hand, Torricelli’s phrasing is also a notably guarded formulation coming from the discoverer himself. You would think that Torricelli, the very discoverer of this result, would be inclined to play up, if anything, the philosophical significance of his own theorem. Despite this incentive, Torricelli evidently felt the need for the qualifier “so to speak paradoxical.” The result is not actually paradoxical, in other words. Torricelli then goes on to explain why the result is “so to speak” paradoxical: “The reason is that ‘if one proposes to consider a solid … infinitely extended, everybody immediately thinks that such a figure must be of infinite size’.” Again, this fits to some extent with the standard narrative. But on the other hand it is striking how much more restrained this wording is. The Latin for “immediately” is “statim,” which arguably means something like “the very instant that,” or in other words: before thinking about it for more than a few seconds. Quite plausibly, Torricelli has chosen his words carefully since he is well aware of examples such as that of the repeatedly bisected cube that I described before. Perhaps Torricelli knows well that if he asked a mathematician colleague whether a solid with infinite length must necessarily have infinite volume then they would likely very soon think of such counterexamples and realise that the answer is no. Perhaps that is why Torricelli does not say that his theorem contradicts what everybody believes, or that it contradicts intuition. Instead he merely says, much more cautiously, that his result is “so to speak” surprising since it is different from the first example of a solid with infinite length that pops into someone’s head the very split second that they are asked to imagine such a shape. Quick! Think of a shape with infinite length! Ok, maybe then you think of a shape that also has infinite volume. But that is not the same as to say that “intuition” says that it must have infinite volume. Let’s listen to Torricelli’s words again: “if one proposes to consider a solid infinitely extended, everybody immediately thinks that such a figure must be of infinite size.” That is to say, in that moment, when you are asked to picture such a shape, your “immediate” impulse is to think of one that has infinite size. That’s your “immediate” reaction. Not your considered reaction, not your mathematician’s intuition, not what you think after a bit of thought. Only “immediately.” Torricelli has chosen his words wisely, so that it seems like he is saying a lot but in fact he is carefully choosing a formulation that is not subject to refutation based on thought experiments like the ones I gave before, because Torricelli is only talking about “immediate”, split-second visualisation, and he wisely says nothing about what somebody who thought about it for two minutes would think. In this way Torricelli stops well short of asserting the standard view that I quoted from so many modern historians. Torricelli seems to be going in that direction but he doesn’t go anywhere near as far as those statements from the modern literature that I quoted. That’s all we have to go on in terms of Torricelli’s own words. Now let’s turn to the reaction of Torricelli’s contemporaries. It is true, as the standard story says, that a number of mathematicians at the time reacted with some surprise to Torricelli’s result. But here we must ask ourselves: Why were they surprised? The standard story assumes that they were surprised because the result was counterintuitive. Therefore contemporary expressions of surprise are often cited as self-evidently supporting the standard story. But in fact there are other good reasons for contemporary mathematicians to have been surprised that have nothing to do with intuitions about infinite shapes. Torricelli’s work showed that infinite curvilinear figures are mathematically tractable. That in itself was novel and surprising, quite apart from the specific result and whether it was intuitive or not. Indeed, Torricelli explicitly makes this point himself: “Among all the solids of which ancient and modern authors have determined the measures with much effort, none, as far as I know, has an infinite extension.” Exactly. It was rare indeed for geometers at this time to be able to go qualitatively beyond what the ancient masters such as Archimedes had done, as opposed to supplementing and extending their results with more of the same. In fact, the very nature of the ancient methods for determining areas and volumes, which was still the gold standard in Torricelli’s time, and which he still relied on for proving his result in the most rigorous way, would seem to preclude application to infinite fi…

    Full show notes at the publisher

    Did Copernicus steal ideas from Islamic astronomers? Nov 29, 2023
    Show notes

    Copernicus’s planetary models contain elements also found in the works of late medieval Islamic astronomers associated with the Maragha School, including the Tusi couple and Ibn al-Shatir’s models for the Moon and Mercury. On this basis many historians have concluded that Copernicus must have gotten his hands on these Maragha ideas somehow or other, even though no direct evidence for such transmission has been found. Let us consider the evidence as to whether Copernicus plagiarized these Arabic sources or not.

    See PDF slides for figures and references.


    Operational Einstein: constructivist principles of special relativity Jul 23, 2023
    Show notes

    Einstein’s theory of special relativity defines time and space operationally, that is to say, in terms of the actions performed to measure them. This is analogous to the constructivist spirit of classical geometry. Transcript Oh no, we are chained to a wall! Aaah! This is going to mess up our geometry big time. Remember what Poincaré said: self-motion is the essence of geometry. We understand that part of the environment to be geometrical that we can cancel through self-motion, through a change of perspective. Suppose you are looking at a chair, let’s say, and somebody tips it over so that it’s laying on its side, or somebody moves it to the other end of the room. Those are geometrical transformations: rotations and displacements in space. They are the equivalence relations of space; the isometries: things you can do without changing metric relationships. You know that these are geometrical equivalence transformations because you can cancel them through self-motion. When the guy knocks the chair over, you can tilt your head 90 degrees, and you have restored the original visual impression of the chair. And if the guy moves the chair five meters that way, then you yourself can move five meters in the same direction and once again the chair makes precisely the same visual impression on your retina as it did before. This is how you know that rotations and displacements are geometrical equivalence transformations. The more you accumulate experience with these kinds of scenarios, the more you begin to grasp the group of geometrical transformations as a whole. You get a global sense of what kinds of transformations are possible, how they combine and interact, and so on. This process might lead you to Euclidean or non-Euclidean conceptions of space depending on your experiences. You get to know space and what kind of geometry it has by getting to know its transformation group: that is to say, what kinds of rotations and displacements exist, what happens if you do one after the other, and so on. Now, what about the scenario when we are chained up? We must imagine that we have been chained to this wall for life. We don’t know any other reality than this. Our sense of what geometrical transformations are possible will be very different. There is still geometry because there are still visual impressions that we can cancel through self-motion. If an object is moving across our field of view, we can keep the retinal impressions the same by tracking it with a motion of our eyes. So we understand the geometry of sideways motion well since we can move our eyes from left to right, or point our gaze in different directions. We also understand the geometry of depth to some extent. If an object is moving away from us, we can keep track of that through self-motion also, but of a very different kind. They eye has a lens in it. The curvature of the lens is variable and is controlled by a muscle. Depending on whether you need to focus on objects that are near or far, the muscle will pinch or pull the lens so that it is more round or more flat in order to have the right focal distance for the object you are looking at. In this way you can keep track of how much an object has moved in depth by recording how much the lens needs to be adjusted to restore focus. So this gives you the data to develop a geometry of depth. So our chains do not deprive us of geometry altogether. We can still develop the geometry of width and the geometry of depth. But these are separate geometries to us. A free person will know that width and depth are merely two dimensions of the same kind of thing. They are both spatial dimensions. They are interchangeable and homogenous. The free person will know that since they can turn width into depth by self-motion. They just need to go stand over there and the old width is the new depth and vice versa. But we who are chained are deprived of this experience. So to us width and depth remain qualitatively different kind of things altogether. Indeed, we measure distance in width and distance in depth completely different units. We count distance in width by the direction in which our eyes are pointing, so the unit is degrees for example. An object is 30 degrees to the left of another, for example, we might say. But we count depth by how much the lens needs to be bent to achieve focus. So the unit is something like a unit of force corresponding to the muscular effort involved. That’s a completely different kind of thing altogether, and cannot be compared with our degree measures that we used to quantify position in the width direction. It’s not so strange that width and depth would be qualitatively different things. You already treat various measurements of the same object as qualitatively different in your everyday life. For example, suppose somebody asked you: Is this building wider than it is old? Of course that doesn’t make any sense. You cannot compare a distance in space with a duration in time. Because those quantities are determined in fundamentally different kind of ways, they are measured in completely different kinds of units, and so on. Well, just as you think time and space are not comparable, so the chained person thinks depth and width are not comparable. Samesies. In fact, maybe you are are just as delusional as the chained guy, and for much the same reason. Actually time and space are a lot more comparable and interchangeable than you think, as Einstein’s theory of relativity says. We don’t realise this in our everyday experience, because relativistic effects become significant only at high speeds, somewhat close to the speed of light. Compared to the speed of light you have practically been standing still your whole life, even when flooring it on the highway. So you might as well have been chained to a wall. The sum total of all your visual and sensory impressions are severely and systematically impoverished just like the guy chained to a wall. Just as he doesn’t realise the fundamental unity of width and depth, so you don’t realise the fundamental unity of time and space. And for the same reason: you are both essentially standing still. I took this example from Feynman’s famous lectures on physics. Why don’t we listen to his version as well? The classic Feynman lectures on physics are nowadays available for free at a Caltech website, audio recordings and all. “When we look at an object, there is an obvious thing we might call the ‘apparent width’, and another we might call the ‘depth’. But the two ideas, width and depth, are not fundamental properties of the object, because if we step aside and look at the same thing from a different angle, we get a different width and a different depth, and we may develop some formulas for computing the new ones from the old ones and the angles involved. … If it were impossible ever to move, and we always saw a given object from the same position, then this whole business would be irrelevant—[width and depth] would appear to have quite different qualities, because one appears as a subtended optical angle and the other involves some focusing of the eyes …; they would seem to be very different things and would never get mixed up. It is because we can walk around that we realize that depth and width are, somehow or other, just two different aspects of the same thing. [In Einstein’s theory of special relativity] also we have a mixture---of positions and the time. … In the space measurements of one man there is mixed in a little bit of the time, as seen by the other. Our analogy permits us to generate this idea: The ‘reality’ of an object that we are looking at is somehow greater (speaking crudely and intuitively) than its ‘width’ and its ‘depth’ because they depend upon how we look at it; when we move to a new position, our brain immediately recalculates the width and the depth. But our brain does not immediately recalculate coordinates and time when we move at high speed, because we have had no effective experience of going nearly as fast as light to appreciate the fact that time and space are also of the same nature. It is as though we were always stuck in the position of having to look at just the width of something, not being able to move our heads appreciably one way or the other.” (I.17-1) I love this thought experiment with the chained guy. Plato’s cave 2.0. And it is perfect for our purposes today. This is going to be the concluding episode of my history and philosophy of geometry story arc, and the theme will be how everything goes full circle and the beautiful ideas from days of old are as relevant as ever to us self-absorbed moderns as well. The guy chained to a wall is a perfect backward-looking example, and a perfect forward-looking example. Back to the operationalism of Greek geometry, and forward to Einsteinian modernity. We started, way back when, with the Greeks and their ubiquitous ruler and compass. Always with the making, those guys. Lines and circles are nothing but the things you get when you draw with these tools. Not abstract things, not axiomatically defined things. Lines and circles are operations. They are things you do. The Greeks realised that this was the rigorous way to do mathematics. The epistemological humility of the maker is far superior to hubris of the philosopher who think they can concoct a perfect theoretical system in the abstract using the power of their mind alone. People are not as good at that as they think. Time and time again, somebody’s pretentious abstract theory has proved to contain various unintended contradictions and unnoticed assumptions. As the Greeks knew all too well: the works of Plato and Aristotle do little else than poke holes in other people’s bad theories. So we should stop trying to philosophise about essences, which we are so bad at, and instead roll up our sleeves and build stuff. Clear the junk off the table in your garage, put your tool belt on, and let’s double some cubes. To know is to do. And this runs all the way through history. In physics, we can only know relative space, not absolute space, said Descartes and Leibniz, because we can measure the distances between things, but we cannot measure any such thing as the absolute “coordinates” of any one thing in itself without reference to anything else. So, if we believe in the virtue of the humble maker and the hubris of the speculative philosopher, then it follows that we must base our physics on relative space, not absolute space. A very reasonable conclusion, which Newton abandoned to the dismay of many at the time. So if we stick to the classical point of view then space is what you can make, and what you can measure. What you can experience, in other words. This is a good philosophy of space. And no wonder. The Greeks, Descartes, Leibniz—back then mathematical and philosophical sophistication went hand in hand to a rare degree. So it’s no wonder they had some good ideas. But don’t take my word for it. What makes a philosophy good? Not the say-so of some podcaster, that’s for sure. But we can prove that the classical operationalist perspective was good philosophy, by considering how it fared in the face of entirely new developments. Bad philosophy is always back-pedalling. As soon as new facts come in you have to go: uh, well, actually what I mean was… Or just descriptive: some people think they have a philosophy of something when they are just describing its basic features and making up a name for each part. But good philosophy is not that. Good philosophy is a perspective that makes you think in new ways. It gives you tools that you can use to try to understand conceptually challenging new problems. Philosophy is good if it is a fruitful way to think in challenging new situations. Such as non-Euclidean geometry, for example. A rather counterintuitive new world; we could really use some philosophy to find our feet here. What philosophy is going to help us? Maybe Aristotle’s four different names for four different kinds of causes? Yeah right. But thinking of space and geometry in terms of operations: now that’s a philosophy. And it will prove its worth by the way it interacts with these new developments. How do we know whether we live in a Euclidean space or a hyperbolic space? Not by developing these two geometries abstractly and axiomatically, and then testing them by their angle sum theorems or whatever. No thank you, that would be that hubristic assumption again, that we could develop geometry purely in the abstract, in the mind alone. Geometry should come from experience. But how? Modern mathematics has told us exactly how. A geometry is defined by its group of equivalence transformations, as Felix Klein said in his famous Erlanger Program. And a group of equivalence transformations can be defined in terms of experience. That is what Poincaré explained: equivalence transformations are the transformations you can cancel through self-motion. Perfect! In this way the difference between Euclidean and hyperbolic geometry emerges organically from experience itself. There is no need to postulate a hubristic ability of the human mind to develop axiomatic systems in the abstract. Later we can go on to do more conventional abstract axiomatic mathematics as well, of course, but we do that by building on the concrete substrate developed first. We are not born with general-purpose abstract reasoning skills. We have domain-specific innate abilities such as that of acquiring a geometry by extracting the group of equivalence transformations of the space we live in from our sensory experience. And, insofar as we eventually succeed at general abstract reasoning, that is because we have mobilised our domain-specific skills and modes of thought to simulate abstract general-purpose thought. This is the point of view that I associated with Poincaré and Chomsky if you recall. The chained guy is a perfect example to illustrate this entire tradition on geometry going all the way back to the Greeks. Restrict the operations a guy can perform, and you restrict his geometry. I think maybe Feynman didn’t realise that his thought experiment perfectly illustrates this historically rich point of view. If we assume that Feynman came up with this through experiment himself, it seems that he started with Einstein’s relativity theory and asked himself how he could illustrate it using an analogy. Then the idea that the concepts of a physical theory depend on the kinds of experience one has, or the kinds of measurements one can make, comes off looking a bit like a kind of quirky side-effect of relativity theory. Rather than a methodological axiom built in to it from the very beginning, and indeed an axiom already strongly established long before relativity theory was even conceived. We can see this in another one of Feynman’s remarks, in another lecture. Let’s listen to this, and pay attention to what causes what. What comes first: the physics or the philosophy? “One of the consequences of relativity was the development of a philosophy which said, ‘You can only define what you can measure! Since it is self-evident that one cannot measure a velocity without seeing what he is measuring it relative to, therefore it is clear that there is no meaning to absolute velocity.’” (I.16-1) One could argue that it was the other way around. This way of thinking was not a consequence of relativity theory, as Feynman says. “One of the consequences of relativity…” If anything, relativity theory was a consequence of this way of thinking. “The physicists should have realized that they can talk only about what they can measure.” Yes, they should have realized that, and they did! Not from Einstein but thousands of years before. Indeed, Einstein read a lot of that stuff in his youth, including Ernst Mach and Poincaré. And he made no secret of how much those things influenced him. Relativity theory was a philosophy-driven scientific development to an unusual degree. Without Poincaré’s be…

    Full show notes at the publisher

    Review of Netz’s New History of Greek Mathematics Oct 11, 2022
    Show notes

    Reviel Netz’s New History of Greek Mathematics contains a number of factual errors, both mathematical and historical. Netz is dismissive of traditional scholarship in the field, but in some ways represents a step backwards with respect to that tradition. I argue against Netz’s dismissal of many anecdotal historical testimonies as fabrications, and his “ludic proof” theory. Transcript A new book just appeared: A New History of Greek Mathematics, by Stanford Professor Reviel Netz, Cambridge University Press. Let’s do a book review. It will be a critical review. The main theme will be the sciences versus the humanities. Note the title of the book: “a New History.” Netz’s “New History” represents the new humanities-centred dominance in the field. As opposed to the “old” histories written by more mathematically oriented people. In my opinion, “new” does not mean better in this case. And I will tell you why. Let’s start by attacking a city. The enemy are hunkering down behind their city walls. We are going to have to scale the walls with ladders. How long should we make the ladders? The ancient historian Polybius has the answer: “The method of discovering right length for ladders is as follows. … If the height of the wall be, let us say, ten of a given measure, the length of the ladders must be a good twelve. The distance from the wall at which the ladder is planted must, in order to suit the convenience of those mounting, be half the length of the ladder, for if they are placed farther off they are apt to break when crowded and if set up nearer to the perpendicular are very insecure for the scalers. … So here again it is evident that those who aim at success in military plans and surprises of towns must have studied geometry.” Great stuff. But Netz gets it wrong, in my opinion. Here is how he concludes: “And then, of course, we are supposed to apply – Polybius leaves this implicit – Pythagoras’s theorem.” (223) I don’t think so. I don’t think that’s what Polybius intended. Sure enough, you can solve for the length of the ladder using the Pythagorean Theorem, but that is a clumsy and inefficient way to do it. If you did this the modern way you would need to do some algebra followed by some calculation involving a square root. They didn’t have calculators on their phones back then, you know. Do you expect carpenters in the military to be able to calculate square roots by hand? In fact, Polybius has already told you everything you need to know with his numerical example. If the wall is 10, the ladder should be 12, he says. But it scales! So what Polybius is really saying is that, whatever the height of the wall is, the ladder is always 20% longer than that. That’s all you need to know. No Pythagorean Theorem needed. Those numbers are a rule of thumb. You can also do it more exactly if you want, according to Polybius’s more theoretical characterisation of the optimal length. But you don’t need the Pythagorean Theorem for that either. There’s a much better way, that you can easily teach to an illiterate carpenter in five minutes. Draw an equilateral triangle, just as Euclid does in Proposition 1 of the Elements. Cut it down the middle. Now you have a right-angled triangle, where the base is exactly half of the hypothenuse. This corresponds precisely to Polybius’s rule: the distance along the ground is half the length of the ladder. So now we have a scale model of what we want. The height down the middle of the equilateral triangle represents the city wall; the side of the equilateral triangle represents the ladder, and it is precisely half its own length from the foot of the wall, exactly as Polybius says it should be for optimal stability. So if we are given that the height of the wall is for example 10 meters, then we divide the height of the triangle into ten equal parts. We take a blank ruler and mark those ten marks on it. Then we take this ruler, with this length unit, and measure the hypothenuse of the triangle. However many marks long it is, that’s how many meters our ladder needs to be. Piece of cake. Easy to improvise in the field without any specialised knowledge or tools. While Netz is busy trying to teach his carpenters the algebra of quadratic expressions and how to extract square roots, I have already scaled his walls using my much quicker methods. That is what you get when you put humanities people in charge of mathematics. So I wouldn’t trust Netz when it comes to mathematics, even when he says “of course,” as he does here. Here is another example: Did you know that parabolas are pointier than hyperbolas? At least if we are to believe Professor Netz. This claim occurs in a discussion of Archimedes. Archimedes studied solids of revolution obtained by rotating a conic section around its axis. Here are Netz’s words: “In the case of a parabola, this will be of a more pointed shape; in the case of the hyperbola, this may be more bowl-like.” (140) This is BS. Parabolas are not “more pointed” than hyperbolas. This is clear for example from the following fact: you can draw a hyperbola having any two given lines as asymptotes and passing through any given point. So in other words, you can draw a V, an arbitrarily pointy letter V, and then pick an arbitrary point inside that V, for instance a point super close to the vertex of the V. Then there is always a hyperbola that fits inside the V and that passes through the designated point. You can hardly get any pointier than that, now can you? Yet parabolas are nevertheless “more pointed”, somehow, Netz apparently believes. By the way, this fact I just mentioned, about constructing a hyperbola within a given V (that is to say, with given asymptotes), that is Proposition 4 of Book II of the Conics of Apollonius. Or is it? Here we have another interesting point. It seems that this proposition was actually not in the original version of the Conics. Because Eutocius, in late antiquity, needs this theorem at a certain point and he says he better prove it since it’s not in the Conics of Apollonius. But then in the text we have of the Conics, what we call Apollonius’s Conics today, this proposition clearly is there, with the exact same proof. And in fact the standard text that we call Apollonius’s Conics today comes to us only through that very same author, Eutocius, who wrote a commentary on the Conics and also preserved the text at the same time. So it seems that Eutocius inserted this proposition into Apollonius’s original text, because he had noticed in other works that it was a useful thing to prove. Netz describes this correctly, which is all the more reason why he should know that a hyperbola can be as pointy as you’d like, since this follows immediately from this proposition that he discusses at length. But anyway, there is another kind of error here in Netz’s discussion of this. The point that this proposition of the Conics is an insertion by Eutocius — that insight, says Netz, is due to Wilbur Knorr, Netz’s predecessor as a classics professor at Stanford. “No one noticed that prior to Knorr” (431-432), says Netz. But that is not true. Wilbur Knorr was not the first to discover this. In fact, Knorr clearly says so in his own article, the very article cited by Netz, which Netz has evidently not read very carefully. Already in the 16th century, Commandino, in his Latin edition of the Conics, very clearly and explicitly made the exact same point as Knorr, using the exact same evidence and arguments. And this in turn was cited in a 19th-century German edition of the Conics, as Knorr himself says. So Knorr didn’t discovery anything except what people had already known for hundreds of years. This is not such an innocent mistake. How are we supped to trust anything Netz says if he makes blatantly false statements that are clearly and unequivocally seen to be factually incorrect by simply glancing at the very article that Netz himself cites in support of his own claims? But it’s even more problematic than that. Because it’s clearly not just a random mistake. It is an ideologically driven error. By saying that Stanford humanities professor Wilbur Knorr was the first to make this important scholarly discovery, Netz is obviously indirectly boosting the impression that his own claims are important and novel, since he too is a Stanford humanities professor. Netz is not only saying that Wilbur Knorr was the first to discover this particular thing. He is implicitly saying that earlier generations of scholars missed important insights, and that only people like him — Stanford humanities professors — are true experts. That is of course the point of the title of the book: A *New* History of Greek Mathematics. In the past everybody did it wrong, and we need people like Netz to finally do it right. There is indeed a lot of explicit posturing to this effect throughout the book. Let’s look at another example of this. Let me read a passage where Netz is attacking Thomas Kuhn’s account of the history of astronomy. Thomas Kuhn wrote in the mid-20th century and he worked on the history of science even though his PhD was in physics. So that is exactly the kind of people Netz wants to denigrate. He wants to say that only specialised humanities professors, with their “new” histories, are actual experts in the field. Here is what Netz says about Kuhn: “Like most nonspecialists, Kuhn supposed …” See? I told you. It’s not just that Kuhn was wrong. It is that Kuhn epitomises the kind of people (people with a PhD in physics, for example) who need to be eliminated from the field because they make so many hopelessly naive assumptions without even realising it. Anyway, let’s continue with the quote: “Like most nonspecialists, Kuhn supposed that Aristotle was broadly canonical from the beginning and that although the ancients offered various astronomical variations, these had all to agree with the Aristotelian framework. … This is wrong. In fact, Aristotle was not canonized throughout most of antiquity; Greek philosophers were in continuous, ever-shifting debate; the very practices of astronomy went through several stages in antiquity before they became stabilized through the ultimate canonization of Ptolemy – and of Aristotle – in Late Antiquity.” (487) Indeed, I agree with Netz that mathematicians and scientists would have ignored Aristotle. Netz says it very well: “In the second century BCE itself, Aristotle was marginal even within philosophy, let alone to a scientist such as Hipparchus. It is quite likely that Hipparchus never even read Aristotle’s Physics.” (346) Reassessing ancient science in this light, “we come close to imagining a very Galilean Hipparchus” (347). Yes, perfect, I agree. That is exactly what I have said before about ancient science as well. Go Team Netz on that one. But what about poor Kuhn whom Netz uses as a punching bag? Was he really so stupid? No. I went to my copy of Kuhn’s book on the Copernican Revolution to check Netz’s accusations, and here is what I found. Here is a quote from Kuhn’s book: “The great Greek philosopher and scientist, Aristotle, whose immensely influential opinions *later* provided the starting point for most medieval and much Renaissance cosmological thought.” (Kuhn, Copernican Revolution, 78) So Kuhn says exactly the opposite of what Netz accuses him of “supposing”. *Later* Aristotle provided the starting point of scientific thought. Not “from the beginning.” Later. Exactly as Netz himself argues. Here is another quote from Kuhn’s book that says the same thing: “Aristotle said a great many things which later philosophers and scientists did not have the least difficulty in rejecting. In the ancient world there were other schools of scientific and cos­mological thought, apparently little influenced by Aristotelian opinion. Even in the late centuries of the Middle Ages, when Aristotle did become the dominant authority on scientific matters, learned men did not hesitate to make drastic changes in many isolated portions of his doctrine.” (Kuhn, Copernican Revolution, 83) There is no way you can read this and say that “Kuhn supposed that Aristotle was broadly canonical from the beginning,” that is to say, from his own lifetime onwards. Kuhn clearly says the opposite. Netz’s accusation is just slander. So it’s the same in both the Knorr case and the Kuhn case: Netz makes false assertions and then cites sources that clearly and explicitly say the exact opposite of what Netz alleges. At least in these cases Netz bothered to provide references at all. More often he doesn’t even do that. He allows himself the licence to make assertions at will, which readers are supposed to accept on his authority alone. Consider for example the following rant about the alleged bias of some unnamed “past scholarship”: “In past scholarship, this Babylonian achievement [in astronomy] was sometimes dismissed as ‘merely’ practical, the Babylonians unfavorably compared with the Greeks in that they did not produce a geometrical account of the sky, hence no physical model, so, unlike the Greeks, ‘not real science’. This is obviously an absurd special pleading, where one defines as scientific whatever it is that the Greeks do and then reprimands the non-Greeks for failing to be Greek. The Babylonian theory is in fact directly analogous to the Greek mathematical theory of music – whose scientific significance no one doubts.” (326) Well, no wonder that we need a “new” history of Greek mathematics then, amirite? That darn “past scholarship,” you know, they couldn’t think straight back then because they were so biased in favour of the Greeks. Or why sugarcoat it, why not just come out and say it: They were all racist back then, weren’t they? Thank God we have proper humanities-trained experts like Netz at last to save us from all of that. “A New History of Greek Mathematics”. Basically code for: The First non-Racist History of Greek Mathematics. Well, yes, the argument that Netz refutes is indeed idiotic. But what is this so-called “past scholarship” that allegedly made this idiotic and basically racist assertion that Babylonian astronomy is “not real science” because it’s not geometrical? Who ever said that? No one I ever heard of. Maybe Thomas Heath? If Netz is the “new” history of Greek mathematics, then Heath’s famous book is obviously the old one, written more than a hundred years ago. But no. I looked it up. Even old Heath explicitly uses the phrase “Babylonian science” with approval (History I, 8). Of course it was “science”. Perhaps Thales, in his travels, learned of “Babylonian science”, for example, Heath says (Aristarchus of Samos, 18), in exactly those words. So who, then, is Netz arguing against, except straw men that he has made up to present himself as the anti-racist saviour? I don’t know. But enough bickering about that. Let’s turn to a big issue of major interpretative importance. According to Netz, “Thales and Pythagoras did no mathematics whatsoever” (17). According to Netz, earlier generations of scholars naively believed in such fairy tales because they blindly trusted a single source: “My predecessor Heath and many historians – up until the last generation – gave credence to the view according to which Thales, and then Pythagoras, made lasting contributions to mathematics. This derives almost entirely from Proclus’s commentary, which, because of its overall sobriety, was taken seriously even for such obviously unfounded assertions.” (423) First of all, it is not true that this “derives almost entirely from Proclus’s commentary.” It is disturbing that Netz makes this false and self-serving statement. Just read Heath, whom Netz names in this very rant. Read Heath’s chapter on Thales. Heath goes through the sources explicitly. There are several sources about Thales as a mathematician that predate Proclus. And several of those testimonies, as well as passages in Proclus, are explicitly attributed to various specific earlier authors. So it is not the cas…

    Full show notes at the publisher

    The “universal grammar” of space: what geometry is innate? May 20, 2022
    Show notes

    Geometry might be innate in the same way as language. There are many languages, each of which is an equally coherent and viable paradigm of thought, and the same can be said for Euclidean and non-Euclidean geometries. As our native language is shaped by experience, so might our “native geometry” be. Yet substantive innate conceptions may be a precondition for any linguistic or spatial thought to be possible at all, as Chomsky said for language and Kant for geometry. Just as language learning requires singling out, from all the sounds in the environment, only the linguistic ones, so Poincaré articulated criteria for what parts of all sensory data should be regarded as pertaining to geometry. Transcript The discovery of non-Euclidean geometry in the early 19th century was quite a wake-up call. It showed that everybody had been a bit naive, you might say. Here’s an analogy for this. Suppose we had all been speaking one language, let’s say English. And we were all convinced that English is the only natural language. In fact, that question didn’t even arise to us; we simply assumed that English and language is the same thing. We even had philosophers “explaining why” English is a priori necessary. These philosophers had “proved,” they thought, that without English the very notion of linguistic communication or thought is impossible. And then we discovered that there are French speakers and Chinese speakers. Oops. Very embarrassing. English is not necessary after all. It is not innate, it is not synonymous with language itself. For thousands of years we made those embarrassing mistakes because we were not aware of the existence of other languages.That’s how it was with geometry. What I said about English corresponds to Euclidean geometry. For thousands of years, nobody thought of Euclidean geometry as one kind of geometry. Everybody thought of it as THE geometry. Geometry and Euclidean geometry was the same thing. Just as an isolated linguistic community thinks their language is THE language. And the philosophers I spoke of, Kant is an example of that. He argued that Euclidean geometry was a necessary precondition for having spatial experience or spatial perception at all, which is like saying that English is necessary for any kind of linguistic expression. And already long before Kant, many people had been convinced by how intuitively natural and obvious the axioms of Euclidean geometry feel. Descartes for instance and many others made a lot of this fact. Remember how important it was to Descartes that our intuitions were truths implanted by God in our minds. Well, we all think our native language is intuitive. And we think other people’s languages are not intuitive. This feeling is so strong that we think it must be objective. When we try to learn a foreign language, it feels impossible that anyone could think that was intuitive. And yet they do. So apparently our intuitions can deceive us. We feel that our native grammar is much more natural than everyone else’s, but that’s a delusion. It felt like an objective fact, but it turned out to be subjective. Could it be the same with geometry? Could the alleged naturalness and intuitiveness of Euclidean geometry turn out to be just an arbitrary cultural bias, like thinking English feels more natural than French? So, ouch, we took quite a hit there with the discovery on non-Euclidean geometry. It exposed our insularity. It showed that things we had thought we had proven to be impossible were in fact perfectly possible and every bit as viable as what we had thought was the only way to do geometry. And yet there is hope as well. The language analogy doesn’t just expose what an embarrassing mistake we made, or how non-Euclidean geometry hit us where it hurts. The language analogy also suggests a way out; a way to rise from the ashes. We were wrong about the specific claim that Euclidean geometry is innate, because that’s like saying that English is innate. Nevertheless we were right too, one could argue. Language is impossible without something innate. Everybody learns their native language with incredible fluency. Every child learns it somehow, with hardly any systematic teaching; they just pick it up naturally. And they do so at a very early age, when their general intelligence is still very limited. Meanwhile, no animal comes anywhere near achieving the same feat. Nor any adult human for that matter. I’m better than a three-year-old child at any intellectual task, except learning French. Somehow the child is super good at that. So clearly something about language is innate. The ability of language acquisition is innate. Some kind of general principles of language are innate. Perhaps geometry is like language in this way. We have some innate geometry. Not specific Euclidean propositions or axioms maybe, but some kind of “geometryness” nonetheless. Some sort of more structural or general principles of geometry than specific propositions, just as our innate linguistic ability doesn’t contain anything specific to any one language but instead has to do with “languageness” in general. In linguistics, this is called “universal grammar.” Every language has it own grammar, of course, but there are some more general or structural principles of language that are the same for all human languages. This common core is the universal grammar. Here’s an example of such a principle that belongs to universal grammar. Consider the statement “the man is tall.” It is a declaration, an assertion. You could turn it into a question: “Is the man tall?” We turned the assertion into a question by moving the “is” to the front of the sentence. That’s how you make questions from statements: start with assertions—“the man is tall”—and move the “is” to the front—“is the man tall?” So that’s a recipe for making questions. But consider now the statement “the man who is tall is in the room.” How do you form the corresponding question? There are two “is”’s in the sentence. So the rule “to form a question, move the is to the front” is ambiguous. Which of the is’s should we move? It could become: “is the man who is tall in the room?” That works. But if we move the other is to the front we get nonsense: “is the man who tall is in the room?” Well, that didn’t work. It didn’t make a question, it just made gibberish. Even though we followed the same rule as before: move the “is” to the front. If language was nothing but a social construction then it would be perfectly reasonable for children trying to form questions to come up with the gibberish one. If the child simply extracts general rules from a bunch of examples, it would have been perfectly reasonable for the child to have guessed that the general rule is: move the first “is” to the front of the sentence to form a question. Which would lead to the nonsense question “is the man who tall is in the room?” In fact, however, “children make many mistakes in language learning, but never mistakes such as [this].” Apparently, “the child is employing a ‘structure-dependent rule’” rather than the much simpler rule to put the first “is” in front. Why? “There seems to be no explanation in terms of ‘communicative efficiency’ or similar considerations. It is certainly absurd to argue that children are trained to use the structure-dependent rule, in this case. The only reasonable conclusion is that Universal Grammar contains the principle that all such rules must be structure-dependent. That is, the child’s mind contains the instruction: Construct a structure-dependent rule, ignoring all structure-independent rules.” So although each language has its own grammar, there are some general principles like that that are universal: common to all languages. Those principles are hard-wired into the mind at birth. This stuff about there being an innate “universal grammar” is the view Chomsky, the leading 20th-century linguist. The example and explanation I just quoted are from his book Reflections on Language. There are many debates about Chomskyan linguistics, but I’m going to assume Chomsky’s point of view for the purposes of this discussion, because its parallels with geometry are very interesting. You might say that this view of language is Kantian in a way. We saw that Kant put a lot of emphasis on the necessary preconditions for certain kinds of knowledge. Geometry, for example, is not an external, free-standing theory that we can analyze with our general intellectual capacities. Rather, the fundamental concepts of geometry are bound up with the very cognitive structure of our mind itself. Some things are purely learned through experience and convention, such as how to play chess or how to dance the tango. But some things are not like that. For instance, they way we experience color. The mind is made to see red and blue and to not see infrared and so on. That’s a fixed, domain-specific property of how our mind works. You can neither learn nor unlearn that through general intelligence. Color experience is just one of those basic things hardwired right into the brain. From the Chomskyan point of view, language is like that as well. Language is not merely a social construct with man-made rules like chess or tango. Nor is it explicable in terms of general intelligence only. Chess or tango you can learn by general intelligence. That is to say, if you spend enough time looking at people playing chess or dancing, you can eventually figure out what the rules are by general rational thinking such as pattern recognition, and forming preliminary hypotheses about how you think it works and then observing some more to check if you maybe need to revise the hypothesis to take into account some other possible circumstances or cases. Color experience is not like that. You don’t learn to experience redness by watching other people. It just is. And if you’re not born with it, then you can’t learn it by general intelligence, like you can learn chess. Language is similar to color and not similar to chess. You don’t learn color perception by watching others and using general intelligence to figure out the patterns and rules. General intelligence is not sufficient to sustain such a thing. Many people overestimate the potential of general-purpose intelligence. Both Kant and Chomsky agree about this. Remember the tile of Kant’s work: a critique of pure reason. “Pure reason,” or general-purpose intelligence, is not by itself capable of generating human linguistic capacity or geometric experience. The capacities of our mind depend much more than people realize on domain-specific conceptions. It is obvious that color experience is a hardwired specific domain of our cognitive structure and isn’t merely the outcome of some pattern-recognition process of general-purpose intelligence. But it’s less obvious that geometry is like that, or that language is like that. But Kant and Chomsky maintain that they are. According to them, we underestimate the extent to which basic geometrical and linguistic conceptions are intertwined with the very nature of our mind and our cognitive capacities. So the wrong way to think about it would be like this. The human brain is a general-purpose thinking machine. Imagine a person in a prehistoric hunter-gatherer society. This person’s general-intelligence mind might think to itself: Well, it’s great that I’m so smart. I can learn many things, like which plants are poisonous; I can figure things out like how to make fire, how to use tools and so on. But gee, wouldn’t it be handy if I could communicate my thoughts to others. Then we could organise collaborations, learn from each other’s experiences, and so on. I know, let me invent language, that will work for this. From the Chomskyan point of view this story is wrong because it overestimates the general-purpose mind. In fact, note that I described what the pre-linguistic mind was thinking by using language. But I was talking about a hypothetical stage in history in which there was no language. Does it even make sense to imagine such a thing as thought without language? No, according to Chomsky. The very nature of thought itself cannot be separated from language like that. The story of the hunter-gatherer inventing language is no more plausible than the story that he invented color experience by discovering that certain wavelengths of electromagnetic radiation were associated with grass, others with fruit, and so on. Instead of thinking of the mind as starting from general-purpose intelligence and then inventing domain-specific things like color and language, we should perhaps think of it exactly the other way around. The mind is made up of the domain-specific skills. Those are the fundamental cognitive starting-points. Insofar as we have any general-purpose intelligence, that comes from piecing together the domain-specific skills. Not the other way around. From an evolutionary point of view, the human mind perhaps evolved by adding domain-specific modules one by one: first color, then a hundred thousand years later geometry, then a hundred thousand years later language, and so on. We don’t have general-purpose intelligence. We only have the sum of our modular parts. But eventually these modules became so advanced, and combined in such fruitful and powerful ways, that we fool ourselves into thinking that we have general intelligence, “pure reason.” But at bottom our precious “pure reason” actually still depends more than we realize on domain-specific preconceptions hardwired into our cognitive capacities. That’s what Kant said about geometry and that’s what Chomsky said about language. So in this way we can “save Kant.” The discovery of non-Euclidean geometries was a blow to Kant’s idea of the innateness of geometry. Kant associated the intuitiveness of Euclidean geometry with its innateness. But native languages are intuitive, yet they are not innate. And geometry could be the same, because just as there are many languages there are many geometries. This shows that intuitive and innate is certainly not the same thing, so it calls into question the Kantian story that the mind is constrained by pre-programmed conceptions. We save Kant with the rebuttal that in fact language too is innate after all. Even though there are many languages that all differ in fundamental respects, nevertheless there is some universal languageness that is common to all and without which language learning would be impossible in the first place. Same with geometry. Instead of focusing on the differences between Euclidean and non-Euclidean geometries and concluding from this that no one geometry could be a necessity of thought, we should instead focus on the more fundamental and structural preconceptions common to all geometries, without which any kind of geometry would be unthinkable at all. Or we can put it like this. Thought presupposes language. When you think, you think in terms of words and sentences. Of course thought does not presuppose any specific language. You can think the same thing in English or German. Nevertheless thought does presuppose that you use some language. There is no “pure thought,” or hardly any, that does not involve words. It’s funny: thought cannot exist without language, yet you can switch the entire language and still have the same thought. So there’s both dependence and independence. Kant says basically the same thing but for geometry. You can’t have spatial perception or spatial reasoning without geometrical presuppositions. Just as you can’t think without presupposing some language, so you can’t geometrize without presupposing some geometry. The choice of which language or which geometry you take as the basis for thought is arbitrary. As Kant says, it’s a synthetic a priori, not an analytic a priori. That is to say, it is not logically necessary that we must use Euclidean geometry as the presupposition for all our spatial experience. But it is necessary that we must make some such presupposition. Rememb…

    Full show notes at the publisher

    “Repugnant to the nature of a straight line”: Non-Euclidean geometry Feb 20, 2022
    Show notes

    The discovery of non-Euclidean geometry in the 19th century radically undermined traditional conceptions of the relation between mathematics and the world. Instead of assuming that physical space was the subject matter of geometry, mathematicians elaborated numerous alternative geometries abstractly and formally, distancing themselves from reality and intuition. Transcript The mathematician has only one nightmare: to claim to have proved something that later turns out to be false. There are thousands of theorems in Greek geometry, and every last one of them is correct. That’s what mathematical proofs are supposed to do: eliminate any risk of being wrong. If this armor is compromised, if proofs are fallible, then what’s left of mathematics? It would ruin everything. But the nightmare came true in the 19th century. What had been thought to have been proofs were exposed as fallacies. Top mathematicians had made mistakes. Mistakes! Like some commoner. It’s going to be hell to pay for this, as you can imagine. I’m referring to Euclid’s fifth postulate, the parallel postulate. Euclid’s postulate had rubbed a lot of people the wrong way even since antiquity. It sounds more like a theorem. The earlier postulates were very straightforward: there’s a line between any two points, stuff like that. Very primitive truths. It makes sense that the bedrock axioms of geometry should be the simplest possible things, such as the existence of a line between any two points. The parallel postulate, by contrast, is not very simple at all. It’s not a primordial intuition like the other postulates. It states that two lines will cross if a rather elaborate condition is met. That’s the kind of thing theorems say. This particular type of configuration has such-and-such a particular property. That’s how theorems go in Euclid. Very different from the other postulates, which are things like: any line segment can be spun around to make a circle. So, people tried to prove the parallel postulate as a theorem. Many felt that it should not be necessary to assume the parallel postulate as Euclid had done. The parallel postulate should be a consequence of the core notions of geometry, not a separate assumption. Many people tried to “improve” on Euclid in this way. From antiquity all the way to the 19th century. Around 1800, people like Lagrange and Legendre proposed so-called proofs of the parallel postulate. Those are big-name mathematicians. Their names are engraved in gold on the Eiffel Tower. Lagrange was even buried in the Panthéon in Paris. Elite establishment stuff. But even these bigwigs were wrong. Their proofs contain hidden mistakes. It’s astonishing that this was more than 2000 years after Euclid. People tried to improve on Euclid for millennia. And not a few claimed to have succeeded. But the fact is that Euclid was right all along. The parallel postulate really does need to be a separate assumptions, just as Euclid had made it. It cannot be proved from the other axioms, as so many mathematicians during those millennia had mistakenly believed. The Greeks, you know, they were really something else. It’s so easy to make subtle mistakes in the theory of parallels. History shows that there are a hundred ways to make tiny invisible mistakes that fool even the best mathematicians. Top mathematicians who were never wrong about anything else stumbled on this one issue. Somehow Euclid got it exactly right. He didn’t make any of those hundred mistakes that later mathematicians did. That’s not luck, in my opinion. Arguably, the Greeks were more sophisticated foundational geometers than even the Paris elite in 1800. Unbelievable but true. Euclid’s Elements is not a classic for nothing. Euclid is not a symbol of exact reasoning because of some lazy Eurocentric birth right. Euclid’s Elements really is that good. When Euclid made the parallel postulate an axiom, he seems to be suggesting that it cannot be proved from the other axioms. And he was right. But, as I said, many people had a hunch that he was wrong about this. They thought it would be impossible for the other axioms to be true and the parallel postulate not true. So many mathematicians figured they could prove this by contradiction: Suppose the parallel postulate is false. If we could show that that assumption would contradict other geometrical truths, then the assumption must be false. So this way we could prove that the parallel postulate must be true, by showing that it would be incoherent or impossible for it to be false. Indeed, it was found that negating the parallel postulate had various strange consequences. For example, if the parallel postulate is false then squares do not exist. Suppose you try to make a square. So you have a base segment, and you raise two perpendiculars of equal length from the two endpoints of the segment. Then you connect the two top points of these two perpendiculars. That ought to make a square. In Euclid’s world it does. But proving that this really makes a square requires the parallel postulate. If the parallel postulate is false, one can instead prove that this construction does not make a square but rather a weirdly disfigured quadrilateral. Because the last side of the “square” doesn’t make right angles with the other sides. So even though you made sure you had right angles at the base of the quadrilateral, and that the perpendicular sides were equal, the fourth and final side still somehow manages to “miss the mark” so to speak. It makes non-right angles. It’s as if the sides are sort of bent. It’s as if you had four perfectly equal sticks of wood, but then you stored them carelessly and they were exposed to humidity and so on and they were warped. So now they’re kind of mismatched in terms of length and straightness, and when you try to piece them together to make a square they don’t fit right. They make some wobbly not-quite-square shape. Doing geometry without Euclid’s parallel postulate feels a bit like that. It’s sort of bent out of shape and nothing fits the way it should anymore. One person who investigated this was Saccheri. He wrote a big book discussing this misshaped square and other things like that, in 1733. Saccheri felt that he had justified Euclid’s parallel postulate by examples such as theses. The square that’s not a square and other such deformities, Saccheri declared to be “repugnant to the nature of the straight line.” But one might say that he used this emotional language to compensate or cover up a shortcoming in the mathematical argument. He had indeed showed that if the parallel postulate is false then geometry is weird. Then you have squares that don’t fit, and other things that feel like doing carpentry with crooked wood. But weird is not the same as self-contradictory. Despite their best efforts, mathematicians could not find a clear-cut proof that negating the parallel postulate led to directly contradictory conclusions. This is why Saccheri had to say “repugnant” rather than contradictory. You only get “repugnantly” deformed squares, not direct contradictions such as 2=1 or a part being greater than the whole. Those things would be logical contradictions and you wouldn’t need emotions like repugnance. In fact, a hundred years after Saccheri, mathematicians came to accept that this strange non-Euclidean world of the warped wood is not contradictory. It is coherent and consistent. It is merely another kind of geometry. An alternative to Euclid. People used to shout and scream that all kinds of things were repugnant, such as homosexuality, for instance. That doesn’t really prove anything except the narrow-mindedness of those accusers. Mathematicians had been equally narrow-minded. They had tried to justify the status quo for thousands of years. They had tried to prove that their way of doing things–their geometry–was the only right way. Only in the 19th century did they finally realize that it was much more productive to embrace diversity, to accept all the geometries of the rainbow. For so many years mathematicians could not get away from the idea that the “straight” squares of Euclid were the only “normal” ones, and that the “repugnant” alternative squares of non-Euclidean geometry were birth defects. But they were wrong. Non-Euclidean geometry is as legitimate as any other. It was a creative watershed shift in perspective in mathematics to finally accept this instead of trying to prove the opposite. Here’s how Gauss, the greatest mathematician at the time, put it in the early 19th century. Negating Euclid’s parallel postulate “leads to a geometry quite different from Euclid’s, logically coherent, and one that I am entirely satisfied with. The theorems [of this non-Euclidean geometry] are paradoxical but not self-contradictory or illogical.” “The necessity of our [Euclidean] geometry cannot be proved. Geometry must stand, not with arithmetic which is pure a priori, but with mechanics.” Geometry has become like mechanics in the sense that it is empirically testable. The theorems of geometry are not absolute truths but hypotheses like the hypotheses of physics that have to be checked in a lab and perhaps corrected if they don’t agree with measurements. For example, Euclid proves that the angle sum of a triangle is 180 degrees. But this theorem depends on the parallel postulate, just as Euclid’s proof reveals it to do. In non-Euclidean geometries, angle sums of triangles will be different. So that’s something testable. Measure some triangles to see which geometry is right, just as you drop some weights or whatever in a physics lab to see which law of gravity is right. Let me quote Lobachevsky, one of the other discoverers of non-Euclidean geometry. Here’s how he makes this point in his book of 1855: “[Non-Euclidean geometry] proves that the assumption that the value of the sum of the three angles of any rectilinear triangle is constant, an assumption which is explicitly or implicitly adopted in ordinary geometry, is not a consequence of our notions of space. Only experience can confirm the truth of this assumption, for instance, by effectively measuring the sum of three angles of a rectilinear triangle. One must give preference to triangles whose edges are very large, since according to [Non-Euclidean geometry], the difference between two right angles and the three angles of a rectilinear triangle increases as the edges increase.” So you need big triangles to tell the difference, just as the earth is round but looks flat from where we’re standing because we only see a small part of it. In the same way we need big triangles to detect the nature of space. Therefore Lobachevsky recommends that we should use astronomical measurements for this: “The distances between the celestial bodies provide us with a means for observing the angles of triangles whose edges are very large.” Let’s think about the logical structure involved in the realization that non-Euclidean geometry is possible. It used to be thought that Euclid’s parallel postulate was a necessary consequence of the other axioms. Although Euclid seems to have been wise enough to realize that it was not, others erroneously believed that this was a mistake rather than an insight on Euclid’s part. So the question is: Does the parallel postulate follow from the other axioms? If the answer is yes, then the way to settle matter is to provide a proof, a deduction, starting from the other axioms and ending up with the parallel postulate. So that would be like adding another theorem to Euclid’s Elements. On the other hand, suppose the answer is no, the parallel postulate does not follow from the other axioms. How then could we prove that? It’s very different in this case. It is no longer about proving a theorem. Rather it is about proving that something cannot be proved. It’s much more “meta” than just proving a particular theorem. But here’s how you do such a thing. Consider this analogy. Suppose someone believes that all odd numbers are prime numbers. 3 is prime, 5 is prime, 7 is prime, and so on. So someone has become convinced that all odd numbers are prime numbers, and they set out to prove it. The start with what it means to be odd, and from that information they try to prove that that implies that it must be prime as well. But this is of course wrongheaded. Trying to prove that being prime follows from being odd is just as futile as trying to prove that the parallel postulate follows from the other axioms of Euclid. How could we set this mathematician straight? How could we prove that what he’s trying to prove is impossible to prove? The way to do this is not by some general proof, but by a specific example. Look at the number 9. It’s odd, but it’s still not prime. Because it’s 3 times 3, so not a prime number. The obvious way to interpret this is to say that the guy was wrong with his hypothesis. The claim that being odd implies being prime is false. But from a logical point of view it is interesting to look at it in slightly different terms. Let’s not think about it in terms of right and wrong. Logic doesn’t care about right and wrong. Logic cares only about what follows from what. When logic looks at a proposition, logic doesn’t ask: is it true or false? Logic asks: does it follow from a particular set of axioms? Logic is about entailment relations. What follows from what. Logic doesn’t care what assumptions or axioms you use. It only cares about what follows from those axioms. So in terms of our example with the odd numbers, we shouldn’t focus on the question “are all odd numbers prime numbers?” Instead, from a logical point of view, the better question is: “does being odd entail being prime?” Or “is primeness a logical consequence of oddness?” We had a counterexample: the number 9. From the logical point of view, we interpret this a bit differently. Not as proving the falsity of the conjecture, because we’re not interested in true or false. Instead, what the example of 9 shows is that it is not possible to derive the property of being prime from the property of being odd. When we put it this way, we have an answer to that challenging meta question: How can we prove that it’s impossible to prove something? We just did! It’s impossible to prove primeness from oddness. Because if there was a proof that showed that any odd number must be prime, then that proof would apply to 9, since it’s odd, and it would prove that 9 is prime, which it is not. Therefore no such proof could exist. It was the same in geometry. People thought the parallel postulate was a logical consequence of the other axioms. The way to prove this wrong is to exhibit an example in which the other axioms are true but the parallel postulate is false. Just as in the number theory case we had to find an example where oddness was true but primeness was false. This is indeed what happened. Mathematicians discovered something that corresponded to the number 9. This proved the logical independence of the parallel postulate, just as the number 9 proves that primeness is not a logical consequence of oddness. In the geometry case, the role of the number 9 was played by models of hyperbolic geometry. These are visualizations that prove that there are perfectly coherent worlds in which the parallel postulate is false while all the other axioms of Euclid are true. Once mathematicians started thinking in these kinds of terms, it turned out to be not so difficult to find models like that. Mathematicians really could have done that a lot earlier. Even hundreds of years earlier, or even in Greek times. It’s a bit of an embarrassment that it took so long. Imagine how embarrassing it would be to sit around for hundreds of years trying to prove that all odd numbers are prime numbers, and ranting about how the very idea of an odd non-prime is “repugnant to the nature of an odd number” only to then discover that, whoops, actually there’s a pretty straightforward counterexample right there, the number 9. The mis…

    Full show notes at the publisher

    Rationalism 2.0: Kant’s philosophy of geometry Nov 17, 2021
    Show notes

    Kant developed a philosophy of geometry that explained how geometry can be both knowable in pure thought and applicable to physical reality. Namely, because geometry is built into not only our minds but also the way in which we perceive the world. In this way, Kant solved the applicability problem of classical rationalism, albeit at the cost of making our perception of the world around us inextricably subjective. Kant’s theory also showed how rationalism, and philosophy generally, could be reconciled with Newtonian science, with which it had been seen as embarrassingly out of touch. In particular, Kant’s perspective shows how Newton’s notion of absolute space, which had seemed philosophically repugnant, can be accommodated from an epistemological point of view. Transcript Rationalism says that geometrical knowledge comes from pure thought. Empiricism says that it comes from sensory experience. Neither is very satisfactory, because geometry is clearly both: it’s too good a fit for the physical world to be only thought, and it relies too much on abstract proofs to be only experience. So it seems the “right” philosophy of mathematics must be a little bit of both. But how? Rationalism and empiricism mix like oil and water. They are so different, so opposite, that it seems impossible to find any sort of middle ground that has half of each. Nevertheless there is a golden mean of sorts. The philosophy of Kant. Immanuel Kant, the late 18th-century philosopher. His view of geometry is in a way the best of both worlds: combining the best rationalism with the best of empiricism. Let’s see how he pulled that off. Kant’s theory is another innateness theory. Geometry is innate; it is hardwired into our minds. That’s what the rationalists said too, of course. Innateness was why the uneducated boy in Plato’s Meno could reach substantial geometrical insights without instruction. The innate intuitions of geometry are reliable because God is not a deceiver, said Descartes. And they apply to the physical world, because the Creator put into our minds the same ideas he had used to design the universe, said Kepler and others. But Kant’s innateness is different. He lived a century and a half after Kepler and Descartes, and the reliance on God to support the rationalist worldview had become much less fashionable during the intervening years. And indeed Kant does away with it. By taking geometry to be innate, Kant automatically inherits the best of rationalism. That is to say, he is able to account for the prominent role of pure reason in geometry in a convincing way, just as the earlier rationalists had done before him. But Kant solves the weakness of rationalism very differently. If geometry is innate and susceptible to purely theoretical elaboration, then why does it always agree so well with experience? Not because “God was a geometer,” as Plato and Kepler said. No, Kant’s solution is: Not only are geometrical principles innate in our thoughts, they are also innate in our perceptions. Aha, plot twist! The so-called success of mathematics in the real world is no miracle. It’s a rigged game. Our eyes and our senses are biased. They can only see Euclidean geometry. It’s an illusion to think that we can compare our mathematical deductions with reality. We think we can “test” whether theoretically established theorems are true or not in the physical world; for example, by measuring the sides of right-angle triangles and comparing the results to what Euclid says it should be. But we were naive to think that these two things were really independent. Just as our thoughts are shaped by our innate intuitions, so also our perceptions of physical reality are shaped by the same intuitions. We don’t have direct access to “raw data” about the physical world. When we think we observe the world, we really observe an interpreted version of the world. The mind can only process information that is interpreted or converted to fit a particular format. In terms of geometry, that means Euclidean geometry. We see the world through Euclid-colored glasses. Like those pink sunglasses that John Lennon used to wear. Of course if you wear pink glasses, then everything looks pink. But of course John Lennon could not say: aha, I told you, the world is rosy; I argued theoretically that the world should be rosy, and now I have confirmed by observation of the actual world is in fact rosy, because look how everything is pink. John Lennon would be fooling himself if he argued that way. Euclidean geometry is exactly like that, according to Kant. With experience and observation, we do not discover that Euclidean geometry applies to the real world. What we really observe is our own biases. We discover not facts about the world, but facts about what kind of glasses we are wearing. John Lennon made the world rosy by putting on his glasses, and in the same way we make the world Euclidean by a hidden lens in the mind’s eye. Think of a chili pepper. This pepper proves that Kant was right. How so? Think about it. What are the characteristics of a chili pepper? It’s red. What is red? Is the pepper “really” red? That is to say, is its redness an objective property of reality? Well, yes and no, right? The way science accounts for colors is in terms of wave length of light. What we in our minds regard as red correspond in reality to a particular frequency of light waves. So there’s something there corresponding to red, but our minds put a major interpretative spin on it. Red is really just a wavelength, “just as number,” so to speak. But our minds turn it into something more qualitative. And the mind is very selective as well. The remote control of your TV sends its signal using infrared light, which the minds chooses not to see at all. Even though infrared light is exactly the same kind of thing as the color red from the pepper. They are exactly the same kind of waves, only with slightly different frequencies. “Objectively” they are very similar. But subjectively, in our minds, they couldn’t be more different. One is the color red that is one of the fundamental categories in terms of which we navigate reality, and the other is completely invisible. So perception is very far from direct access to “objective” raw data. The mind interferes very heavily: it selects, transforms, distorts. Maybe when we think Euclidean geometry fits reality it’s only because of this. Only because things that don’t fit a Euclidean mold are as invisible to us as infrared light. The chili pepper is also very hot to taste. Again, is that an objective property of pepper itself, or is it just a subjective matter of how it interacts with our tongues? In fact, birds eat chili peppers and to them they are not hot. Chili peppers evolved to be hot because it’s better to be eaten by birds than to be eaten by mammals. The seeds spread better that way. So chili peppers developed this characteristic of being repellently hot to mammals like us, but but perfectly appetizing to birds. Could it be the same with our geometrical intuitions? “Two lines cannot enclose a space,” Euclid says. The very thought is repellent! Well, maybe that’s just our subjective experience, just as we find it repellent to bite into a hot pepper. Maybe other creatures have completely different geometrical intuitions. Just as birds think pepper are not hot, maybe they also think space has five dimensions or whatever. Who knows. Different animals can have all kinds of different intuitions and modes of perception that fits the way they navigate the world, the way they find food, and so on. Maybe Euclidean geometry is just something that happened to be convenient to us, just as night vision is convenient to a cat, or a heightened sense of smell is to a dog. That would make geometrical experience quite subjective. Or at least subjectively contaminated, or entangled with subjective factors. This is how Kant is able to bridge the gap between rationalism and empiricism. We can sit in a closed room and figure out in our heads geometry that then turns out to be true in the real world. Because, says Kant, what is really happening is that the mind is analyzing itself. What we discover through geometrical meditation is not objective facts, but facts about the geometrical preconceptions hardwired into our minds and the consequences of those conceptions. And these results apply to the world not because they are really out there but because our perception actively processes and converts and interprets any sensory input in Euclidean terms. As Kant himself says: “Space is not something objective and real; instead, it is subjective and ideal, and originates from the mind’s nature as a scheme, as it were, for coordinating everything sensed externally.” “It is from the human point of view only that we can speak of space, extended objects, etc.” In the introduction I framed the issue in a way that is flattering to Kant. I said: Everybody knew that you needed some kind of middle ground between rationalism and empiricism, but no one could figure out how to do it. Until Kant, he finally cracked the nut. But maybe that’s the wrong way to look at it. It often is, this kind of narrative. “Everybody tried to do such-and-such but no one could do it, until finally one guy was smart enough to figure it out.” That’s not usually how history works. If we look into the details we often find that contextual factors explain why key steps happened at certain times. It’s true that everyone knew that neither rationalism nor empiricism were perfect for hundreds of years. And Kant’s proposal is certainly a very clever way of tackling that problem. So why did it take all the way to the late 18th century before these ideas were proposed? We already mentioned some relevant factors. Kant makes geometrical knowledge in a sense subjective. That’s a major disappointment, one might say. Most philosophers had certainly hoped to be able to defend a much grander claim. Kant “solves” the rationalism-empiricism problem only by as it were belittling geometrical knowledge, which is a very high price to pay. The main alternative, as we have seen, was to give God a major role in epistemology. So there’s a trade-off: either you pin geometry to God and you can have it be the most amazing thing, the most perfect knowledge, or else you detach it from God and make it stand on its own legs, but then it’s a lot weaker; it’s a mere subjective human thing and no longer this almighty pinnacle of pure intellect. The exchange rate, as it were, between these two options fluctuated over time. As God became less popular, the cost of switching to Kantianism went down. But there’s another reason too why Kant’s theory made more sense in the 18th century than in the 17th. Namely what we said before about how Newton’s science was a blow to rationalism. We spoke about how that was the case. Rationalism requires knowledge to be generated from within the mind. All knowledge needs to be gradually built up from the most simple intuitions, according to the rationalist point of view. In geometry, that meant ruler and compass and other tools for generating geometrical objects. In physics, it meant contact mechanics; that is to say, seeing complex physical phenomena as an aggregate of lots and lots of little collisions of bodies. Newton’s physics cannot be reduced to contact mechanics. Or to any other simple intuition. It is in fact counterintuitive. So it cannot be generated from within the mind, through an elaboration in thought of the most undoubtable truths. This is why Newtonian physics is a problem for rationalism. But the story is a bit more general than that. In fact, Newton’s physics can be seen as a blow to philosophy altogether. From the rationalist point of view, philosophy comes before science. You start with general philosophical thought. “I think therefore I am”: That’s a very general philosophical truth, and you start there because it’s the most knowable. You start by asking yourself what kinds of things are knowable. From that starting point you arrive at the idea that in physics one of the most primitive knowable things is the contact mechanics of bodies. From this point of view, philosophy is the boss of science. Philosophy is telling science what to do. Before even starting on science, you have already determined through introspection and meditation what the primitive intuitions of physics are. Any science that follows needs to conform to these predetermined rules that philosophy has established beforehand. From a rationalist point of view, this makes sense. If knowledge fundamentally comes from within the mind, it makes sense to work from the inside out; to start with the most general philosophical core and then build on that to get to things like physics and other stuff that are more connected to the outside world. That’s a core commitment of the rationalist worldview. This is why it requires philosophy to be prior to science, and the boss of science. Newton does it the other way around. To him, science is the boss of philosophy. This is a natural consequence of his empiricist, “reading backwards” mindset that we have emphasized before. Thought starts not with inward reflection on our basic intuitions, but in the wild jungle of complex phenomena. Science reasons as it were backwards from there to discover the basics principles, such as axioms of geometry and fundamental laws of physics. If you continue this process one further step you get to philosophy. Just as the laws of physics are whatever is needed to explain the phenomena, so the principles of philosophy are whatever is needed to make that physics possible. So philosophy is subordinated to science. It doesn’t tell science what to do, but the other way around. To the rationalists, philosophy set the ground rules that science must obey. To the empiricists, to Newton, philosophy merely describes what assumptions are necessary for science after science has already been established. To the rationalists, philosophy is prescriptive: it gives orders, it says how science has to be. To the empiricists, philosophy is descriptive: it’s an observer, a backseat journalist, that merely says how science is, without having any influence over it. So we see how the basic outlooks of rationalism and empiricism imply these opposite views of the relation between science and philosophy. And Newton’s physics was extremely successful. So its success lent credibility to the empiricist outlook overall, including the demotion of philosophy. But in fact this is still not the end of it. There is yet another respect in which Newton’s physics dealt an additional death blow to philosophy. Namely on the issue of absolute versus relative space. Newton clashed with Descartes and Leibniz on this issue as well. It goes like this. What can we know about the spatial properties of a body, such as its position and velocity? Descartes and Leibniz were relativists about space. Everything we could ever know about positions and velocities of bodies is relative. That is to say, you can only specify the position or speed of a body by comparing it to another body. The chair is so-and-so far from the table. The train is moving away from the station at such-and-such a speed. You cannot speak of the position of the chair or the speed of the train without comparing it to something. You need to relate it to some reference point. Descartes and Leibniz insisted on this. Here’s how Descartes puts it: “The names ‘place’ or ‘space’ only designate its size, shape and situation among other bodies.” “So when we say that a thing is in a certain place, we understand only that it is in a certain situation in relation to other things.” Leibniz agreed. “Motion is nothing but a change in the positions of bodies with respect to one another, and so, motion is not something absolute, but consists in a relation.” It takes two to tango, and it takes two bodies to be able to speak of position and velocity. Be…

    Full show notes at the publisher

    Rationalism versus empiricism Sep 18, 2021
    Show notes

    Rationalism says mathematical knowledge comes from within, from pure thought; empiricism that it comes from without, from experience and observation. Rationalism led Kepler to look for divine design in the universe, and Descartes to reduce all mechanical phenomena to contact mechanics and all curves in geometry to instrumental generation. Empiricism led Newton to ignore the cause of gravity and dismiss the foundational importance of constructions in geometry. Transcript Here’s a fundamental problem in the philosophy of mathematics. You can sit in an isolated room, in an arm chair, and prove theorems about triangles, such as the angle sum of a triangle or the Pythagorean theorem. When you do this, you have the feeling that you have established these results with absolute certainty. You feel that they must be true because of how compelling the proof is. And you feel that you have established this by thought alone, by purely intellectual means. Mathematics is unique in this respect. In other subjects, thinking is a powerful tool, but it is always supplemented by observation and experience. If you spent your whole life isolated in a locked room, you would not be able to say anything about the laws of astronomy or the anatomy of the digestive system, because without observation, with only pure thought, it is impossible to even get started in those field. But you could figure out everything about triangles. If one day you were released from your prison where you had been sitting for decades, you could go out and measure actual triangles and you would find that, indeed, their angle sum is always two right angles, the Pythagorean theorem always holds for right-angle triangles and so on. Just as you had predicted by pure thought. This is a bit of a mystery. Because it shows that there are two sides of mathematics that are difficult to reconcile. On the one hand, the internal, mental conviction that mathematics establishes absolute truths purely by reasoning. On the other hand, the external, physical fact that mathematics works in the real world. What is the bridge between these two worlds? It is as if there is a natural harmony between our minds and the outer world. What is the cause of that harmony? These two poles can be called rationalism and empiricism. Rationalism takes mathematics to be fundamentally a matter of pure thought. This fits well with the sense we have when doing mathematics, when reading Euclid, that we are establishing absolute truths by sheer reasoning. But it doesn’t explain why mathematics works so well in the physical world. We have encountered some rationalists already: Plato, Descartes. We saw how Descartes solved the problem. Mathematics is pure thought, and it works in the physical world because the Creator put mathematical ideas in our minds. As the Bible says, “God created man in his image.” That is to say, God created the world based on mathematical ideas, and then created humans and sort of pre-programmed their minds with the same kinds of ideas that he had used to create the world. So no wonder there’s a harmony between the mental and the physical worlds: they both stem from the same source, the Creator, who used the same principles when designing both. Descartes said basically this quite explicitly, as we recall. Plato pretty much hints at the same idea. God is a mathematician. That is a central belief in Platonist thought as well. And it is a necessary thesis for the rationalists to explain why mathematics works so well. We have already encountered some empiricist as well: Aristotle, Francis Bacon. They think knowledge ultimately comes from the world around us. From that point of view, it is no mystery that mathematics works on physical triangles. It stems from physical experience to begin with, so of course it conforms to physical experience. The challenge for the empiricists is instead to explain the mental experience of doing mathematics; our feeling that it brings absolute truth by pure thought in a way that no other subject does. From the empiricist point of view, this feeling is a mistake, a delusion. We think we are doing pure thought, but actually mathematical thought is generalized experience. We think we can sit in a closed room, an arm chair, and figure things out about an outside world that we have never even seen. But it only feels that way. We have seen and touched many lines and triangles and squares our entire life, since the year we were born. We have internalized this experience. It has become second nature to us. Basic truths of geometry, such as Euclid’s axioms, may feel like core intuitions that are much more pure and absolute and undoubtable than things we know from experience. But that feeling is a delusion, according to the empiricists. Our minds, our feelings have imperfect self-awareness. Just as we are not aware through introspection how our digestive system works, so we are not conscious of the psychological origins of our mathematical intuitions. I think we can agree that rationalism and empiricism both face big challenges. The challenge for rationalism is to explain why mathematics applies to the physical world. Traditional rationalism had an answer that was very compelling at the time: the explanation in terms of God, the Creator. But nowadays we may want an atheistic answer. And then rationalism is back to square one, facing the original problem all over again, without any solution in sight. Empiricism doesn’t have that problem, but it has other ones. If mathematics comes from experience, how can it seem so absolute and undoubtable? How can an exact science come from inexact sensory impressions? If mathematics is based on experience like everything else, why does it seem to be such a different kind of knowledge in so many respects? Those are challenges for the empiricist to answer. It matters how you answer these questions. It shapes the kind of science that you do. Consider for instance Kepler, the 17th-century astronomer. He was another rationalist. As Kepler says: “Nature loves [mathematical] relationships in everything. They are also loved by the intellect of man who is an image of the Creator.” That’s almost word for word how I described the rationalist position just moments ago. Kepler felt that the world was designed with the intent that we should study the universe mathematically. As he says: “Whenever I consider in my thoughts the beautiful order [of the universe] then it is as though I had read a divine text, written onto the world itself saying: Man, stretch thy reason hither, so that thou mayest comprehend these things.” In fact, scientific facts support this view, in Kepler’s opinion. For example, as he says, “Sun and moon have the same apparent sizes, so that the eclipses, one of the spectacles arranged by the Creator for instructing observing creatures in the orbital relations of the sun and the moon, can occur.” That is indeed a striking fact: that the moon is exactly the right size to precisely block out the sun at the moment of a solar eclipse. From the point of view of modern science, this is a remarkable coincidence. It’s pure chance that the moon is exactly the right size. You can understand why the explanation in terms of purpose was more compelling in Kepler’s time. Witnessing a solar eclipse is a spiritual experience. It all seems so perfect. Much too perfect to chalk it up to chance. It’s very disappointing that modern science offers nothing more than this non-explanation of such an emotionally compelling spectacle. And not just modern science. Such views were around already in Kepler’s time. Atomism is a classical worldview that is indeed happy to attribute almost everything, eclipses included, to chance and randomness. According to Kepler’s teacher, Melanchthon, such views “wage war against human nature, which was clearly founded to understand divine things.” So here we have again that double challenge to empiricism. If mathematics is just one type of knowledge among many that we pick up from experience, then, first of all, why does the universe show so many signs of being mathematically designed? Like the thing with the eclipses, but there are also countless other examples one could use to make this point. Empiricism has no answer to this. It thinks that’s all just a bunch of coincidences, and we are just fooling ourselves by looking for purpose and design that isn’t there. And secondly, if empiricism is right, and mathematics is just experiential knowledge like everything else, then why does mathematical reasoning feel so uniquely compelling and convincing? As Melanchthon says, mathematics is as natural to a human being as “swimming to a fish or singing to a nightingale.” Just as animals are born with these instincts, so our minds are innately predisposed to do mathematics. Empiricism does not explain why that is the case, or why that seems to be the case. So it’s understandable that Kepler was a convinced rationalist instead. And this conviction shaped his scientific work. Astronomers are “priests of the book of nature,” as Kepler said. So he was always looking for meaning and purpose and design. For example, the telescope was a new invention in Kepler’s time, and it was a big moment when the moons of Jupiter were discovered. Kepler immediately looked for the purpose behind the existence of these moons. He concluded that Jupiter must be inhabited. Why else would it have moons? As Kepler says: “For whose sake, the question arises, if there are no people on Jupiter to behold this wonderfully varied display with their own eyes? We deduce with the highest degree of probability that Jupiter is inhabited.” Another of Kepler’s attempts at uncovering divine design was his theory of planetary distances. According to Kepler, the Creator had chosen the number and position of the planets according to a very beautiful and pleasing mathematical design. Namely, a plan based on the five regular polyhedra. Euclid discusses the regular polyhedra at length in the Elements. There are precisely five of them, as Euclid indeed proves in the very last theorem of the Elements. Kepler figured God was as fascinated by these shapes as Euclid had been. So when God asked himself how many planets there should be in the solar system, and how far from the sun to put them, God figured that the most mathematically pleasing way would be to choose six planets, and to have the spaces between them chosen in such a way that the five regular polyhedra fit between them like a nesting doll. Kepler’s theory in fact fit the data very well. You could calculate planetary distances from astronomical measurements, and you could calculate size proportions of the regular polyhedra from Euclid’s Elements. If you put these things side by side in two columns they come out remarkably close to one another. So again Kepler explained things that modern science doesn’t explain at all. Why are there six planets? Why are they positioned at those particular distances form the sun? Why does the moon fit precisely on top of the sun during an eclipse? Kepler explained all of these things. If you accept the basic outlook that it makes sense to think of the creator of the universe as a Geometer, then Kepler’s explanations are very good. This is Kepler, the best mathematical astronomer of his age. These are not some whimsical religious musings. It’s very serious science. Very good science, one might argue. Meanwhile, modern science doesn’t explain any of these things. There is no explanation, there is no why, according to modern science, of course. It’s all just chance. The solar system was formed by a bunch of random rocks getting caught in a gravitational field. Whatever positions they took up is just random. It’s easy for us to judge Kepler. But shouldn’t science explain more things as it develops? Not fewer things. You would think that science should take things that are not explained and explain them. Instead of taking things that are already explained and attributing them to coincidence instead. And yet that is precisely what happened when Kepler’s theories were abandoned. In any case, this Kepler stuff is interesting for all kinds of reasons, but for our purposes, what I wanted to show was that it matters whether you are a rationalist or an empiricist. Rationalism, as we saw, almost requires the hypothesis that God was a Geometer, just as Plato and Descartes and Kepler all said. And that assumption has major implications for how you practice mathematical science. It suggests looking for deliberate design put into the world by a mind that is essentially like our mind, as far as mathematics is concerned. So that’s one way in which the rationalism-empiricism divide strongly shaped scientific practice in the early 17th century. But that was not the end of it. Here’s another example: the contrasting ways in which Descartes and Newton approached cubic curves. Cubic curves are the next step beyond conic sections. Conic sections are curves of degree 2. They were studied in great depth by the Greeks. Cubic curves are called cubic because that have degree 3. So they are the more complicated cousins of the conic sections. In the 17th century, this was natural direction to take geometry: to understand curves of degree 3 and higher in the same depth that the Greeks had understood conic sections. For instance, conic sections come in three classes: ellipse, parabola, hyperbola. Can one find an analogous way of classifying cubic curves? There are going to be more classes because cubics are more complicated. But maybe with the right principle of taxonomy one can impose order among their variety in way that is as useful as the division into ellipse, parabola, and hyperbola is in the theory of conics. Newton did precisely this. He gave a very detailed and advanced technical study in which he classified cubic curves in several different ways. He divided cubic curves into “species” as he says. That’s Newton’s own term, and it’s a vivid one. Taxonomising curves into “species” makes Newton sound like a pioneering explorer-scientist forging into unknown jungles and studying all the strange creatures. When you find a new exotic insect, you put it under a microscope and study all its properties. How many legs does it have, how many eggs does it lay, and so on. It’s the same when studying curves. How many crossing points, how many inflections points, and so on. It’s the zoology of mathematics. This metaphor fits very well with the epistemological ideals of empiricism. You learn by studying the great diversity of things out there. Into the jungle! That’s the call of empiricism. That’s how you learn things. By immersing yourself in the unknown. “The best geologist is one who has seen the most rocks.” That’s another slogan of empiricism. Experience is the source of knowledge, in other words. If you want to understand rocks, you need to look at a whole lot of rocks. And if you want to understand cubic curves, you need to look at a whole lot of cubic curves, first of all. Once you have built up a store of experience, then maybe you will see some patterns starting to emerge and you can begin the process of systematising or taxonomising the “rocks.” Empiricism is all about diving in at the deep end and figuring it out as you go. This corresponds to reading Euclid backwards. You start with the complicated stuff, the Pythagorean theorem and such things. Those kinds of things are the exotic beasts that you encounter “in the jungle.” Gradually, you seek to bring order into the chaos by finding general principles that account for the phenomena you observe. That’s empiricism. And it’s completely backwards according to rationalism. That’s not how you learn things. You can’t start with observations, with the phenomena. Perception is unreliable. Aimless exploration unguided by the intellect is bound to be a waste of time leading nowhere. The way to knowledge is thinking. To “meditate,” as people used to say.…

    Full show notes at the publisher

    Cultural reception of geometry in early modern Europe Jul 10, 2021
    Show notes

    Euclid inspired Gothic architecture and taught Renaissance painters how to create depth and perspective. More generally, the success of mathematics went to its head, according to some, and created dogmatic individuals dismissive of other branches of learning. Some thought the uncompromising rigour of Euclid went hand in hand with totalitarianism in political and spiritual domains, while others thought creative mathematics was inherently free and liberal. Transcript Gothic architecture is known for its pointed arches. Unlike round arches like a classical Roman aqueduct for example. Those are semi-circular, but Gothic arches are steeper, pointier. Gothic buildings, cathedrals, have these arches everywhere: windows, doorways, and so on. Gothic arches consist of two circular arcs. You can make it like this. First make a rectangular shape. Like a plain window or door. A boring old rectangle. Now let’s spice it up. Take out your compass, and put it along the top side of the rectangle. Draw two circular arcs going up above the rectangle. Use the top side of the rectangle as the radius, and its two endpoints as the two midpoints of the two arcs you are drawing. The two arcs make a pointed extension of the rectangle. Now you have your Gothic window. If you have your Euclid in fresh memory you will recognize at once that this is precisely the type of construction involved in Proposition 1 of the Elements. Coincidence? No, I don’t think so. The Gothic style of architecture arose in Europe in the early 12th century, within a decade or two of the first Latin translation of Euclid’s Elements. If that’s not cause and effect, it‘s an incredible coincidence. There is little direct documentation about this, but, I am quoting now from Otto von Simson’s book The Gothic Cathedral, “at least one literary document survives that explains the use of geometry in Gothic architecture: the minutes of architectural conferences held in 1391 in Milan. The question debated at Milan is not whether the cathedral is to be built according to a geometrical formula, but merely whether the figure to be used is to be the square or the equilateral triangle. The minutes of one particularly stormy session relate an angry dispute between the French expert, Jean Mignot, and the Italians. Overruled by them on a technical issue, Mignot remarks bitterly that his opponents have set aside the rules of geometry by alleging science to be one thing and art another. Art, however, he concludes, is nothing without science, ars sine scientia nihil est. This argument was considered unassailable even by Mignot’s opponents. They hasten to affirm that they are in complete agreement as regards this theoretical point and have nothing but contempt for an architect who presumes to ignore the dictates of geometry.” So the geometrical ethos was very strong indeed. This hardline view probably softened a bit over time. Renaissance art is more expressive, emotive, more alive, one might say, than this rigid late medieval stuff. That’s if we fast-forward two hundred years from these Gothic conferences about how art is nothing without geometry. Then you have people like Michelangelo who said: “the painter should have compasses in his eyes, not in his hands.” I suppose it means that art should go a little more by feeling and intuition, and not be completely dictated by mathematics. But you still have “compasses in your eyes,” so there’s still a very significant role for geometry, it seems. It is also revealing, perhaps, that Michelangelo thought it was important to point this out at all. I guess there were a lot of artists with compasses in their hands running around back then. Why else would Michelangelo feel the need to criticise that practice? In fact, geometry proved useful to art again, in new ways, in the Renaissance. At this time artists discovered (or perhaps rediscovered) the geometrical principles of perspective. Accurate representation of depth in a painting follows simple geometrical principles. The key construction is that of a tiled floor. Like a chessboard type of pattern of floor tiles, but seen in perspective, so tiles that are further away appear smaller in the picture. There are a lot of tiled floors in Renaissance art, because they are great for conveying a sense of depth. You draw it like this. Draw two horizontal lines: one is where the floor starts, and one is the horizon. Divide the floor line into many equal pieces, representing the size of the tiles. Connect all these points to a fixed point on the horizon. This is because all the parallel rows of the floor will appear to converge in one point, just as whenever you are looking at parallel lines that go off into the distance, such as railroad tracks for instance, they appear to meet at the horizon. Next, draw a second horizontal line representing the other edge of the front row of floor tiles. Now here comes the magic step. Draw the diagonal of the first tile, and extend it. Where this line cuts the other lines you have already drawn, those are all corners of other tiles. This is because of the geometrical principle that a straight line, no matter how you look at it, from whatever angle, will always still be straight. A lot of stuff looks funny in perspective: big things can look small, parallel lines appear to meet, perfectly round things appear to be oval, and so on. Perspective distorts shapes in all kind of ways. But straight lines remain straight lines. That is an invariant in all of this. This is why the diagonal of the first floor tile is also the diagonal of successive tiles. Since that makes a straight line in the real world, it must make a straight line in the picture as well. Once you have this diagonal it is easy to complete the rest of the floor. It looks great. It creates a photorealistic sense of depth. No wonder so many artists chose to set their scenes in locales that just happened to have lots of tiled floors. But the insight is much deeper than this. It’s not really about tiled floors; it’s about the correct perspective representation of depth and size generally. Even if you don’t want a tiled floor in your finished picture, it’s still very useful to draw one in pencil on your canvas as a reference grid. You can use the tiles as a guide to transfer and compare sizes at different depths and distances. Then later you can paint it over with some trees or whatever, so nobody can see the grid anymore; you just used it behind the scenes to get the proportions right. The Greeks probably knew about this stuff, but basically no paintings from antiquity have been preserved. But we know they were skilled artists. One guy is said to have painted grapes so realistically that birds came and pecked at it. It seems the Greeks knew the geometrical principles of perspective and used it to creates scenes for the theatre for example. As Vitruvius says, “by this deception a faithful representation of the appearance of buildings might be given in painted scenery, so that, though all is drawn on a vertical flat facade, some parts may seem to be withdrawing into the background, and others to be standing out in front.” This wasn’t just a party trick to the Greeks. It also had philosophical implications. To Plato they raised profound epistemological conundrums. He was concerned that optical illusion painting has “powers that are little short of magical,” “because they exploit this weakness in our nature,” bypassing “the rational part of the soul.” The solution to this problem, as Plato saw it, was a solid mathematical education. Since “sense perception seems to produce no sound result” with these illusory paintings, “it makes all the difference whether someone is a geometer or not.” “The power of appearance often makes us wander all over the place in confusion, often changing our minds about the same thing and regretting our actions and choices with respect to things large and small.” “The art of measurement,” by contrast, “would make the appearances lose their power” and “give us peace of mind firmly rooted in the truth.” Those are all Plato’s words. A rousing case for mathematics! But Plato perhaps drew his conclusions a step too far, rejecting categorically the role of observational data in science: “there’s no knowledge of sensible things, whether by gaping upward or squinting downward.” Science must be based on “the naturally intelligent part of the soul,” not observation. For example, “let’s study astronomy by means of problems, as we do geometry, and leave the things in the sky alone.” With such attitudes, perhaps it is no wonder that the Greeks excelled more in mathematics than in the sciences. But indeed the threat of optical illusions is a legitimate argument in Plato’s defense. When the principles of perspective were rediscovered in Renaissance Italy, they were again at the heart of scientific developments, but this time on the side of empirical science. Galileo looked at the moon through a telescope and concluded that it had mountains and craters. Of course the image one sees through a telescope is flat. But mountains and craters are revealed by the shadows they cast. This is not necessarily very easy to see, or not necessarily a very evident conclusion. Some scholars have argued that the artistic tradition, and its extensive study of perspective and shadows, was a necessary training for the eye to be able to correctly interpret the telescope data. Is it a coincidence that Galileo the telescopic astronomer came from the same land as the great Italian Renaissance painters? Galileo was born and raised in Tuscany, right where so many of these masters had worked. Maybe only someone immersed in this artistic culture had the right eyes to interpret the heavens. A far-fetched theory, in my opinion, but it’s a nice story. Let’s put aside the art stuff now and look at another theme in how mathematics was received in the early modern world. Namely, the status of mathematics in relation to other fields. Geometry carried a certain authority. This led to many tensions. Let’s jump right into the action, with an eyewitness report from 1703. “There has been much canvassing and intrigue made use of, as if the fate of the Kingdome depended on it.” “On the eve of Newton’s election as president [of the Royal Society], matters had deteriorated to such an extent that various fellows could be restrained only with difficulty from a public exchange of blows (or, in one case, the drawing of swords).” Yikes. So what was this conflict on which “the fate of the Kingdome” depended? It was a battle between the mathematical and the non-mathematical sciences within the Royal Society in London. The “philomats” who identified with Newton thought the non-mathematical sciences were hardly science at all. Botany, geology, stuff like that. They just collect data and write down obvious things. There’s no real thinking involved, no advanced theoretical progress, no genius. Here’s how they put it, when they made the case that Isaac Newton, the great mathematician, ought to be the new president of the society to ensure its intellectual quality: “That Great Man [Newton] was sensible, that something more than knowing the Name, the Shape and obvious Qualities of an Insect, a Pebble, a Plant, or a Shell, was requisite to form a Philosopher, even of the lowest rank, much more to qualifie one to sit at the Head of so great and learned a Body.” So science is divided into two camps: mathematical geniuses like Newton, and then people who just know the names of a bunch of insects. As you can imagine, the other side saw it rather differently. They identified with Francis Bacon, who had complained about “the daintiness and pride of mathematicians, who will needs have this science almost domineer over Physic. For it has come to pass, I know not how, that Mathematics and Logic, which ought to be but the handmaids of Physic, nevertheless presume on the strength of the certainty which they possess to exercise dominion over it.” So mathematicians have an inflated ego. They are so full of themselves that they think they have the right to tell others how to think. Here’s how this point was put in 1700: “The World is become most immoderately fond of Mathematical Arguments, looking upon every thing as trivial, that bears no relation to the Compasse, and establishing the most distant parts of Humane Knowledge, all Speculations, whether Physical, Logical, Ethical, Political, or any other upon the particular results of number and Magnitude. In any other commonwealth but that of Learning such attempts towards an absolute monarchy would quickly meet with opposition. It may be a kind of treason, perhaps, to intimate thus much; but who can any longer forbear, when he sees the most noble, and most usefull portions of Philosophy lie fallow and deserted for opportunities of learning how to prove the Whole bigger than the Part.” So mathematics corrupts mind and soul by fostering delusions of grandeur, and by focusing on obscure technical questions instead of on what is really important. Roger Ascham made a similar point in 1570: “Some wits, moderate enough by nature, be many times marred by over much study and use of some sciences, namely arithmetic and geometry. These sciences sharpen men’s wits over much. Mark all mathematical heads, which be wholly and only bent to those sciences, how solitary they be themselves, how unapt to serve in the world.” Meanwhile, the mathematicians, for their part, thought that an exclusive focus on the merely practical is anti-intellectual and beneath a true thinker. Others scientists may use basic mathematics, but the real accomplishment is to understand it. Mathematician William Oughtred put it like this: “The true way of Art is not by Instruments, but by demonstration. It is a preposterous course of vulgar Teachers, to beginne with Instruments, and not with the Sciences, and so to make their Schollers onely doers of tricks, and as it were jugglers.” Very relatable for a modern mathematics teacher. Students are so dependent on calculators that they are “onely doers of tricks.” That’s what you get when mathematics is not respected as an end in itself, but only as a tool for what is practically useful. There’s an interesting twist to this story though. Part of what these opponents of mathematics were attacking was the pedantic focus on theoretical subtleties. Instead of tackling real problems, mathematicians sit around and muse about nuances of definition and postulates that only matter for very subtle foundational debates, not for actual problem solving. A valid critique, you might say, after reading Euclid with all his foundational pedantry. But here’s the twist: Many mathematicians didn’t like that stuff either. Many mathematicians in the 17th century felt that the Greek geometrical style was much too formal. They recognized the value of the Euclidean style for foundational investigations, but they felt that creative mathematics must be much more free and loose. Here’s how Clairaut put it in the 18th century: “[Euclid’s] geometry had to convince stubborn sophists who prided themselves on refusing [to believe] the most evident truths. It was necessary then that geometry have the help of forms of reasoning to shut the idiots up. But times have changed. All reasoning which applied to that which good sense knows in advance is a pure loss and serves only to obscure truth and disgust the reader.” This fits pretty well with what we have said about the Greek context. Euclid’s special style of geometry arose in a critical philosophical climate. Mathematicians had to anticipate attacks from philosophers who wanted to undermine the entire notion that geometrical reasoning was a rigorous way of finding truth. Without this external pressure from philosophy, mathematicians may have been happy with a much more informal style, as they were in other cultures and societies. And as indeed they became again in the 17th century. Almost all mathe…

    Full show notes at the publisher

    1 2 3 4 Next

    Related Podcasts

    More or Less

    1

    More or Less Business
    Breaking Math Podcast

    2

    Breaking Math Podcast Mathematics
    Relatively Prime: Stories from the Mathematical Domain

    3

    Relatively Prime: Stories from the Mathematical Domain Mathematics
    My Favorite Theorem

    4

    My Favorite Theorem Mathematics
    Sum of All Parts

    5

    Sum of All Parts Mathematics
    Casual Inference

    6

    Casual Inference Mathematics
    footer-logo

    Contact Us

    Toll Free: 844-670-7747

    Links

    • Home
    • Top Charts
    • Networks
    • Apps
    • Independents Podcasts
    • Podcast Advertising
    • Podcast News
    • Contact Us
    • About Us
    • Analytics & Insights

    Stay Connected

      Privacy, Terms of Use & Our Code of Ethics Protecting Content Creators Copyrights