"I am convinced that my Begriffsschrift will find successful application wherever particular value is placed on the rigor of proofs, as in the foundations of the differential and integral calculus. It seems to me that it would be even easier to extend the domain of this formal language to geometry. Only a few more symbols would need to be added for the intuitive relations occurring there. In this way, one would obtain a kind of analysis situs."

Preface to Begriffsschrift, 1879, Gottlob Frege

Further Reading & Resources:

Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/

Production:

Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.