## Posts Tagged ‘**Numbers**’

## “If the doors of perception were cleansed everything would appear to man as it is, infinite”*…

For 50 years, mathematicians have believed that the total number of real numbers is unknowable. A new proof suggests otherwise…

Infinity comes in many sizes. In 1873, the German mathematician Georg Cantor shook math to the core when he discovered that the “real” numbers that fill the number line — most with never-ending digits, like 3.14159… — outnumber “natural” numbers like 1, 2 and 3, even though there are infinitely many of both.

Infinite sets of numbers mess with our intuition about size, so as a warmup, compare the natural numbers {1, 2, 3, …} with the odd numbers {1, 3, 5, …}. You might think the first set is bigger, since only half its elements appear in the second set. Cantor realized, though, that the elements of the two sets can be put in a one-to-one correspondence. You can pair off the first elements of each set (1 and 1), then pair off their second elements (2 and 3), then their third (3 and 5), and so on forever, covering all elements of both sets. In this sense, the two infinite sets have the same size, or what Cantor called “cardinality.” He designated their size with the cardinal number

ℵ0 (“aleph-zero”).But Cantor discovered that natural numbers can’t be put into one-to-one correspondence with the continuum of real numbers. For instance, try to pair 1 with 1.00000… and 2 with 1.00001…, and you’ll have skipped over infinitely many real numbers (like 1.000000001…). You can’t possibly count them all; their cardinality is greater than that of the natural numbers.

Sizes of infinity don’t stop there. Cantor discovered that any infinite set’s power set — the set of all subsets of its elements — has larger cardinality than it does. Every power set itself has a power set, so that cardinal numbers form an infinitely tall tower of infinities.

Standing at the foot of this forbidding edifice, Cantor focused on the first couple of floors. He managed to prove that the set formed from all the different ways of ordering natural numbers (from smallest to largest, for example, or with all odd numbers first) has cardinality

ℵ1, one level up from the natural numbers. Moreover, each of these “order types” encodes a real number.His continuum hypothesis asserts that this is exactly the size of the continuum — that there are precisely

ℵ1 real numbers. In other words, the cardinality of the continuum immediately followℵ0, the cardinality of the natural numbers, with no sizes of infinity in between.But to Cantor’s immense distress, he couldn’t prove it.

In 1900, the mathematician David Hilbert put the continuum hypothesis first on his famous list of 23 math problems to solve in the 20th century. Hilbert was enthralled by the nascent mathematics of infinity — “Cantor’s paradise,” as he called it — and the continuum hypothesis seemed like its lowest-hanging fruit.

To the contrary, shocking revelations last century turned Cantor’s question into a deep epistemological conundrum.

The trouble arose in 1931, when the Austrian-born logician Kurt Gödel discovered that any set of axioms that you might posit as a foundation for mathematics will inevitably be incomplete. There will always be questions that your list of ground rules can’t settle, true mathematical facts that they can’t prove. As Gödel suspected right away, the continuum hypothesis is such a case: a problem that’s independent of the standard axioms of mathematics.

These axioms, 10 in all, are known as ZFC (for “Zermelo-Fraenkel axioms with the axiom of choice”), and they undergird almost all of modern math. The axioms describe basic properties of collections of objects, or sets. Since virtually everything mathematical can be built out of sets (the empty set {} denotes 0, for instance; {{}} denotes 1; {{},{{}}} denotes 2, and so on), the rules of sets suffice for constructing proofs throughout math.

In 1940, Gödel showed that you can’t use the ZFC axioms to disprove the continuum hypothesis. Then in 1963, the American mathematician Paul Cohen showed the opposite —you can’t use them to prove it, either. Cohen’s proof, together with Gödel’s, means the continuum hypothesis is independent of the ZFC axioms; they can have it either way.

In addition to the continuum hypothesis, most other questions about infinite sets turn out to be independent of ZFC as well. This independence is sometimes interpreted to mean that these questions have no answer, but most set theorists see that as a profound misconception.

They believe the continuum has a precise size; we just need new tools of logic to figure out what that is. These tools will come in the form of new axioms. “The axioms do not settle these problems,” said Magidor, so “we must extend them to a richer axiom system.” It’s ZFC as a means to mathematical truth that’s lacking — not truth itself.

Ever since Cohen, set theorists have sought to shore up the foundations of infinite math by adding at least one new axiom to ZFC. This axiom should illuminate the structure of infinite sets, engender natural and beautiful theorems, avoid fatal contradictions, and, of course, settle Cantor’s question…

Two rival axioms emerged that do just that. For decades, they were suspected of being logically incompatible.

…

In October 2018, David Asperó was on holiday in Italy, gazing out a car window as his girlfriend drove them to their bed-and-breakfast, when it came to him: the missing step of what’s now a landmark new proof about the sizes of infinity. “It was this flash experience,” he said.

Asperó, a mathematician at the University of East Anglia in the United Kingdom, contacted the collaborator with whom he’d long pursued the proof, Ralf Schindler of the University of Münster in Germany, and described his insight. “It was completely incomprehensible to me,” Schindler said. But eventually, the duo turned the phantasm into solid logic.

Their proof, which appeared in May in the

Annals of Mathematics, unites two rival axioms that have been posited as competing foundations for infinite mathematics. Asperó and Schindler showed that one of these axioms implies the other, raising the likelihood that both axioms — and all they intimate about infinity — are true…

There are an infinite number of infinities. Which one corresponds to the real numbers? “How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer.”

[TotH to MK]

* William Blake

###

**As we contemplate counting,** we might spare a thought for Georg Friedrich Bernhard Riemann; he died on this date in 1866. A mathematician who made contributions to analysis, number theory, and differential geometry, he is remembered (among other things) for his 1859 paper on the prime-counting function, containing the original statement of the Riemann hypothesis, regarded as one of the most influential papers in analytic number theory.

## “Those who wish to know the art of calculating, its subtleties and ingenuities, must know computing with hand figures”*…

The House of Wisdom sounds a bit like make believe: no trace remains of this ancient library, destroyed in the 13th Century, so we cannot be sure exactly where it was located or what it looked like.

But this prestigious academy was in fact a major intellectual powerhouse in Baghdad during the Islamic Golden Age, and the birthplace of mathematical concepts as transformative as the common zero and our modern-day “Arabic” numerals.

Founded as a private collection for caliph Harun Al-Rashid in the late 8th Century then converted to a public academy some 30 years later, the House of Wisdom appears to have pulled scientists from all over the world towards Baghdad, drawn as they were by the city’s vibrant intellectual curiosity and freedom of expression (Muslim, Jewish and Christian scholars were all allowed to study there).

An archive as formidable in size as the present-day British Library in London or the Bibliothèque Nationale of Paris, the House of Wisdom eventually became an unrivalled centre for the study of humanities and sciences, including mathematics, astronomy, medicine, chemistry, geography, philosophy, literature and the arts – as well as some more dubious subjects such as alchemy and astrology.

To conjure this great monument thus requires a leap of imagination (think the Citadel in Westeros, or the library at Hogwarts), but one thing is certain: the academy ushered in a cultural Renaissance that would entirely alter the course of mathematics.

The House of Wisdom was destroyed in the Mongol Siege of Baghdad in 1258 (according to legend, so many manuscripts were tossed into the River Tigris that its waters turned black from ink), but the discoveries made there introduced a powerful, abstract mathematical language that would later be adopted by the Islamic empire, Europe, and ultimately, the entire world.

Tracing the House of Wisdom’s mathematical legacy involves a bit of time travel back to the future, as it were. For hundreds of years until the ebb of the Italian Renaissance, one name was synonymous with mathematics in Europe: Leonardo da Pisa, known posthumously as Fibonacci. Born in Pisa in 1170, the Italian mathematician received his primary instruction in Bugia, a trading enclave located on the Barbary coast of Africa (coastal North Africa). In his early 20s, Fibonacci traveled to the Middle East, captivated by ideas that had come west from India through Persia. When he returned to Italy, Fibonacci published

Liber Abbaci, one of the first Western works to describe the Hindu-Arabic numeric system.When

Liber Abbacifirst appeared in 1202, Hindu-Arabic numerals were known to only a few intellectuals; European tradesmen and scholars were still clinging to Roman numerals, which made multiplication and division extremely cumbersome (try multiplying MXCI by LVII!). Fibonacci’s book demonstrated numerals’ use in arithmetic operations – techniques which could be applied to practical problems like profit margin, money changing, weight conversion, barter and interest…Fibonacci’s great genius was not just his creativity as a mathematician, however, but his keen understanding of the advantages known to Muslim scientists for centuries: their calculating formulas, their decimal place system, their algebra. In fact,

Liber Abbacirelied almost exclusively on the algorithms of 9th-Century mathematician Al-Khwarizmi. His revolutionary treatise presented, for the first time, a systematic way of solving quadratic equations. Because of his discoveries in the field, Al-Khwarizmi is often referred to as the father of algebra – a word we owe to him, from the Arabical-jabr, “the restoring of broken parts”—and in 821 he was appointed astronomer and head librarian of the House of Wisdom…

Centuries ago, a prestigious Islamic library (tragically burned in the the Siege of Baghdad) brought Arabic numerals to the world; its mathematical revolution changed our world: “How modern mathematics emerged from a lost Islamic library.”

For more on The House of Wisdom– and the sad stories of other libraries and archives that have been destroyed through the ages– see Richard Ovenden‘s remarkable new *Burning the Books- a History of the Deliberate Destruction of Knowledge*.

* Leonardo da Pisa, known posthumously as Fibonacci [see here]

###

**As we count our blessings,** we might spare a thought for John Pell; he died on this date in 1685. An English mathematician, he is perhaps best remembered for having introduced the “division sign”– the “obelus,” a short line with dots above and below– into use in English. It was first used in German by Johann Rahn in 1659 in *Teutsche Algebra*; Pell’s translation brought the symbol to English-speaking mathematicians. But Pell was an important influence on Rahn, and edited his book– so may well have been, many scholars believe, the originator of the symbol for this use. (In any case the symbol wasn’t new to them: the obelus [derived from the word for “roasting spit” in Greek] had already been used to mark passages in writings that were considered dubious, corrupt or spurious…. a use that surely seems only too appropriate to legions of second and third grade math students.)

## “He told me that in 1886 he had invented an original system of numbering”*…

The rational numbers are the most familiar numbers: 1, -5, ½, and every other value that can be written as a ratio of positive or negative whole numbers. But they can still be hard to work with.

The problem is they contain holes. If you zoom in on a sequence of rational numbers, you might approach a number that itself is not rational. This short-circuits a lot of basic mathematical tools, like most of calculus.

Mathematicians usually solve this problem by arranging the rationals in a line and filling the gaps with irrational numbers to create a complete number system that we call the real numbers.

But there are other ways of organizing the rationals and filling the gaps: the

p-adic numbers. They are an infinite collection of alternative number systems, each associated with a unique prime number: the 2-adics, 3-adics, 5-adics and so on.The

p-adics can seem deeply alien. In the 3-adics, for instance, 82 is much closer to 1 than to 81. But the strangeness is largely superficial: At a structural level, thep-adics follow all the rules mathematicians want in a well-behaved number system…“We’re all on Earth and we work with the reals, but if you went [anywhere] else, you’d work with the

p-adics,” [University of Washington mathematician Bianca] Viray explained. “It’s the reals that are the outliers.”

The p-adics form an infinite collection of number systems based on prime numbers. They’re at the heart of modern number theory… which is itself at the heart of computer science, numerical analysis, and cryptography: “An Infinite Universe of Number Systems.”

* Jorge Luis Borges, *Labyrinths*

###

**As we dwell on digits,** we might send carefully-calculated birthday greetings to Klaus Friedrich Roth; he was born on this date in 1925. After escaping with his family from Nazi Germany, he was educated at Cambridge, then taught mathematics first at University College London, then at Imperial College London. He made a number of important contribution to Number Theory, for which he won the De Morgan Medal and the Sylvester Medal, and election to Fellowship of the Royal Society. In 1958 he was awarded mathematics’ highest honor, the Fields Medal, for proving Roth’s theorem on the Diophantine approximation of algebraic numbers.

## “It’s exact and indefinite. It’s like pi– you can keep figuring it out and always be right and never be done”*…

It’s Pi Day! What better way to “prove” 3.14 than with that most perfect of pies– pizza!

Via the ever-illiminating *Boing Boing*.

See also: “Pi Day: How One Irrational Number Made Us Modern.”

* Peter Schjeldahl, quoting the painter John Currin

###

**As we celebrate the irrational,** we might recall that it was on this date in 1958 that “Tequila” hit the top of the pop charts (sales and radio plays, both pop and R&B).

You must be logged in to post a comment.