Author: V. Turchin,
Date : Sep 1991
In the cybernetic foundation of mathematics [...] we show that if we start with the
principle that a meaningful mathematical proposition is a generator of predictions, we come to the necessity of introducing the user of the mathematical tools into the formalism. The tools of mathematics do not work autonomously, like Turing machines, but rather in an interactive mode. The user of such machines is, like Einstein's observer, a form of "I".