Exploring the Works of an Imaginary Mathematician: Discovering New Insights in Mathematics

A clandestine society of mathematicians has been operating under pseudonyms for nearly a century

Shutterstock/Stephen Ray Chapman

One of the most influential figures in modern mathematics, Nicolas Bourbaki, has reportedly been researching for almost a century, producing numerous books and publications that guide the entire field. Interestingly, Bourbaki is a pseudonymous figure who does not exist as an actual individual.

Bourbaki represents a secretive collective of mathematicians, initially formed in France in 1934. Their primary objective was to modernize mathematics textbooks, transforming them to meet contemporary reader needs. However, this endeavor culminated in the creation of an innovative approach to mathematical writing, impacting the field for decades.

The group initially anticipated that their study would comprise about 1,000 pages and be completed in six months. By 1935, Bourbaki had expanded its vision to include six interconnected volumes, aiming to “provide a comprehensive foundation for modern mathematics,” as expressed in an explanatory preface. While they were correct about the length, they were notably mistaken regarding the timeline.

Though these volumes (which eventually comprised several physical books) were intended to be read sequentially, Bourbaki’s first published text in 1939 turned out to be the concluding chapter of the first book on set theory. The group later published different sections intermittently before returning to finish set theory in 1954, finally completing the entire project in 1970. Collectively labeled as elements of mathematics, this singular title underscores the cohesion of the mathematicians’ work. The completion of this monumental collection extended into the 1980s, reaching nearly 4,000 pages. Even after that, Bourbaki continued to release new works as the original scope broadened.

This unorthodox publishing approach stemmed from Bourbaki’s distinctive methodology. The original group comprised six young mathematics professors, including Andre Weil, a prominent figure in number theory and algebraic geometry. Most members were former students of the École Normale Supérieure in Paris, and the group’s name emerged from a prank revolving around the notoriously obscure Bourbaki theorem.

This playful spirit fostered a strong sense of camaraderie. Meetings were lively, often involving shouting matches and humorous banter. One member crafted the proposed text and presented it line by line for critique and discussion, leading to a revised draft before reaching consensus. Given that chapters took an average of ten years to produce, the protracted timeline is understandable. This mathematical endeavor spanned generations, as Bourbaki members were required to retire at 50, making way for new recruits.

Eternal Challenges in Mathematics

Founding members of the Bourbaki Group gathered in France in 1935

Charmet/Bridgeman Image Archive

So, what was Bourbaki’s actual contribution? Despite its unorthodox methods, the group’s work was notably serious and thoroughly detailed. The cornerstone of their research, set theory, aimed to tackle the perennial challenge in mathematics: the idea that mathematical objects are fundamentally independent of human language and symbols.

To illustrate this, consider the word “addition” or the symbol “+”. These terms have an arbitrary connection to the underlying mathematical concepts. As long as there’s an agreement on the meaning of “addition,” any string of symbols could be utilized to indicate it. Conversely, addition has a definitive relationship with subtraction; one operation is the inverse of the other, independent of their nomenclature.

In practical terms, labeling mathematical concepts does not present a significant challenge, as mathematicians adhere to standardized mappings between ideas and symbols. However, in principle, contradictions and inconsistencies may emerge.

Bourbaki was not the inaugural attempt at formalization (as mentioned in my previous writings), but his approach was perhaps the most meticulous. For instance, he took care to define the number 1 in a footnote on page 158 of set theory. Bourbaki clarified that “the symbol ‘1’ should not be confused with the common language interpretation ‘one'”; instead, it should be understood through a rigorous definition:

τZ ((∃u)(∃U)(u = (U, {∅}, Z) and U ⊂ {∅} × Z and (∀x)((x ∈ {∅}) ⇒ (∃y)((x, y) ∈ U)) and (∀x)(∀y)(∀y’)(((x, y) ∈ U and (x, y’) ∈ U) ⇒ (y = y’)) and (∀y)((y ∈ Z) ⇒ (∃x)((x, y) ∈ U))))

Don’t worry if this seems daunting; a simplified explanation is that ∅ represents a set devoid of elements, referred to as the “empty set.” Consequently, 1 is defined as {∅}, indicating a set containing only one item (which, in this case, is the empty set). More details on this concept can be found in a previous column.

Astonishingly, embedded within this sea of symbols is a broader and more complex formal definition. Each symbol is elaborately defined based on earlier texts using only designated symbols. Bourbaki never elaborated these entirely; the footnote mentions that completing this definition would require tens of thousands of symbols — an estimation soon revealed to be vastly understated. Later mathematicians calculated that articulating the full formula for the number 1 would necessitate over 4.5 billion symbols, or more precisely, 2,409,875,496,393,137,472,149,767,527,877,436,912,979,508,338,752,092,897 symbols, depending on your definition of precision.

Clearly, mathematicians would need to occasionally abandon such stringent formalism if they wished to accomplish their objectives. Bourbaki acknowledges this necessity, while maintaining that utilizing shorthand terms like “1” is an “abuse of language.” By establishing foundational rules, Bourbaki granted mathematicians the flexibility to deviate as needed.

Emerging Mathematical Challenges

So, what achievements stemmed from all this labor? One significant outcome was Bourbaki’s aspiration to unite mathematics as a cohesive discipline. In theory, if terms and concepts from various mathematical domains could be expressed using a common set of symbols, it would yield a rigorous framework for transitions between fields. Although few actually practice this, it positions mathematics on a more solid philosophical foundation.

In the decades that followed, Bourbaki’s influence has proven unexpectedly significant, particularly as mathematicians increasingly explore computer-assisted formalization to verify proofs generated by artificial intelligence. The collective also introduced numerous concepts and symbols, many of which remain integral to contemporary mathematics (for instance, ∅ representing the empty set). On a broader scale, the Bourbakian writing style continues to shape modern mathematical textbooks.

However, Bourbaki was not without critique. Following the publication of elements of mathematics, some mathematicians expressed discontent with the group’s claims of excessive rigor. Oddly enough, Bourbaki inadvertently incited a misguided initiative to reform mathematics education in schools. Emerging in France during the late 1950s, this movement, dubbed New Mathematics, sought to replace traditional educational methods with rigorous set-theoretic approaches based on Bourbaki’s teachings. The intention was to grasp the general principle of multiplication rather than memorizing specific multipliers, such as 3 × 4 = 12.

The “New Math” movement faced extensive criticism and was largely deemed a failure. Parents and teachers alike struggled to understand the curriculum. Bestselling critiques like Why Can’t Johnny Add? emerged, and by the late 1970s, the initiative had largely dissipated. Additionally, this decade brought challenges for Bourbaki, including legal disputes with publishers over copyright and royalties.

Despite these hurdles, Bourbaki remains relevant today. New chapters will be released this year alone. However, the identity of the author remains a well-guarded secret. This anonymity allows mathematicians to regard Bourbaki as a quirky, eccentric relative: appreciated for essential contributions, yet sparing themselves from the discomfort of personal association.

Topic:

Source: www.newscientist.com

How Three Imaginary Physics Demons Challenged the Laws of Nature

There has always been a strong interplay between imagination and physics. Albert Einstein crafted his theory of relativity by envisioning a scenario where he chased a beam of light. Erwin Schrödinger famously introduced the idea of cats that are both alive and dead. German mathematician David Hilbert illustrated the paradox of infinity by conceptualizing a hotel with limitless rooms and patrons. Through inventive thought experiments, physicists rigorously examine concepts and deepen their comprehension.

Interestingly, three of the most enduring thought experiments revolve around what is now known as “the devil.” The most recognized is Maxwell’s Demon, conceived in 1867, envisioning a minuscule being endowed with unusual but logical abilities. Together with Laplace’s Devil and Roschmidt’s Devil, these thought experiments continue to baffle physicists today, suggesting that pondering these devils can illuminate some of the most complex principles in physics.

“What’s refreshing and unexpected is that scientists can gain profound insights about reality by engaging in these fictional realms,” says Michael Stuart, a philosopher of science at the University of York, UK. “Many would contend that the essence of science hinges upon such imaginings.”

Laplace’s Devil

The concept of our first demon originated from the mind of French polymath Pierre-Simon Laplace, who was largely influenced by Isaac Newton. In 1814, Laplace posed a straightforward query: “If Newton’s laws can predict the fall of an apple, could we apply the same logic to predict everything?” What if we had perfect knowledge about every particle and object? He invited us to picture a devil—whom he referred to as “intelligence”—that could do exactly that. If it understood the position and momentum of all particles alongside the laws of nature, it could foresee the entirety of the universe’s future. “Nothing would remain uncertain,” he asserted. “The future could be as clear as the past.”

While we may never construct a machine endowed with Laplace’s demonic faculty, envisioning such a being assists in identifying logical inconsistencies in the theory. Does it imply that everything—from planets to humans—is predetermined? Does science assert that the laws of physics dictate all outcomes? Free will may appear to be, at best, an illusion, a mere byproduct of our ignorance.

Fortunately, the essence of the first demon is relatively straightforward to dismantle. Physicists are convinced that no entity could possess the knowledge attributed to Laplace’s demon. First, Einstein’s special theory of relativity establishes that information cannot travel faster than light. Therefore, some events can indeed influence your future, but you remain ignorant at that moment since the information must travel at light speed and lacks time to reach you, thereby nullifying Laplace’s demon.

Even in the event that this devil could access knowledge from every corner of the universe, quantum mechanics introduces another obstacle. Since the 1920s, it has been acknowledged that one cannot simultaneously ascertain both a particle’s position and momentum. Therefore, the devil cannot precisely determine where each particle is or what it is doing; it can only describe the probabilities surrounding particle properties.

Laplace’s tidy particle-by-particle depiction of reality is superseded by a quantum universe, characterized by a vast, fluctuating wavefunction—an abstract mathematical construct that encapsulates all potential outcomes. Even if the devil were able to monitor these outcomes, there remains no certainty regarding which one would ultimately manifest in reality.

The Devil of Roschmidt

Though Laplace’s devil seems to have lost its potency, even more sinister thought experiments lie ahead. The second demon emerged during a period of rapid industrialization, where the steam engine intensified inquiries about heat, energy, and disorder. Austrian physicist Ludwig Boltzmann sought an explanation for entropy—a slippery concept that explains how systems devolve into chaos over time. Sandcastles fall apart, ice melts, and rust forms. Boltzmann believed that zooming into reality and observing the minute components of a larger system, like individual gas molecules filling a room, could clarify this concept.

However, his elder colleague, Austrian physicist Josef Loschmidt, challenged this approach in 1876 by posing a simple yet devastating dilemma. Imagine a universe in which time has halted; all molecules have a defined position and direction of movement. Loschmidt suggested that if you reversed the movement of each particle, you could essentially undo entropy. Roschmidt’s original positing did not mention a “demon,” although later iterations often included a demon that could perceive and freeze all particles, largely due to subsequent developments in the field.

The evolution of steam engines prompted inquiries into heat, energy, and entropy.

Loschmidt’s scenario deeply unsettled physicists as it suggested a time-related paradox. When considered at a microscopic level, reversing particle movement doesn’t seem to result in any contradictions. However, this breaks down at a macroscopic level; as the world seemingly restores itself in reverse, puddles solidify into ice, and shattered vases reassemble. This raises the question: “Why does time appear to flow in only one direction if at the microscopic level we can easily reverse it?”

Subsequent experiments attempted time reversal, much like Roschmidt’s demons. In the 1950s, Erwin Hahn utilized radio waves to temporarily synchronize electric dipoles (such as hydrogen atoms in water) to rotate uniformly, momentarily decreasing the system’s entropy. This seemingly created the illusion of time moving backward. So, did the Roschmidt demon manage to outsmart the concept of entropy?

Not entirely. It is now understood that entropy doesn’t imply that a system must always degenerate into disorder. Some systems can evolve into a more ordered state in a brief span. However, as Hahn demonstrated, entropy ultimately prevails. When the radio beam was switched off, the dipole reverted to chaos.

Why does entropy consistently rise? Scientifically speaking, we believe that the universe began in a highly ordered state with low entropy, where everything was systematically arranged. This constrains progress to one direction: toward chaos. Aside from fostering additional disorder, there are various methods to disrupt an orderly system. This suggests that in theory, Roschmidt’s demon can reverse small particles’ trajectories, albeit contrary to expectations.

“The situation with the second law differs fundamentally from Newton’s second law,” notes Katie Robertson, a philosopher at the University of Stirling in the UK. “Its probabilistic nature suggests that ‘You probably cannot reduce entropy.’”

Ultimately, the probabilities dispelled this demon, but they did little to enhance our understanding. In response to Loschmidt, Boltzmann shifted from the original approach to a more statistically oriented framework, as it succinctly captured the delicate logic of probability. His advanced thinking led to the formulation of the Boltzmann equation, now inscribed on his epitaph.

Maxwell’s Devil

The third and perhaps best-known demon was proposed by Scottish physicist James Clerk Maxwell in 1867, shortly before Roschmidt raised his concerns. Like Loschmidt, Maxwell grappled with the second law of thermodynamics, but he examined the notion of increasing entropy from a different perspective. What if, instead of rewinding the universe, we could intervene in it molecule by molecule? Envision a meddlesome being (later referred to as a demon by physicists like William Thomson) that could manipulate gas molecules trapped in a box divided by a trapdoor. Over time, this entity could violate the second law by segregating faster-moving molecules from slower-moving ones.

Various straightforward “solutions” might come to mind. Perhaps this demon expends energy opening and closing the door. However, theoretically, this “work” can be minimized infinitely. The demon could act as frivolously as desired, yet the paradox persists.


Scientists can learn a lot about reality by entering these fictional spaces

Instead, physicists began to suspect that the actual cost wasn’t the energy exerted by the demon, but the amount of information it needed to process. A certain type of memory seems mandatory to record the position and momentum of each molecule. And astonishingly, this memory is finite.

In the 1920s, Hungarian physicist Leo Szilard demonstrated that even a simplified version of Maxwell’s experiment—featuring only one molecule bouncing within a box—could enable a clever demon to extract work from the system. Nevertheless, he posited that this necessitates observing molecules and storing that information, requiring energy in the process.

Ultimately, something must yield. In the 1960s, IBM physicist Rolf Landauer made a crucial point. For the demon to remain functional, it must free up space in memory, generating heat and consequently increasing entropy within the system. The second law remains intact.

Laplace’s demon can predict the future of the entire universe.

George Rose/Getty Images

Moreover, physicists acknowledged that information, akin to energy, constitutes a tangible resource. Gaining insight into a system is not merely a matter of abstract logistics. Under appropriate conditions, information can also serve as fuel. Thus, Maxwell’s demon somehow translates information into work. Today, this demon symbolizes devices that function at the intersection of information and energy. These “information engines” not only challenge conventional wisdom but also hold the potential to convert demonic logic into practical technology. In 2024, researchers devised a quantum variant of the Szilard engine to power batteries within quantum computers. Instead of demons, microwave pulses were employed to displace higher-energy qubits from lower-energy ones, generating an energy differential capable of doing work like a battery.

While we remain distant from utilizing these innovations to charge mobile devices, the aspiration is that these miniature quantum engines will aid in manipulating particles or toggling qubits.

In this light, Maxwell’s demons have not been vanquished at all. Rather, they evolved into concepts that Maxwell could never have envisioned. Not as an infringement upon the Second Law, but as a means to explore the intricate and unexpected ways nature allows us to utilize information as a physical resource.

Collectively, these demons challenge both theoretical limits and intuitive understanding. While some have been tackled, new paradoxes continue to emerge. Yet, these are dilemmas that physicists welcome. These intriguing thought experiments provide scientists with a compelling avenue to push the boundaries of their knowledge.

topic:

Source: www.newscientist.com