Posts Tagged ‘Math’
“Things that are so far removed from our daily experience… are inherently hard to understand”*…
That’s certainly true of numbers. And as the numbers grow, the cognitive challenges grow with them. (Indeed, by way of example: 1 million seconds, is roughly 11.5 days; 1 billion seconds is almost 32 years.)
We’ve looked before at the mysterious extremes of math: zero and infinity [and here]. But as Dan Falk reminds us, the numbers in between can seem pretty strange as well– especially the extremely large ones. In a review of Richard Elwes‘ Huge Numbers: A Story of Counting Ambitiously, From 4½ to Fish 7, Falk spotlights some of the largest numbers humans have ever contemplated…
… Aficionados of huge numbers are called “googologists,” a reference to the number 10100, known as a googol. Such numbers have a peculiar sort of existence. For the vast majority of us, they’re of limited everyday value. Calculations at the supermarket checkout, or at tax time in April, typically involve far more modest figures. Perhaps we’ve read that the U.S. national debt is in excess of $38 trillion — a mind-numbing figure, to be sure, but it’s not as though any one individual needs to count it up in stacks of $20 bills.
And yet, much larger numbers await those who seek them out. Consider the kinds of numbers that crop up in problems involving combinations and permutations. For example, in how many distinct ways can one shuffle a deck of cards? Elwes takes us through the calculation, and we end up with a figure of about 8×1067. Compared to that number, the odds of getting a royal flush when dealt a five-card poker hand seem pretty decent, sitting at a mere 1 in 649,740 (still rare enough that many poker players have never held such a hand). Or consider that famous 1980s cultural touchstone, the Rubik’s cube. In how many ways can one scramble the cube? It turns out that the figure is about 43 quintillion, or 4.3×1019 — but in spite of that ridiculously large figure, people do routinely solve the puzzle, and champions can do it in mere seconds. In fact, as Elwes explains, no Rubik’s cube arrangement is more than 20 moves away from any other arrangement.
Or consider the age of the universe, estimated to be about 13.8 billion years. This may seem like a lengthy span of time, but our cosmic future is where the really big numbers come up. Elwes examines the so-called heat death of the universe, in which all matter has broken down into subatomic particles. We may reach this point in [10 raised to the 10th power, raised again to the 120th power] years — this dizzying figure is 10 raised to the power of 10120 — at which point, Elwes says, the universe will have ballooned up to a diameter of 10 to the power of 10 to the power of 10120 light years. (Yes, that’s [10 raised to the 10th power, again to the 10th power, then to the 120th power] light years.) Elwes adds a footnote: “At this point, the choice of units hardly matters; the distance is so immense that whether we choose to measure it in Planck lengths or giga-light years makes little difference.” Let that sink in!
As mind numbing as such figures are, the highest numbers contemplated by humans come not from physics but from pure mathematics and computer science. Like “Graham’s number” — an immense figure put forward as the upper-bound for solutions to a problem in a branch of mathematics known as Ramsey theory. Some readers may find the ensuing discussion of multi-dimensional hypercubes a bit challenging, but one can enjoy the payoff regardless: We end up with a number that can’t even be expressed in conventional notation, and which earned a mention in the 1980 edition of the “Guinness Book of World Records” as “the highest number ever used in a mathematical proof.”
Reading this book is a little bit like sitting in the back row of an auction house where a rare Picasso (let’s say) is up for grabs: How high is this thing going to go? And indeed, Elwes keeps going. We eventually meet the so-called busy beaver numbers, a set of numbers that crop up in theoretical computer science, when one tries to deduce whether a particular computer program will eventually stop, or keep going forever — a conundrum known as the “halting problem.” As Elwes explains, it’s not at all straightforward to distinguish the two types of programs (and if it was, it would help mathematicians tackle some of the most vexing problems in their field).
The fifth busy beaver number, known as BB(5) — associated with a computer program that can access five internal states — works out to 47,176,870. And that’s as far as we’ve gotten, Elwes explains. No one has worked out the value of BB(6), but he assures us that it’s beyond the range of any physical computer; and BB(16) leaves even Graham’s number in the dust.
But wait, there’s more! “Rayo’s number,” concocted by Agustín Rayo — a dean and professor at MIT — using set theory, is bigger still (here’s a fun video about it); and “Fish 7,” mentioned in the book’s subtitle, named for a Japanese googologist who goes by the pseudonym “Fish,” builds on Rayo’s number, and … well, the details are not easily digested, but the mind-melting nature of these numbers comes across as a feature, not a bug, of Elwes’s story… the narrative is enlivened by explorations of the peculiarities of math history…
… Archimedes tried to estimate how many grains of sand would be needed to fill up the known universe, back in the third century B.C. Did he simply have too much time on his hands? Not at all, insists Elwes: The Greek thinker was articulating an important idea — that no matter how unfathomably large a quantity may be, we can describe it with precision, thanks to mathematics. “Archimedes,” he writes, “was penning a manifesto for the expressive power of large numbers.”…
… [Elwes focuses] on numbers that are ridiculously large and yet finite. In the end, perhaps this is the most mind-boggling fact of all: that these enormous numbers, from Graham’s number to Fish 7 and beyond, fall as far short of infinity as does the humble number 1…
The mysteries of the massive: “The Mind-Boggling Science of Enormous Numbers,” @danfalk.bsky.social on @richardelwes.bsky.social in @undark.org.
###
As we enumerate enormity, we might spare a thought for a seminal mathematician, Alan Turing; he died on this date in 1954. He was a foundational computer science pioneer (inventor of the Turing Machine (an influential model for the general-purpose computer), creator of the “Turing Test” (only too relevant in these AI-infected times), inspiration for “The Turing Award” (the “Nobel Prize of computing“), and cryptographer (leading member of the team that cracked the Enigma code during WWII).
“As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality”*…
As Gregory Barber explains, two new notions of infinity challenge a long-standing plan to define the mathematical universe…
It was minus 20 degrees Celsius, and while some went cross-country skiing, Juan Aguilera, a set theorist at the Vienna University of Technology, preferred to linger in the cafeteria, tearing pieces of pulla pastry and debating the nature of two new notions of infinity. The consequences, Aguilera believed, were grand. “We just don’t know what they are yet,” he said.
Infinity, counterintuitively, comes in many shapes and sizes. This has been known since the 1870s, when the German mathematician Georg Cantor proved that the set of real numbers (all the numbers on the number line) is larger than the set of whole numbers, even though both sets are infinite. (The short version: No matter how you try to match real numbers to whole numbers, you’ll always end up with more real numbers.) The two sets, Cantor argued, represented entirely different flavors of infinity and therefore had profoundly different properties.
From there, Cantor constructed larger infinities, too. He took the set of real numbers, built a new set out of all of its subsets, then proved that this new set was bigger than the original set of real numbers. And when he took all the subsets of this new set, he got an even bigger set. In this way, he built infinitely many sets, each larger than the last. He referred to the different sizes of these infinite sets as cardinal numbers (not to be confused with the ordinary cardinals 1, 2, 3…).
Set theorists have continued to define cardinals that are far more exotic and difficult to describe than Cantor’s. In doing so, they’ve discovered something surprising: These “large cardinals” fall into a surprisingly neat hierarchy. They can be clearly defined in terms of size and complexity. Together, they form a massive tower of infinities that set theorists then use to probe the boundaries of what’s mathematically possible.
But the two new cardinals that Aguilera was pondering in the Arctic cold behaved oddly. He had recently constructed them, along with Joan Bagaria of the University of Barcelona and Philipp Lücke of the University of Hamburg, only to find that they didn’t quite fit into the usual hierarchy. Instead, they “exploded,” Aguilera said, creating a new class of infinities that their colleagues hadn’t bargained on — and implying that far more chaos abounds in mathematics than expected.
It’s a provocative claim. The prospect is, to some, exciting. “I love this paper,” said Toby Meadows, a logician and philosopher at the University of California, Irvine. “It seems like real progress — a really interesting insight that we didn’t have before.”
But it’s also difficult to really know whether the claim is true. That’s the nature of studying infinity. If mathematics is a tapestry sewn together by traditional assumptions that everyone agrees on, the higher reaches of the infinite are its tattered fringes. Set theorists working in these extreme areas operate in a space where the traditional axioms used to write mathematical proofs do not always apply, and where new axioms must be written — and often break down.
Up here, most questions are fundamentally unprovable, and uncertainty reigns. And so to some, the new cardinals don’t change anything. “I don’t buy it at all,” said Hugh Woodin, a set theorist at Harvard University who is currently leading the quest to fully define the mathematical universe. Woodin was Bagaria’s doctoral adviser 35 years ago and Aguilera’s in the 2010s. But his students are cutting their own path through infinity’s thickets. “Your children grow up and defy you,” Woodin said…
More on the fascinating state of play at: “Is Mathematics Mostly Chaos or Mostly Order?” from @GregoryJBarber in @quantamagazine.bsky.social.
* Albert Einstein
###
As we get down with Gödel, we might send insightful birthday greetings to John Allen Paulos; he was born on this date in 1945. A mathematician, he is best known as an advocate for– and a skilled teacher of– mathematical literacy. His book Innumeracy: Mathematical Illiteracy and its Consequences (1988) was a bestseller, and A Mathematician Reads the Newspaper (1995) extended the critique. Paulos was a regular columinst for both The Guardian and ABC News. And in 2001 he created and taught a course on quantitative literacy for journalists at the Columbia University School of Journalism– an exercise that stimulated further programs at Columbia and elsewhere in precision and data-driven journalism.
Happy 4th of July to readers in the U.S… but are we commemorating the right day?
“Truth is ever to be found in the simplicity, and not in the multiplicity and confusion of things”*…
From Kim (Scott) Morrison‘s and Dror Bar-Natan‘s, The Knot Atlas, “a complete user-editable knot atlas, in the wiki spirit of Wikipedia“– a marvelous example of a wide-spread urge in mathematics to find order through classification. As Joseph Howlett explains, that quest continues, even as it proves vexatious…
Biology in the 18th century was all about taxonomy. The staggering diversity of life made it hard to draw conclusions about how it came to be. Scientists first had to put things in their proper order, grouping species according to shared characteristics — no easy task. Since then, they’ve used these grand catalogs to understand the differences among organisms and to infer their evolutionary histories. Chemists built the periodic table for the same purpose — to classify the elements and understand their behaviors. And physicists made the Standard Model to explain how the fundamental particles of the universe interact.
In his book The Order of Things, the philosopher Michel Foucault describes this preoccupation with sorting as a formative step for the sciences. “A knowledge of empirical individuals,” he wrote, “can be acquired only from the continuous, ordered and universal tabulation of all possible differences.”
Mathematicians never got past this obsession. That’s because the menagerie of mathematics makes the biological catalog look like a petting zoo. Its inhabitants aren’t limited by physical reality. Any conceivable possibility, whether it lives in our universe or in some hypothetical 200-dimensional one, needs to be accounted for. There are tons of different classifications to try — groups, knots, manifolds and so on — and infinitely many objects to sort in each of those classifications. Classification is how mathematicians come to know the strange, abstract world they’re studying, and how they prove major theorems about it.Take groups, a central object of study in math. The classification of “finite simple groups” — the building blocks of all groups — was one of the grandest mathematical accomplishments of the 20th century. It took dozens of mathematicians nearly 100 years to finish. In the end, they figured out that all finite simple groups fall into three buckets, except for 26 itemized outliers. A dedicated crew of mathematicians has been working on a “condensed” proof of the classification since 1994 — it currently comprises 10 volumes and several thousand pages, and still isn’t finished. But the gargantuan undertaking continues to bear fruit, recently helping to prove a decades-old conjecture that you can infer a lot about a group by examining one small part of it.
Mathematics, unfettered by the typical constraints of reality, is all about possibility. Classification gives mathematicians a way to start exploring that limitless potential…[Howlett reviews attempts to classify numbers by “type” (postive/negative, rational/irrational), and mathematical objects by “equivalency” (shapes that can be stretched or squeezed into the other without breaking or tearing, like a doughnut and and coffee cup (see here)…]
… Similarly, classification has played an important role in knot theory. Tie a knot in a piece of string, then glue the string’s ends together — that’s a mathematical knot. Knots are equivalent if one can be tangled or untangled, without cutting the string, to match the other. This mundane-sounding task has lots of mathematical uses. In 2023, five mathematicians made progress on a key conjecture in knot theory that stated that all knots with a certain property (being “slice”) must also have another (being “ribbon”), with the proof ruling out a suspected counterexample. (As an aside, I’ve often wondered why knot theorists insist on using nouns as adjectives.)
Classifications can also get more meta. Both theoretical computer scientists and mathematicians classify problems about classification based on how “hard” they are.
All these classifications turn math’s disarrayed infinitude into accessible order. It’s a first step toward reining in the deluge that pours forth from mathematical imaginings…
“The Never-Ending Struggle to Classify All Math,” from @quantamagazine.bsky.social.
* Isaac Newton
###
As we sort, we might spare a thought for the author of our title quote, Sir Isaac Newton; he died in this date in 1727. A polymath, Newton excelled in– and advanced– mathematics, physics, and astronomy; he was a theologian and a government offical (Master of the Mint)… and a dedicated alchemist. He was key to the Scientific Revolution and the Enlightenment that followed.
Newton’s book Philosophiæ Naturalis Principia Mathematica (Mathematical Principles of Natural Philosophy), first published in 1687, achieved the first great unification in physics and established classical mechanics (e.g., the Laws of Motion and the principle of universal gravitation). He also made seminal contributions to optics, and shares credit with German mathematician Gottfried Wilhelm Leibniz for formulating infinitesimal calculus. Indeed, Newton contributed to and refined the scientific method to such an extent that his work is considered the most influential in the development of modern science.
“The number 2 is a very dangerous number: that is why the dialectic is a dangerous process”*…
In order to bridge the yawning gulf between the humanities and the sciences, Gordon Gillespie suggests, we must turn to an unexpected field: mathematics…
In 1959, the English writer and physicist C P Snow delivered the esteemed Rede Lecture at the University of Cambridge [a talk now known as “The Two Cultures,” see here]. Regaled with champagne and Marmite sandwiches, the audience had no idea that they were about to be read the riot act. Snow diagnosed a rift of mutual ignorance in the intellectual world of the West. On the one hand were the ‘literary intellectuals’ (of the humanities) and on the other the (natural) ‘scientists’: the much-discussed ‘two cultures’. Snow substantiated his diagnosis with anecdotes of respected literary intellectuals who complained about the illiteracy of the scientists but who themselves had never heard of such a fundamental statement as the second law of thermodynamics. And he told of brilliant scientific minds who might know a lot about the second law but were barely up to the task of reading Charles Dickens, let alone an ‘esoteric, tangled and dubiously rewarding writer … like Rainer Maria Rilke.’
Sixty-plus years after Snow’s diatribe, the rift has hardly narrowed. Off the record, most natural scientists still consider the humanities to be a pseudo-science that lacks elementary epistemic standards. In a 2016 talk, the renowned theoretical physicist Carlo Rovelli lamented ‘the current anti-philosophical ideology’. And he quoted eminent colleagues such as the Nobel laureate Steven Weinberg, Stephen Hawking and Neil deGrasse Tyson, who agreed that ‘philosophy is dead’ and that only the natural sciences could explain how the world works, not ‘what you can deduce from your armchair’. Meanwhile, many humanities scholars see scientists as pedantic surveyors of nature, who may produce practical and useful results, but are blind to the truly deep insights about the workings of the (cultural) world. In his best-selling book The Fate of Rome (2017), Kyle Harper convincingly showed that a changing climate and diseases were major factors contributing to the final fall of the Roman Empire. The majority of Harper’s fellow historians had simply neglected such factors up to then; they had instead focused solely on the cultural, political and socioeconomic ones…
The divide between the two cultures is not just an academic affair. It is, more importantly, about two opposing views on the fundamental connection between mind and nature. According to one view, nature is governed by an all-encompassing system of laws. This image underlies the explanatory paradigm of causal determination by elementary forces. As physics became the leading science in the 19th century, the causal paradigm was more and more seen as the universal form of explanation. Nothing real fell outside its purview. According to this view, every phenomenon can be explained by a more or less complex causal chain (or web), the links of which can, in turn, be traced back, in principle, to basic natural forces. Anything – including any aspect of the human mind – that eludes this explanatory paradigm is simply not part of the real world, just like the ‘omens’ of superstition or the ‘astral projections’ of astrology.
On the opposing view, the human mind – be it that of individuals or collectives – can very well be regarded separately from its physical foundations. Of course, it is conceded that the mind cannot work without the brain, so it is not entirely independent of natural forces and their dynamics. But events of cultural significance can be explained as effects of very different kinds of causes, namely psychological and social, that operate in a sphere quite separate from that of the natural forces.
These divergent understandings underpin the worldviews of each culture. Naive realists – primarily natural scientists – like to point out that nature existed long before humankind. Nature is ordered according to laws that operate regardless of whether or not humans are around to observe. So the natural order of the world must be predetermined independently of the human mind. Conversely, naive idealists – including social constructivists, mostly encountered in the humanities – insist that all order is conceptual order, which is based solely on individual or collective thought. As such, order is not only not independent of the human mind, it’s also ambiguous, just as the human mind is ambiguous in its diverse cultural manifestations.
The clash of cultures between the humanities and the natural sciences is reignited over and over because of two images that portray the interrelationship of mind and nature very differently. To achieve peace between the two cultures, we need to overcome both views. We must recognise that the natural and the mental order of things go hand in hand. Neither can be fully understood without the other. And neither can be traced back to the other…
… The best mediator of a conciliatory view that avoids the mistake of the naive realist and the naive idealist is mathematics. Mathematics gives us shining proof that understanding some aspect of the world does not always come down to uncovering some intricate causal web, not even in principle. Determination is not explanation. And mathematics, rightly understood, demonstrates this in a manner that lets us clearly see the mutual dependency of mind and nature.
For mathematical explanations are structural, not causal. Mathematics lets us understand aspects of the world that are just as real as the Northern Lights or people’s behaviour, but are not effects of any causes. The distinction between causal and structural forms of explanation will become clearer in due course. For a start, take this example. Think of a dying father who wants to pass on his one possession, a herd of 17 goats, evenly to his three sons. He can’t do so. This is not the case because some hidden physical or psychological forces hinder any such action. The reason is simply that 17 is a prime number, so not divisible by three…
… In his ‘two cultures’ speech, Snow located mathematics clearly in the camp of the sciences. But… mathematics doesn’t adhere to the explanatory paradigm of causal determination. This distinguishes it from the natural sciences. Nevertheless, mathematics tells us a lot about nature. According to Kant, it does so because it tells us a lot about the human mind. Mind and nature are inseparable facets of the world we inhabit and conceive. So, why should the humanities not also count as a science? They can tell us just as much about that one world on a fundamental level as the natural sciences. Mathematics demonstrates this clearly…
… Mathematics undermines the causal explanatory paradigm not only in its natural scientific manifestations, but also in its uses in the humanities. We give explanations for a wide variety of phenomena by hidden causes way too often and way too fast, where the simple admission to having no explanation would not only be more honest, but also wiser. Wittgenstein spoke of the disease of wanting to explain. This disease shows itself not just in our private everyday exchanges and in the usual public debates, but also in scholarly discourse of the humanities. When confronted with individual or collective human thinking and behaviour, it is tempting to assume just a few underlying factors responsible for the thinking and behaviour. But, more often than not, there really is no such neat, analysable set of factors. Instead, there is a vast number of natural, psychological and societal factors that are all equally relevant for the emergence of the phenomenon one wants to explain. Perhaps a high-end computer could incorporate all these factors in a grand simulation. But a simulation is not an explanation. A simulation allows us to predict, but it doesn’t let us understand.
The aim of the humanities should not be to identify causes for every phenomenon they investigate. The rise and fall of empires, the economic and social ramifications of significant technological innovations, the cultural impact of great works of art are often products of irreducibly complex, chaotic processes. In such cases, trying to mimic the natural sciences by stipulating some major determining factors is a futile and misleading endeavour.
But mathematics shows that beyond the causal chaos there can be order of a different kind. The central limit theorem lets us see and explain a common regularity in a wide range of causally very different, but equally complex, natural processes. With this and many other examples of structural mathematical explanations of phenomena in the realm of the natural sciences in mind, it seems plausible that mathematical, or mathematically inspired, abstraction can also have fruitful applications in the humanities.
This is by no means meant to promote an uncritical imitation of mathematics in the humanities and social sciences. (The overabundance of simplistic econometric models, for instance, is a huge warning sign.) Rather, it is meant to motivate scholars in these fields to reflect more upon where and when causal explanations make sense. Complexity can’t always be reduced to a graspable causal explanation, or narrative. To the contrary, often the most enlightening enquiries are not those that propose new factors as the true explainers, but those that show by meticulous analysis that far more factors are crucially in play than previously thought. This, in turn, should motivate scholars to seek aspects of their subject of interest beyond causality that are both relevant and amenable to structural forms of explanation. Besides probability theory, chaos theoretical methods and game theory come to mind as mathematical sub-disciplines with potentially fruitful applications in this regard.
However, the main point of our discussion is not that mathematical applications in the humanities might bridge the gap between the natural sciences and the humanities. The point is that mathematics, not really belonging to either camp, shows them to be on an equal footing from the start. The natural scientific paradigm of explanation is not the role model any respectable form of enquiry has to follow. Mathematics shows that natural causes can’t explain every phenomenon, not even every natural phenomenon and not even in principle. So, there is no need for the humanities, the ‘sciences of the mind’, to always strive for explanations by causes that can be ‘reduced’ to more elementary, natural forces. Moreover, mathematics shows that causality, of any kind, is not the only possible basis on which any form of explanation ultimately has to stand. Take for example the semantic relationships between many of our utterances. It is not at all clear that these can be explained in terms of psychological causes, or any other causes. It is not unreasonable to believe that the world is irreducibly structured, in part, by semantic relations, just as it is structured by probabilistic relations…
… The divide between the natural sciences and the humanities does not stem from the supposed fact that only those mental phenomena are real that are explainable in natural-scientific terms. Nor is the divide due to some extra-natural mental order, determined by causal relationships of a very different kind than those studied in the natural sciences. The mental world and the physical world are one and the same world, and the respective sciences deal with different aspects of this one world. Properly understood, insofar as they deal with the same phenomena, they do not provide competing but complementary descriptions of these phenomena.
Mathematics provides the most impressive proof that a true understanding of the world goes beyond the discovery of causal relationships – whether they are constituted by natural or cultural forces. It is worth taking a closer look at this proof. For it outlines the bond that connects mind and nature in particularly bright colours. Kant understood this bond as a ‘transcendental’ one. The late Wittgenstein, on the other hand, demonstrated its anchoring in language – not in the sense of a purely verbal and written practice, but in the sense of a comprehensive practice of actions the mental and bodily elements of which cannot be neatly separated. In the words of Wittgenstein, ‘commanding, questioning, recounting, chatting are as much a part of our natural history as walking, eating, drinking, and playing.’
Mathematics too is part of this practice. As such, like every science, it is inseparably rooted in both nature and the human mind. Unlike the other sciences, this dual rootedness is obvious in the case of mathematics. One only has to see where it resides: beyond causality.
Uniting the “Two Cultures”? “Beyond Causality” in @aeon.co.
* C. P. Snow, The Two Cultures and the Scientific Revolution
###
As we come together, we might send carefully calculated birthday greetings to a man with a foot in each culture: Frank Plumpton Ramsey; he was born on this date in 1903. A philosopher, mathematician, and economist, he made major contributions to all three fields before his death (at the age of 26) on this date in 1930.
While he is probably best remembered as a mathematician and logician and as Wittgenstein’s friend and translator, he wrote three paper in economics: on subjective probability and utility (a response to Keynes, 1926), on optimal taxation (1927, described by Joseph E. Stiglitz as “a landmark in the economics of public finance”), and optimal economic growth (1928; hailed by Keynes as “”one of the most remarkable contributions to mathematical economics ever made”). The economist Paul Samuelson described them in 1970 as “three great legacies – legacies that were for the most part mere by-products of his major interest in the foundations of mathematics and knowledge.”
For more on Ramsey and his thought, see “One of the Great Intellects of His Time,” “The Man Who Thought Too Fast,” and Ramsey’s entry in the Stanford Encyclopedia of Philosophy.










You must be logged in to post a comment.