Magic Internet Math

Brian HIrschfield and Rob Hamilton

This podcast exists to liberate Bitcoin holders from second-class citizenship by teaching the mathematics that underlies their convictions. We operate on a simple premise: if you don't understand the math of Bitcoin, you cannot truly know what you know—you're dependent on others' authority, forever vulnerable to doubt and manipulation. Mathematics is the primary pathway to conviction in your own reasoning. Through accessible, conversational exploration of Bitcoin's mathematical foundations—treating math as the liberal art it was always meant to be—we equip listeners with genuine understanding rather than borrowed beliefs. We reject the deliberate demoralization campaign that convinced generations they'r…

  1. 4D AGO

    Brian Solo - Shilling the Math Academy

    In this solo episode of the Magic Internet Math podcast, the host discusses the current status of the Magic Internet Math website, his personal journey into math education, and his vision for teaching math as a liberal art. Key Topics: Magic Internet Math website status Personal journey into mathematics Teaching math as a liberal art Subscriber benefits and future plans for the website Rudolf Steiner's influence Summary: The host begins by addressing his tendency to avoid promoting the Magic Internet Math website, which he has been developing for the past three months. The site currently offers a hundred free courses, games, and YouTube series, covering a wide range of subjects, including math, economics, philosophy, and literature. The courses are based on books that mean a lot to him, covering topics from calculus to abstract algebra, with a focus on making these subjects accessible to a broader audience. The host shares his personal journey into mathematics, driven by dissatisfaction with his initial career as an actuary. He transitioned into quantitative strategy and dedicated himself to studying advanced mathematics, often facing challenges in finding suitable textbooks. He recalls his experiences at university bookstores and the early days of MIT OpenCourseware, which significantly aided his learning. Discovering Bitcoin reignited his passion for math, leading him to delve into cryptography and abstract algebra. This journey motivated him to explore different abstract algebra books and eventually incorporate this knowledge into teaching, especially after his daughter became a math major. His disappointment with people's attitudes toward math, viewing it as a means to an end rather than an enriching subject, propelled him to think deeply about how to teach math effectively. He was influenced by the Waldorf school system and Rudolf Steiner's teachings, which emphasize a holistic approach to education. This philosophy has inspired the creation of unique content on the website, blending math with liberal arts, and offering a different perspective on how math is taught and understood. The host also discusses the subscriber benefits of the Magic Internet Math website, priced at $5 a month or $50 a year, with a limited number of lifetime subscriptions available for those closely connected to him. The subscription model aims to support the site's maintenance and development, including hiring a dedicated developer. Subscriber-only content includes a basic high school algebra class, framed as a Greek heroic epic, and a study guide called "The Four Proofs," which explores the different approaches to mathematical proofs by Euclid, Gauss, Steiner, and Satoshi. Looking forward, the host plans to create more original content that combines various topics and ideas, grounded in the philosophy of Steiner and focused on how we know what we know. He envisions lectures and classes that delve deeper into these concepts, accessible to subscribers and lifetime members. He emphasizes that supporting the website is about supporting a different approach to math education and ensuring its continued existence for future learners. The host concludes by saying that he's not asking for charity and truly believes the website provides value for anyone interested in mathematics.

    44 min
  2. FEB 16

    Elliptic Curve Cryptography: A Self-Study Guide

    The Study guide: https://ecc-study-guide.magicinternetmath.com/guide.pdf In this episode of Magic Internet Math, Rob and Fundamentals discuss the math behind Bitcoin's security, exploring elliptic curve cryptography, modulo arithmetic, and digital signatures. Key Topics: Seed-Phrase Generation Elliptic Curve Cryptography Modulo Arithmetic Securing Bitcoin with Math The Importance of Primes Understanding Finite Fields LibSecP and Its Significance Quantum Computing Deterministic Nonces Summary: The conversation begins with an overview of how Bitcoin secures money, moving from helpful abstractions like seed phrases to the foundational math involving finite fields and elliptic curves. They discuss how a 12 or 24-word seed phrase is a BIP39 way of generating a BIP32 extended private key, which is essentially a map to the elliptic curve Bitcoin operates on. At its core, you need entropy, a random element, to generate these keys. The hosts emphasize the importance of randomness in key generation and the mathematical assurance that keys are safe from accidental or intentional collisions. They caution against trusting human intuition for randomness, advocating for methods like dice rolls to enhance key security. The discussion touches on the concept of repeating words in BIP39 seed phrases and addresses common misconceptions about randomness. The hosts discuss the vastness of possible Bitcoin private keys. They emphasize how the number of potential Bitcoin private keys far exceeds the number of atoms in the observable universe. This immensity is crucial for security, making it virtually impossible to guess a private key. They touch upon the importance of understanding magnitudes of size and recommend the book "Innumeracy" by John Allen Paulos. The discussion moves to the concept of seed phrases as deterministic treasure maps, enabling the generation of multiple child keys for different addresses, all derived from a single genesis number. They highlight the asymmetry between knowing a private key and proving ownership, which is fundamental to Bitcoin's functionality. The discussion transitions into modulo arithmetic, explaining it as focusing on remainders rather than quotients. This concept is introduced using simple examples, such as dividing by two and clock arithmetic. They also touch on the importance of modulo a prime number for elliptic curve cryptography. They explain that using a prime number ensures every non-zero number has a multiplicative inverse. This is critical for the field addition process, which is the mapping from a private key to a public key. The significance of congruence is discussed. Next, the hosts delve into elliptic curve cryptography and the specific curve used by Bitcoin which is Y squared equals X cubed plus seven. They explore the properties of this curve, including how any two points on the curve will intersect a third point. The intersection can be reflected across the X axis to find the sum of the original two points. This property is important to how elliptic curve cryptography works. They discuss the specifics of the LibSecP256K1 curve, explaining the origins of its name and its significance. They discuss an incident in 2013 where the NSA was caught trying to backdoor elliptic curve standards and the reason why Satoshi made the choices he did. The hosts talk about ECDSA (elliptic curve digital signing algorithm), which Satoshi used due to patents on Schnorr signing algorithm. Rob and Fundamentals then move on to discuss practical examples of how Bitcoin transactions are made and secured using elliptic curve cryptography. Rob states "all of the Bitcoin, everything is, I know a number." The hosts explain how the generator point is utilized to ensure that all potential outputs can be utilized in the system. Then Rob and Fundamentals discuss quantum computing and how this might threaten the security of the Bitcoin network, as these computers would be much more efficient at guessing private keys. Rob explains how Schnorr signing algorithms are more secure against quantum computers because all addresses look the same. The conversation touches upon the use of deterministic nonces to prevent key reuse. The podcast episode concludes by discussing how code can be made more secure at a software level, to prevent timing attacks on the network. Fundamentals references RFC 6979 which defines how to produce deterministic signatures for elliptic curve cryptography. They emphasize the importance of constant-time operations to prevent side-channel attacks. They highlight the significance of LibSecP, the battle-hardened cryptography library, in ensuring the security of Bitcoin transactions. They express pride in covering the material and hope listeners can at least start to begin to reason and understand where if you had a beer if you're at pub key you're having a beer and you want to talk about this stuff you may not be able to do the full mathematical proof of every line but at least you understand in aggregate the moving pieces and what's important and why things are important to be able to explain how this thing works.

    1h 56m
  3. MoM Ep15: Joseph Fourier

    FEB 9 · BONUS

    MoM Ep15: Joseph Fourier

    This podcast episode of Men of Mathematics discusses the life and work of Joseph Fourier, focusing on his contributions to mathematics, physics, and engineering, particularly his discovery of Fourier series and its wide-ranging applications. Key Topics: Fourier Series Heat Equation Applications of Fourier Analysis Fourier's Life and Career Greenhouse Effect Summary: Fourier's groundbreaking work demonstrated that any wave, regardless of its shape (square, sawtooth, triangle), can be constructed from simple sine waves. By adding enough sine waves together, any periodic function can be approximated. This discovery, initially considered a mathematical curiosity, revolutionized the understanding of heat, electronics engineering, and even the concept of infinity in mathematics. Fourier's life was marked by significant historical events. Orphaned at a young age, he navigated the French Revolution, facing arrest and narrowly avoiding execution. His mathematical talent proved invaluable, saving him from the guillotine. In 1798, Napoleon invited Fourier to join the Egyptian expedition, where he served as secretary of the Institut d'Egypte for three years. This experience profoundly impacted him; upon returning to France, he maintained an uncomfortably hot living environment, perpetually seeking the warmth he experienced in Egypt. As prefect of Iser, Fourier dedicated himself to studying heat flow and temperature change, leading him to derive the heat equation. The equation describes the rate of temperature change over time as proportional to the curvature of the temperature distribution. To solve this, Fourier proposed that any function could be represented as an infinite sum of sines and cosines, a concept initially met with skepticism from mathematicians like Lagrange. However, Fourier's assertion proved correct. He showed that each sine component decays at a different rate under the heat equation, with high-frequency components (sharp features) decaying faster than low-frequency components (gradual variations). This principle explains why a heated rod's temperature distribution smooths out over time. Fourier's work extended beyond heat to the Fourier transform, which converts signals between the time domain (when events occur) and the frequency domain (the frequencies present). Fourier analysis has become ubiquitous, underpinning technologies such as MP3 audio compression (which stores frequencies instead of samples), JPEG image compression (using 2D Fourier cousins), MRI machines (reconstructing images from frequency data), telecommunications (separating radio stations by frequency), and quantum mechanics (utilizing wave-particle duality with Fourier transforms). While Fourier's results were accurate, his proofs lacked the rigor demanded by modern standards. The endeavor to make Fourier series mathematically precise occupied some of the greatest minds of the 19th century. Dirichlet established conditions for convergence, Riemann developed integration theory, Cantor invented set theory through the study of Fourier series, and Lebesgue created modern integration. In addition to his work on heat and wave analysis, Fourier made a crucial observation about the Earth's atmosphere. He recognized that it acts as an insulating layer, trapping heat from the sun—the first recognition of the greenhouse effect. Fourier also emphasized the importance of dimensional homogeneity in physical equations, insisting that terms being added must have consistent dimensions. This principle, now standard in physics, was pioneering when he introduced it in his 1822 masterwork, considered one of the greatest scientific books ever written. Lord Kelvin hailed Fourier's theorem as one of the most beautiful results of modern analysis.

    7 min
  4. MoM Ep14: Gaspard Monge

    FEB 9 · BONUS

    MoM Ep14: Gaspard Monge

    This podcast episode of Men of Mathematics discusses Gaspard Monge, the inventor of descriptive geometry and founder of the École Polytechnique, whose work significantly shaped technical education. Key Topics: Descriptive Geometry École Polytechnique Optimal Transport Problem French Revolution's Impact on Education Monge's relationship with Napoleon Summary: Gaspard Monge, born in 1746 in Burgundy to a knife grinder, displayed exceptional mathematical abilities early in life. His talent led him to a military school where he invented a groundbreaking method for designing fortresses. This method, known as descriptive geometry, was classified as a military secret for 15 years due to its strategic value. Monge's descriptive geometry provided a systematic way to represent three-dimensional objects in two-dimensional drawings using multiple views to capture spatial information precisely. This innovation revolutionized architecture and engineering, replacing immeasurable perspective drawings with a precise language for 3D design. His work evolved from stereotomy, the ancient art of stone cutting, making it mathematical and applicable to various fields. In 1781, Monge introduced the optimal transport problem, concerning the most efficient way to move dirt between piles and holes, which has become fundamental in modern mathematics, machine learning, economics, and meteorology. He also contributed to the study of curved surfaces, influencing Gauss's later work on differential geometry. During the French Revolution, Monge was instrumental in establishing the École Polytechnique in 1794 to rapidly train engineers. This institution broke from traditional norms by emphasizing rigorous mathematics, meritocracy, practical applications, and the blackboard teaching method. The École Polytechnique produced influential mathematicians and scientists, including Cauchy, Fourier, Poisson, Carnot, Fresnel, and Coriolis, leading to French dominance in mathematics during the early 19th century. Monge accompanied Napoleon to Egypt and helped found the Institut d'Égypte, contributing to the Description de l'Égypte, which sparked European interest in ancient Egypt. His loyalty to Napoleon would later have consequences. After Napoleon's defeat at Waterloo, the restored monarchy stripped Monge of his honors and expelled him from the Institut de France. His health deteriorated, and upon his death in 1818, the government forbade students from attending his funeral, though many defied the order. Despite the controversies surrounding his later life, Monge's contributions as a creator and teacher profoundly influenced French mathematics and technical education, leaving a lasting legacy in engineering and mathematics worldwide.

    7 min
  5. MoM Ep13: Pierre-Simon Laplace

    FEB 9 · BONUS

    MoM Ep13: Pierre-Simon Laplace

    This podcast episode of Men of Mathematics discusses the life and work of Pierre-Simon Laplace, a French mathematician and physicist who made significant contributions to celestial mechanics, probability theory, and mathematical physics. Key Topics: Celestial Mechanics Probability Theory Laplace Transform Determinism Laplace's Equation Summary: Laplace, born in Normandy in 1749, quickly rose to prominence in the French scientific community. Patronage secured due to his mathematical abilities allowed him to move to Paris where he was soon presenting papers to the Academy of Sciences. D'Alembert, recognizing his genius, helped to launch his career. He skillfully navigated the tumultuous periods of the French Revolution, Napoleon's Empire, and the Bourbon Restoration, demonstrating political adaptability. Laplace briefly served as Minister of the Interior under Napoleon, who later quipped that he brought the spirit of infinitesimals into government, which was not intended as a compliment. Laplace made groundbreaking contributions to celestial mechanics. Addressing a question left open by Newton, he proved the stability of the solar system, demonstrating that planetary irregularities are periodic and bounded. His five-volume "Mécanique Céleste," published between 1799 and 1825, systematized all known knowledge about planetary motion. He also proposed the nebular hypothesis, suggesting that the solar system formed from a rotating cloud of gas. Laplace also founded modern probability theory. He derived a formula for estimating success probability based on prior trials, expressed as (s+1)/(n+2), where 's' is the number of successes and 'n' is the number of trials. This Bayesian approach provides smoothed estimates, accounting for uncertainty, especially with limited observations. A good example is the sunrise problem. Even after a million days of the sun rising, Laplace's formula doesn't give a 100% probability for the next sunrise, reflecting a residual degree of uncertainty. In mathematical physics, Laplace's equation, which states that the sum of the second partial derivatives of a potential function equals zero, appears ubiquitously in fields such as electrostatics, fluid flow, and heat conduction. Laplace also developed the Laplace transform, a powerful technique that converts differential equations into algebraic equations, simplifying their solution and proving essential in engineering and physics. Laplace is known for articulating a deterministic worldview. He proposed the existence of an intelligence (Laplace's demon) that, knowing the position and momentum of every particle in the universe at a given moment, could predict the entire future and reconstruct the entire past. This concept embodies classical determinism, where randomness is seen as merely a result of ignorance. Although 20th-century physics, with quantum mechanics, Heisenberg's uncertainty principle, and chaos theory, challenged this deterministic vision, understanding the limitations of determinism required centuries of scientific progress. Furthermore, Laplace anticipated the concept of black holes by calculating that a star with a diameter 250 times that of the sun but with the same density would trap its own light. Laplace also developed the mathematics of functions on spheres, which is crucial for geophysics, quantum mechanics, and modern computer graphics. Despite criticisms that he sometimes failed to credit the work of others, Laplace's achievements are undeniable. His final words, "What we know is not much. What we do not know is immense," encapsulates his perspective as a mathematical physicist.

    8 min
  6. MoM Ep12: Joseph-Louis Lagrange

    FEB 9 · BONUS

    MoM Ep12: Joseph-Louis Lagrange

    This podcast episode explores the life and mathematical contributions of Joseph Louis Lagrange, highlighting his transformation of physics into pure algebra and his significant impact on various fields. Key Topics: Lagrange's early life and career Lagrange's contributions to mechanics Lagrange multipliers Lagrange's work in number theory and algebra Lagrange's role in the French Revolution and the metric system Summary: Lagrange, born in Turin as Giuseppe Lodovico Lagrangia, displayed mathematical talent early in life, becoming a professor at 19. His correspondence with Euler led to advances in the calculus of variations. Invited by Frederick the Great to Berlin, he succeeded Euler and produced his finest work over 20 years. Later, he moved to Paris before the French Revolution, where his brilliance shielded him during the Reign of Terror, even after the execution of his friend Lavoisier. Lagrange revolutionized mechanics by replacing Newton's force-based approach with energy-based methods. He introduced the Lagrangian, L = T - V (kinetic energy minus potential energy), and the Euler-Lagrange equation, which automatically yields equations of motion without force diagrams. This method simplifies problem-solving, works in any coordinate system, handles constraints effectively, and extends to quantum mechanics and relativity. The Standard Model of particle physics and Einstein's general relativity both utilize this framework. Another of Lagrange's significant contribution is the concept of Lagrange multipliers, a method for optimizing a function subject to constraints. This technique, where the gradient of the objective function is parallel to the gradient of the constraint (∇f = λ∇g), finds extensive use in economics, physics, machine learning, and engineering. He also devised a formula to construct a polynomial of degree n passing through n data points, essential for numerical analysis, error-correcting codes, and cryptography. In celestial mechanics, Lagrange identified five equilibrium points where objects can maintain stable positions relative to two larger bodies. These Lagrange points are utilized for space telescopes like the James Webb Space Telescope, which orbits the L2 point. Lagrange also made substantial contributions to number theory, proving Fermat's claim that every positive integer can be written as the sum of at most four perfect squares. His study of polynomial equations and their solutions by radicals paved the way for Abel and Galois's work on group theory. Though Galois developed group theory, the fundamental theorem that the order of a subgroup divides the order of the group is known as Lagrange's theorem. Lagrange's magnum opus, Mécanique analytique, published in 1788, reformulated mechanics using pure algebra without diagrams. This work influenced subsequent developments in physics, including Hamilton's extensions and the adoption of Lagrangian mechanics in quantum mechanics and particle physics. As the chair of the Weights and Measures Commission during the French Revolution, Lagrange helped design the metric system. Despite his achievements, Lagrange sometimes lost interest in mathematics after making a discovery, preferring to seek new truths. He is remembered for transforming physics into algebra, developing Lagrange multipliers, contributing to group theory, and advancing celestial mechanics. Lagrange's work is admired for its classical perfection, harmony, and symmetry, solidifying his legacy as a supreme mathematical architect.

    8 min
  7. MoM Ep11: Leonhard Euler

    FEB 9 · BONUS

    MoM Ep11: Leonhard Euler

    This podcast episode of Men of Mathematics discusses the life and accomplishments of Leonhard Euler, a prolific mathematician who made significant contributions to various branches of mathematics and other fields. Key Topics: Leonhard Euler's early life and education Euler's contributions to mathematics Euler's blindness and its impact on his work Euler's influence and legacy Summary: Euler was born in 1707 in Basel, Switzerland, and showed extraordinary talent in mathematics from a young age. He studied at the University of Basel and later spent most of his career at the St. Petersburg Academy in Russia and the Berlin Academy in Prussia. Despite facing personal challenges, including the loss of sight in one eye in 1738 and complete blindness by 1771, Euler's mathematical output increased, demonstrating his remarkable mental calculation abilities. Euler made groundbreaking contributions to various branches of mathematics. One of his most famous discoveries is the Euler's identity, e^(iπ) + 1 = 0, which connects five fundamental constants in mathematics: e, i, π, 1, and 0. He also solved the puzzle of the bridges of Königsberg, inventing graph theory in the process. Additionally, Euler found the sum of the infinite series 1 + 1/4 + 1/9 + 1/16 + …, which equals π²/6. He also discovered the formula V - E + F = 2 for any convex polyhedron, launching the field of topology. Euler's impact extends beyond pure mathematics. He contributed to physics with Euler's equations for rigid body rotation, astronomy, music theory, engineering, and number theory. He also introduced much of the mathematical notation we use today, including e for the base of natural logarithms, i for the imaginary unit, π for the circle constant, Σ for summation, and f(x) for function notation. Euler published approximately 866 papers and books, more than any other mathematician in history. His collected works, the Opera Omnia, fills over 80 volumes and is still being edited over 200 years after his death. Despite his blindness, Euler's mathematical output increased, and he developed astonishing mental calculation abilities. He would dictate papers from memory, with assistants transcribing as he calculated entirely in his head. Euler's ability to overcome adversity and continue to make groundbreaking contributions to mathematics is inspiring. His work laid the foundation for many areas of mathematics and continues to influence mathematicians today. As Laplace famously said, "Read Euler, read Euler, he is the master of us all."

    8 min

About

This podcast exists to liberate Bitcoin holders from second-class citizenship by teaching the mathematics that underlies their convictions. We operate on a simple premise: if you don't understand the math of Bitcoin, you cannot truly know what you know—you're dependent on others' authority, forever vulnerable to doubt and manipulation. Mathematics is the primary pathway to conviction in your own reasoning. Through accessible, conversational exploration of Bitcoin's mathematical foundations—treating math as the liberal art it was always meant to be—we equip listeners with genuine understanding rather than borrowed beliefs. We reject the deliberate demoralization campaign that convinced generations they'r…