How did the subjects featuring in this site originate in the flow of science history? The road map here gives a small bird’s eye view. Originally, we are in the Foundations of Logic and Mathematics. After the monumental Theory of Types of Bertrand Russell, we saw the emergence of the theory of computation, embodied in the Lambda Calculus and its twin Combinatory Logic. Some decades later a more applied version of the lambda calculus was developed, known as Term Rewriting Systems, with its influence on programming languages. Type theory gave rise to theorem provers, proof checkers, and the formalisation of mathematics. At the end of the past century the notion of infinity became prominent.
