Mathematical undecidability of a monster (by E. Carrère)
A mathematical formula is undecidable with respect to a given set of axioms when neither the formula nor its negation can be proved out of the set of axioms. The last place one expects to […]
Month: September 2021
Does God play dice?
In the posts entitled Bringing some order I, II and III we have described the birth of a new mechanics: quantum mechanics. Quantum mechanics was intended to explain what Newtonian mechanics was unable to describe: the […]
Hypsometry in New Granada
The measurement of the world is a subject that has been addressed by great mathematicians since ancient times. For example, Eratosthenes, applying his knowledge of geometry, measured the radius of the Earth (you can read […]
Al-Bīrūnī: sourer than vinegar, I
After the events in Afghanistan this August, it seems appropriate to dedicate a couple of posts to al-Bīrūnī, a mathematician who moved in that part of the world at the turn of the first to […]