Skip to main content

Does the Church-Turing thesis describe the workings of the human brain?

 Modern computers are based on the Von Neuman architecture, which consists in a central processor that executes sequentially one operation at a time over a given data according to some predefined instructions stored in a memory. Such machines can be reduced to a universal Turing machine, furthermore, the Church-Turing thesis postulates that any computation can be described as a program of the so called universal Turing machine. The thesis can be equivalently formulated as: any computation is a sequence, and such sequence can be composed further into more complex sequences by a concatenation rule common to the smaller sequences. Does human computation follow the Church-Turing thesis? The parallel wiring of human brain seems to deny it,  in fact, the computer metaphor for the brain is inaccurate and crude, as many authors (Edelman) have carefully discussed.
Sackur and Dehaene’s interpretation of the experimental data from some basic arithmetic computation suggests that the old cognitive dispute between sequential and parallel brain processing is better understood in terms of conscious and unconscious computation, understanding such concepts in terms of Neural Darwinism (or equivalently, Workspace Theory). Conscious processing according to this thesis would consist in multiple serial stages of stochastically accumulated evidence, i.e., the operation of the human brain is approximately serial, a Von Neuman-like machine [Sackur and Dehaene. 2009, 209], or we should better say: although the architecture of our computers and the human brain are not commensurable, the linking of two conscious processes of the brain have an almost-sequential character, that can be accurately described by the model of a Von-Neuman like machine.
References


Sackur, Jérôme and Dehaene, Stanislas. The cognitive architecture for chaining of two mental operations. Cognition 111 (2009) 187–211.
Labels:

Comments

Post a Comment

Please write here your comments

Popular posts from this blog

Limen et Continuum

  Existence is Encounter. Meeting at the limen. In the limen, the masks disappear, that is, the basic intuitions of identities, such as the identity that I feel and think in relation to the tree that I see in front of me. The identity of the tree is a projection of mine: the unity of my process of perceiving the tree generates a mask in me, the ghost of a limited unity separated from everything else. The simplest form of intuitive understanding of masks and limen is given to us by numbers. Numbers intuitively express the liminal tension that is Existence. A little etymological note. Rythmos in Greek means flow. Arythmos (number) is what does not flow, what remains solidified. Numbers express the liminoid, and flow, rhythm, expresses the liminal. A rhythm becomes liminoid when we can trace patterns in it, that is, when we can construct masks of identities. Mathematics has spoken of flow using the Latin word “continuum”, the continuous. All modern science, since Leibni...
Post a Comment
Read more

Ritual, Scientific Experiment and Truth

 Human rituals have their roots in animal behavior, and the animal pattern has its roots in the need for repetition of living organisms, in the cyclical structure of physiological actions. At the human level, ritual behavior involves a delimitation of space and time, as well as a different meaning of both with respect to the spaces and times of everyday experience. From the ritual ceremonies of cold societies, we observe the care and thoroughness of the shaman to determine with precision the spaces, times and elements that intervene in the rite. Sacred space delimits the world, not only as a place of action, but also the scope of meaning of the things contained in that space. It is a space loaded with meaning: there is an order in things. Time itself acquires its meaning in relation to this order of things, and cyclically closes the space in the “tempo” of the rite, a tempo that is a symbol of the tempo of the World. What is not in the rite or is not referable to the rite has no re...
Post a Comment
Read more

Metalanguages are formal metaphors

  In a logic class, the professor tells his students: "Yesterday, while talking with my Sufi gardener about happiness, we ended up talking about metalanguages, because he said that orchids are 'chambers where light plays between amorous encounters.' I told him: 'You have to be a poet to talk about poetry.' He replied: 'You just have to be human.'" In what way can we say that my gardener is proposing that every metalanguage is a formalized metaphor for its object language and what would be the metaphor for arithmetical addition? Furthermore” -he asks-how does this little narrative show that Kurt Gödel was a Platonist? One student answers: “The gardener uses orchids as a metaphor for biological reproduction, and from this he makes a second-order metaphor at the human level, calling reproduction a loving encounter. The gardener is a Sufi; in Sufi ontology, the word 'encounter' is used as equivalent to 'existence,' a double meaning (Wujud)....
Post a Comment
Read more