Author: V. Turchin,
Date : Sep 1991
Parent Node(s):

Foundation of logic and mathematics

[Node to be completed]

...

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".

Next Previous Contents Search New Random Annotate Help

URL= http://cleamc11.vub.ac.be/LOGMATH.html