When Kurt Gödel published his incompleteness theorem in 1931, the mathematical community was stunned: using maths he had proved that there are limits to what maths can prove. This put an end to the hope that all of maths could one day be unified in one elegant theory and had very real implications for computer science. John W Dawson describes Gödel's brilliant work and troubled life.
This book starts gently enough, easing us in with the unarguable 2+2 = 4. But don't let this lull you into a misplaced sense of comfort; the ride is going to get very unsettling indeed. Martínez writes with an easy-reading clarity to tackle some of the simplest, but no less profoundly important, assumptions of mathematics. We hear how over the recent history of mathematics seemingly innocuous concepts were as controversial as genetic modification or animal testing are nowadays.