A few weeks ago, Derek Müller challenged the Web with an awesome bullet block experiment on Veritasium. Try to guess the answer!

Now, check the result of his experiment, and see if you were right!

Here’s my answer to Derek’s challenge, involving a dangerous door experiment:

A big thank you to Federico Larumbe for ideas and filming. And here’s a link to ScienceAll.

Finally, here’s Derek’s answer:

Please subscribe and support Derek’s channel. What he’s doing is absolutely awesome. In fact, in the History of science, he might be one of the first to educate and teach millions of people awesome science in such a cool and inspiring way! Think about it. For one week, he had hundreds of thousands of people worldwide working on one same science problem! Isn’t it amazing?

Let’s celebrate and enjoy what he’s offering to the world!

Ever since I read about Hawking’s model-dependent realism, I’ve been searching for a rigorous criterion to identify good theories. Without any convincing answer… But a few months ago, I had the chance to attend a brilliantly enlightening talk…

I took the train to Poggibonsi from Florence early morning. At Poggibonsi, a bus could have taken me to the renowned San Gimignano, but I chose to hike there to better explore the Tuscany countryside. This was a bad idea, as the path to the small village was a large main road with no sidewalk!

Still, I did get to enjoy the beautiful colors of mid-december Tuscany, which were slowly unveiled by the disappearing morning fog.

Eventually, I took smaller bifurcating paths which took deeper into the breathtaking forest. In particular, I found the spectacular tree on the right, whose outer leaves had adopted the redness of the fall, while inner leaves had remained beautifully green.

Amazing!

Later, I arrived in San Gimignano. This charming small old village on top of a hill was beautifully decorated with lightbulbs for the coming Christmas.

It was mesmerizing!

But the bouquet final came with the sun set, as the bright red lights were wonderfully coloring on the beautifully lit village…

Montreal is both too cold and too hot. The everlasting winter often gets the thermometer below -20°C. Spring lasts a week only. Then comes a hot and unbearably humid summer. Fortunately, Montreal and Québec have the fall. And I know no place on Earth where fall is as enjoyable as it is around Montreal. This is particularly the case of Mount Tremblant, a couple hours in the North of Montreal.

In mid-October, Olivier, Nathanaël, Pierre and I rent a car and hiked the 800-meter high hill. Up there were amazing viewpoints on the hilly plain filled with red and yellow leafs. Wonderful!

While our way up cut through the steep ski slopes, our way down took us through the breathtaking forest.

This beautiful path took us to some mesmerizing lookouts which displayed the Tremblant lake. What a view!

A hundred years, two giants of mathematics debated the role of rigor and intuition in mathematics. While the mighty David Hilbert was praising rigorous foundations for the field, the renowned Henri Poincaré was arguing that mathematics was a matter of intuitions. Who won?

Most would probably answer that Hilbert won, but the answer is far from being that obvious.

Undoubtedly, the discovery of uncountable paradoxes due to self-reference, infinity or probability was a great argument in favor of rigor. Fortunately for us all, all along the 20th century (but mainly around the 1950s), a group of the brightest mathematicians, known as Nicolas Bourbaki, provided a rigorous foundation to mathematics, which solves these paradoxes.

Well, sort of…

Back in the early 1900s, Russell and Whitehead published the Principia Mathematica and provided a first draft of such a foundation. But it took them 362 pages to finally prove 1+1=2! 362 pages of detailed rigorous but unreadable mathematical construction! Not surprisingly, this wasn’t much of a best-seller, even among mathematicians…

Fortunately though, years after publication, the Principia Mathematica ended up in the hands of Kurt Gödel, who did read it and managed to understand it well enough to give a dramatic review: Russell and Whitehead’s theory was incomplete. And this wasn’t the kind of incompleteness that could be fixed by a third or fourth version of the book; it was the kind of incompleteness that could never ever be fixed. This was known as Gödel’s incompleteness theorem. Below is Gödel’s key element of the proof.

So there you have it. Today’s mathematics is based on shaky foundations. It is not stricto sensu rigorous.

But there’s worse than that about using rigor rather than intuition! As the example of the Principia Mathematica shows it, if we were to really be rigorous, our mathematics would be written in gigantic unreadable volumes. Worse, just like when we use algebra only, it’s impossible to build complex truly rigorous reasonings.

So, did Poincaré win?

Not really either… If it weren’t for rigor, we wouldn’t have solved all of the paradoxes we used to have! More importantly, we wouldn’t have understood how counter-intuitive mathematics are. Even the simplest concepts of logics have deeply baffled the brightests of us all! Even they need time to really make sense of them. And when it comes to real life, our intuitions can be much more wrong than a chimpanzee’s, as explained by Hans Rosling in a Ted-Talk:

Which leads me to the most important point of this post: rigor deeply improves our intuitions! This is more or less what Fields medal winner Terrence Tao argues, claiming that mathematicians reason in a post-rigorous phase.

The most illustrative example of that is the History of Hilbert’s 16th problem on dynamic systems. The first major theorem regarding this problem was proved in 1923, but the proof was shown to be flawed in 1981! Worse, all along the 20th century, 4 other theorems on this problem were announced, but errors kept being found! Thanks to rigor. Meanwhile, understanding where the flaws occured built better intuitions on this problem, which has led to a new theorem proved by Ilyashenko and Écalle. This one seems to hold. For now…

As you see, the rigor of such proofs is so hard to check that we might say we are still lacking of rigor. Fortunately, new computer-based foundations of mathematics like Coq now enable writing perfectly rigorous computer-checkable proofs. Hopefully, in years to come, we’ll be able to easily use such programs to prove theorems and be sure of their validity. Hence better guiding our intuitions.

In some sense, both Hilbert and Poincaré were right. Mathematics is a matter of intuitions, but rigor is essential to get the intuitions right. Only then, when the intuitions are right, can we do complex reasonings on difficult problems. But since such reasonings will be based on intuitions, it’s essential to then check them, which has to be done using rigor. Roughly, the following diagram displays relations between intuition, rigor and mathematics.

One amusing thing that does not appear on the diagram is that intuition is also essential to rigor. More precisely, especially in mathematics, we constantly use our intuition to estimate the necessity of being rigorous.

Note that the only feedback to intuition is through mathematics (or, more generally, rigorous analysis). This is why mathematics is essential in schools, especially mathematical proofs! It’s of the greatest importance to know that nearly all of our reasonings are based on our intuitions, but that, unless trained, these intuitions are often deeply flawed. I believe the role of mathematics in schools to be precisely to use rigor to get intuitions right. Or, at least, less wrong.

And I do think that the role of mathematics in research is precisely the same. This is why I love counter-intuitive mathematical results, as they prove that my intuitions were deeply wrong. I also like the intuitive ones, as they confirm that my intuitions were right. And the kind of results I try to prove really aim at improving my intuitive understanding of what’s out there. Thus getting my intuitions right. Or, at least, less wrong.