A consortium of today's greatest mathematicians have laid out new foundations. They all lie upon one single axiom, called univalence. With univalence, our Arabic numbers aren't just like natural numbers; They are natural numbers. Univalence also has unforeseen and mesmerizing consequences.
In this article, we explore the possibilities allowed by higher inductive types. They enable a much more intuitive formalization of integers and new mind-blowing definitions of the (homotopical) circle and sphere.
In 2013, three dozens of today's brightest minds have laid out new foundations of mathematics, which better fits both informal and computationally-checkable mathematics. Have a primer of this upcoming revolution, with this article on type theory, the theory that the book builds upon!
Take a square sheet of paper. Can you glue opposite sides without ever folding the paper? This is a conundrum that many couldn't figure out. While John Nash did answer yes, he couldn't say how. Finally in 2012, Borrelli and his collaborators finally made it! And it is spectacularly beautiful!
From the destruction of bridges and buildings to the foundations of electromagnetism and quantum mechanics, through their uses by radios or our ears,resonance is a counter-intuitive underlying phenomenon which shapes our reality. But amazingly, they can be made visual by playing with head massagers!
In 1988, Euler's identity was elected most beautiful theorem of mathematics. It has been widely taught worldwide. But have you ever stopped to really sense the meaning of this incredible formula? This article does.
In recent years, at the interface of game theory, control theory and statistical mechanics, a new baby of applied mathematics was given birth. Now named mean-field game theory, this new model represents a new active field of research with a huge range of applications! This is maths in the making!
In 2006, Pluto was officially demoted from its planetary status. When we dig a little bit, this isn't much of the surprise. What's more interesting is rather why it ever was regarded as a planet, as the History of Pluto highlights a magic enterprise that science is!
We all intuitively think of ourselves as independent creatures with strong free will. However, many disturbing experiments about fashion, conformity, obedience, environment, choice and opinions have been troubling this idea we make of ourselves. These ought to be lessons of humility for all of us.