Logic
Explore mathematics articles on the theme of logic.
Podcast42 out of 42: this 17-year-old high schooler aces a perfect score at the math Olympiad
Alex Chui, a 17-year-old British high schooler, achieved a perfect score at the 2026 International Mathematical Olympiad, picking up a record seven medals in seven appearances along the way.
PodcastDo you think in words when solving an equation?
Neuroscience reveals that the brain processes mathematics through networks distinct from those of natural language, calling into question our understanding of mathematical cognition.
PodcastTuring, Matilda, Flatland: the Tangente Prize winners for middle and high schools that bring students and maths closer together
The winners of the Tangente Prizes for middle and high schools are known. Nearly 3,000 students voted for their favorite mathematics books.
PodcastSMF 2025 prizes: d'Alembert and Jacqueline-Ferrand
The Société mathématique de France awards its 2025 prizes to the exhibition “Ça résonne” by MMI Lyon and to the company L'île logique, along with the ResCo scheme for collaborative teaching.
PodcastDid Leibniz really invent the ancestor of the computer?
The article dispels the myth of Leibniz as a forerunner of the computer by examining the historical reality of his universal-language project.
PodcastEsperanto and mathematics: a coherent universal language
Esperanto, created by Zamenhof in 1887, shares mathematics’ ideal of perfect coherence. Discover why this constructed language fascinates logicians and mathematicians.
PodcastTerence Tao warns: AI writes proofs no one can read
Terence Tao warns of a new threshold: AI is accelerating proof formalization, but producing results too verbose for humans to understand.
PodcastWhen AI "solves" a conjecture without proof: mathematicians push back
The mathematical community is mobilizing in response to AI's claims. The Leiden Declaration draws the line between generating and verifying proofs.
PodcastMathematicians and atheism: Laplace, Erdős and Hardy defy God
Laplace, Erdős and Hardy: three anecdotes about mathematicians who used logic and mathematics to question the existence of God.
PodcastLeibniz and the best of all possible worlds: mathematics and philosophy
How Leibniz uses mathematics to justify the existence of the best of all possible worlds through infinitesimal calculus, symmetry, and philosophy.
PodcastThe three certainties on which Descartes built all of his physics
How Descartes built his philosophy on three certainties: the existence of the thinking subject, divine goodness, and mathematical rigor.
PodcastNumber symbolism in the Bible: the spiritual meaning of 2, 3 and 4
Explore the spiritual meaning of the numbers 2, 3 and 4 in the Bible: the divine covenant, the Trinity and the whole of creation.
PodcastLeibniz, the Yi Jing and binary: an unlikely encounter
Discover how Leibniz found a forerunner of the binary system that would revolutionize modern computing in the Chinese Book of Changes.
PodcastWhitehead: logical harmony of mathematics and philosophy
A journey into the thought of Alfred North Whitehead, who laid the foundations of the Principia Mathematica with Russell and developed a metaphysics of the cosmos in which God and mathematics work together in the world's unfolding.
PodcastPascal's Wager: probability and faith in mathematical analysis
An explanation of Blaise Pascal's famous argument about the wager of faith, applying probability theory to the question of God's existence.
Podcastabc conjecture: why computer verification could solve math's biggest scandal
Since 2012, Shinichi Mochizuki's proof of the abc conjecture has divided the mathematical community. Researchers are turning to computer-assisted formal verification to finally settle the matter.
PodcastBusy Beaver: the function beyond all computability
The Busy Beaver function grows faster than any computable function. Discover why some numbers are mathematically inaccessible.
PodcastTerence Tao and AI: what they are changing in mathematics
Terence Tao, a Fields Medalist, shares his experience with AI in mathematical research: an exploration partner that is transforming the way problems are formulated.
PodcastAlkindi 2026: cryptanalysis final for middle schoolers at the École des Mines
Twenty teams of middle and high school students go head-to-head on 13 May at the École des Mines de Paris to win the title of France's best junior cryptanalyst.
PodcastMichèle Audin: mathematician, writer and Oulipian
Michèle Audin's life brought together several forms of commitment. Professional mathematician, writer, social and political activist: every strand was intertwined with and enriched the others.