Mechanizing mathematical reasoning

About this book

At the time Alan Turing was engaged in deciphering the code of the Enigma in Bletchley Park and Konrad Zuse applied his patent for the first electronic computer called "Rechenvorrichtung" in Berlin, Jörg was born into the rural capital of the smallest Fürstentum of Germany, called Schaumburg-Lippe, a name even well educated Germans have probably never heard of.