Formalising Informal Mathematics

This blog is mostly based on the video below, which is about a mathematicians vision to formalise modern mathematics. If you’re interested at all in mathematics I’d recommend giving it a watch, but if not, the speaker’s deadpan and sarcasm make it interesting to listen to alone. If you have taken a mathematics course this …

The Great Green Wall

Below is a picture of the Sahel, a transitional strip of land measuring 8000 km long and 15 km wide. It sits below dry desert land (Sahara Desert) and above tropical savanna (Sudanian Savanna). Countries that lie in it include Mali, Niger and Senegal. As a result of desertification, population growth and unsustainable agricultural practices …

Fraud and the First Digit Law

In 1881, Simon Newcomb (an astronomer) observed that the tables at the front of his book of logarithms were much more worn then those further along. In his words, ‘The first significant figure is oftener 1 than any other digit, and the frequency diminishes up to 9’ . About fifty years later, Frank Benford rediscovered …

Design a site like this with WordPress.com
Get started