09.09.2014 Views

13th International Conference on Membrane Computing - MTA Sztaki

13th International Conference on Membrane Computing - MTA Sztaki

13th International Conference on Membrane Computing - MTA Sztaki

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Turing and v<strong>on</strong> Neumanns brains and their computers<br />

put all these things in a more complete statement: The following restricti<strong>on</strong>s are<br />

mutually equivalent: to be macroscopic; to be Euclidean (i.e. to adopt the parallel<br />

axiom in the way we represent space and spatial relati<strong>on</strong>s); to be Galileo-Newt<strong>on</strong>ian<br />

in the way we represent moti<strong>on</strong>, time and energy; to capture the surrounding and to<br />

act according to our sensorial-intuitive percepti<strong>on</strong> of reality; to use and to represent<br />

language, in both its natural and artificial variants (moreover, to use human semiosis<br />

in all its manifestati<strong>on</strong>s).”<br />

So a natural sequence emerges, having Leibniz, Boole, Bohr, Turing, Shann<strong>on</strong>,<br />

McCullogh-Pitts and v<strong>on</strong> Neumann as successive steps. It tells us the idea of the unity<br />

of human knowledge, the unifying trend bringing in the same framework logic,<br />

language, thought and algebra. But we have here <strong>on</strong>ly the discrete aspects, while v<strong>on</strong><br />

Neumann wanted much more.<br />

3. John v<strong>on</strong> Neumann’s Brain<br />

3.1 v<strong>on</strong> Neumann’s unificati<strong>on</strong>: formal logic +<br />

mathematical analysis + thermodynamic error<br />

It was <strong>on</strong>ly too fitting for v<strong>on</strong> Neumann to study the most inspiring automat<strong>on</strong> of all:<br />

the brain.<br />

“Our thoughts ... mostly focused <strong>on</strong> the subject of neurology,<br />

and more specifically <strong>on</strong> the human nervous system, and there<br />

primarily <strong>on</strong> the central nervous system. Thus in trying to<br />

understand the functi<strong>on</strong> of the automata and the general<br />

principles governing them, we selected for prompt acti<strong>on</strong> the<br />

most complicated object under the sun – literally.”<br />

His theory of building reliable organs from unreliable comp<strong>on</strong>ents and the associated<br />

probabilistic logics was focused <strong>on</strong> modeling system errors in biological cells, central<br />

nervous systems cells in particular. His research program aimed boldly at the<br />

unificati<strong>on</strong> of the “most refractory” and “rigid” formal logic (discrete math) with the<br />

“best cultivated” mathematical analysis (c<strong>on</strong>tinuous math) proposals via a c<strong>on</strong>cept of<br />

thermodynamic error. “It is the author’s c<strong>on</strong>victi<strong>on</strong>, voiced over<br />

many years, that error should be treated by thermodynamical<br />

methods, and be the subject of a thermodynamical theory, as<br />

informati<strong>on</strong> has been, by the work of L. Szilard and C. E.<br />

Shann<strong>on</strong>.”<br />

Turing also uses thermodynamics arguments in dealing with errors in computing<br />

machines. For v<strong>on</strong> Neumann this was at the core of a theory of informati<strong>on</strong> processing<br />

for the biological cell, the nervous system and the brain. The error model was given<br />

the latitude to approximate and therefore was not an explicit model of “the more<br />

complicated aspects of neur<strong>on</strong> functi<strong>on</strong>ing: threshold, temporal summati<strong>on</strong>, relative<br />

inhibiti<strong>on</strong>, changes of the threshold by aftereffects of stimulati<strong>on</strong> bey<strong>on</strong>d synaptic<br />

delay, etc.” He proposed two models of error. One, c<strong>on</strong>crete – ala Weiner and Shann<strong>on</strong><br />

“error is noise” where in every operati<strong>on</strong> the organ will fail to functi<strong>on</strong> correctly in a<br />

41

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!