| ||||

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

...

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