< Texts on topics  cikon.de

A Short Refutation of Computationalism A possible wording of the computationalist's credo:"Whatever the functional principle of the mind or intelligence, the computer is guaranteed to be able to accommodate it." (As quoted / stated in Who will win AI: Computer or Brain?, by Christoph von der Malsburg.) Question: Is this a theorem? In other words: Is the (human) mind (i.e., the totality of  electrochemical and electrodynamic  processes supported by the brain and its body interacting with their external environment) provably computable (e.g., Turing realisable)? This looks like an instance of Church's Thesis. What would be required of a rigorous proof? Remember: Church's Thesis is not a theorem! It cannot be proven. It can be interpreted as a definition of "computability" and made plausible (as a definition) by proving the equivalence of different formalisms designed to capture the notion of effective computability (e.g., Turingmachines, lamdacalculus, recursive functions, Chomsky0 grammars, RAMs, Post's rewriting systems, Markov algorithms, etc.). That's all. Hence, in order to prove a statement such as the above (more reliably than by mere "handwaving") we have to create a formal (abstract) model of brainbodysystems and prove its Turingequivalence. But there is no guarantee that our model captures all relevant aspects (or functional principles?) of natural brainbody systems. Whatever model we come up with, it falls short of the "real thing". That's what models do. To claim that we can create an allencompassing model of natural brainbody systems (let alone implement it) would in all likelihood be an instance of potentially dangerous hubris (see also: Will “intelligent” machines “take over”?). Of course we know that biological brainbody systems can compute, they are capable of emulating Turing Machines (simply because they were invented by one specific brainbody system, named Alan Turing!). So the reverse of the above stated credo is trivially true: "Whatever the functional principle of the (Turingequivalent) computer, the human mind or intelligence is guaranteed to be able to accommodate it." The human mind, unassisted, does it slowly, very slowly. But it is powerful enough to invent devices that speed it up dramatically. We call these devices  products of the human mind  "computers", artificial extensions of the human mind. (More on The MindBody Problem – is it Really a Problem?) HansGeorg
Stork, 3/2017
