The theoretical background of the computer was developed at the beginning of the 20th century, but it was not until the Second World War that progress was made in developing electrical calculating machines. Now we have a new era; the era of computers. In the beginning, the computer was a machine that had a very limited capacity and calculation, and it was only used in a very few important centers. With the passage of time, computers began to be used in business centers, and eventually the production of personal computers became more widespread. Nowadays, we can see many high-tech machines, like handheld PC’s and robot dogs everywhere we look.

In the last fifty years, computer technology has developed rapidly. With respect to this, logical-thinking devices have also been greatly developed. Artificial Intelligence (AI) provides the logical thinking for these types of devices. The goal of AI is to attain the level of logic that “living systems” (i.e. humans) possess. The improvements in AI systems are encouraging to the scientists involved in the field; they now believe that not only can a humanlike machine be built, but, in fact, a machine that is more advanced than humans can be developed. The debate on this subject has separated scientists into two camps. AI advocates claim that in the future people will have the opportunity to make advanced devices that have a better ability to think and decide than humans have. On the other hand, many scientists think that the decision-making mechanism of the human brain contains something that is beyond electronics and that cannot be replicated in an electronic device.

Before going into details, we must first answer the question “what is intelligence?” A being is intelligent if it understands and evaluates some “known data”; if it makes logical inferences and avoids redundant processes and therefore arrives at a sound solution. The famous English mathematician Alan Turing claimed that “if the interrogator cannot distinguish the machine from the human” then the machine is assumed to be intelligent. The Turing Test consists of an interrogator, a machine and a human placed in three rooms. The interrogator is in contact with the human and the machine over text terminals.

The theory of computation was first propounded by Alan Turing in 1936. He described, in basic terms, “The Turing Machine” which is an abstract machine with an unlimited amount of storage space that can go on computing forever without making any mistakes. The Turing Machine only performs three basic operations; reading, writing, and moving the read-write head. According to the Turing Theorem, all computers are Turing equivalent; that is, any process that can be done by a Turing Machine, can be done by a computer and similarly any process that can be done by a computer, can be done by a Turing Machine.

Figure 1 A simple illustration of a Turing Machine

The Turing machine is an abstract model of computer execution and storage that gives a mathematically precise definition of algorithm or “mechanical procedure.”

All computers perform algorithmic processes. Algorithm means a step by step progression. In other words, you have a certain situation. You solve that situation and proceed to another situation that is better than the last one. Using this step by step solution method you are able to reach the goal situation. This is an algorithmic problem. An example will make this easier to understand:

Suppose we have any 10 numbers.

Problem: What is the sum of these numbers?

Figure 2 The algorithm that gives the sum of any given 10 numbers.

As shown above, the sum is “0” in the beginning. A loop with 10 processes is prepared and the next number is read. The number is added to the sum and the algorithm moves to the next number. The process continues until the 10 numbers have been finished. After the process is finished, the result is written.

On the other hand, there are many known problems that do not have any algorithmic solutions. A simple example is given in the following:

Problem: Find a number that is not the sum of three square numbers.

In this problem we had a bit of luck; we just tried 7 and were able to find the solution. Let’s change the problem a little bit:

Problem: Find a number that is not the sum of four square numbers.

The eighteenth-century mathematician Lagrange proved the well-know theorem that every number can be expressed as the sum of four squares. What this means for our computer is that if we were to simply go on in a mindless way trying to find such a number, the computer would simply chug away forever, never finding any answer. In order to solve this problem, therefore, Lagrange had to apply a method that was not algorithmic. Additionally, Penrose states that “there are certain classes of problems that do not have any algorithmic solutions.”

In fact, Turing described the situation where a computer fails to find a solution and therefore does not come to a stop (or a halt) as a “halting problem.” One good example of this, given by Penrose, is the completely deterministic, but non-computable “tiling problem.” We are given tiles called polyominoes and we have to place these tiles on a Euclidian plane

Figure 3. Various sets of polyominoes that will tile the infinite Euclidean plane (reflected-image tiles being allowed).Neither of the polyominoes in set (c), if taken by itself, will tile the plane, however.

In Figure 3 (a), it is obvious to see the tiling of the plane by tiling around a cross. In figure 3 (b) the same condition holds, but in part (c) the tiles cannot tile a plane by themselves, but only together. Another example is shown in the following.

Figure 4. A set of three polyominoes that will tile the plane, but in a way that never repeats.

The plane can be tiled by using three polyominoes, but not in an algorithmic way. In other words, the computer will try to tile the polyominoes by adding around each of them and, since it cannot find a pattern, it will go on forever and will not be able to arrive at a conclusion as to whether or not the polyominoes will tile the plane.

One of the most important factors that separate computers from the human mind is consciousness. Consciousness is the process of understanding. The computer can compute the data given, but it cannot understand what the data means. For example, when one of your friends calls you, you understand that he has called you and you respond. When you switch on a machine, it starts to work. It is not because the machine has understood that you have pressed the button; rather the electronic structure of the machine has been designed to work when you switch it on. The machine cannot understand; it is not conscious. Here are some more examples:

Figure 5. White to play and draw—easy for humans, but Deep Thought took the castle.

In the chess game above, by just playing the king left and right, white can bring the game to a draw. But, at first to make the game a draw, the white player has to understand the situation. Since the computer has no capability to understand, it may think that it would be more profitable to take the castle and therefore it loses the game.

Another example:

Figure 6. White to play and draw—again easy enough for humans, but a normal expert chess computer will take the castle.

There is a great temptation to take the black castle with the white bishop, but the correct thing to do is to pretend that the white bishop is a pawn and use it to create another barrier of pawns. Once you have taught the computer to recognize barriers of pawns, it might be able to solve the first problem, but it would fail on the second because it needs an extra level of understanding. The situation is very easy for a human, but as we mentioned, it is quite difficult for a computer.

These examples are halting problems because both situations have endless algorithms to identify the solution, so basically they need to be understood by an intelligent mechanism. Maybe the chess problems can be solved with enough computation, but again we can make the situation more complex. That is to say, the important thing is not computation, but understanding the situation.

In conclusion, the problems we mentioned above are some of the basic problems that AI has to overcome. The present technology is very far from being similar to the human mind. The human mind is not a simple substance; in fact, quite the contrary, it is an incredibly complex structure. There are many things that play a role in the human mind; it is not easy, perhaps it is even impossible, to build a mechanism that is like the human mind. 

References

• Adami C., Introduction to Artificial Life: Flavors of Artificial Life, 1999.
• Aksoy M. S., Artifical Intelligence, The Fountain, No.4, s.10.
• Artificial life and the Turing Test, Retrieved from World Wide Web: “http://http1.brunel.ac.uk:8080/depts/AI/alife/alife-main.html” http://http1.brunel.ac.uk:8080/depts/AI/alife/alife-main.html, 2000
• Crick F., The Astonishing Hypothesis: The Science Search for the Soul, Charles Scribner’s Sons, 1994.
• Penrose R., Shadows of the Mind: Consciousness and computation, Oxford University Press, 1994.
• Penrose R., Shadows of the Mind: Does Mind have a Place in Classical Physics, Oxford University Press, 1994.
• Penrose R., Shadows of the Mind: Quantum Theory and the Brain, Oxford University Press, 1994.
• Penrose R., Shadows of the Mind: A Search for the Missing Science of Consciousness, Oxford University Press, 1994.
• Petri H.L., Mishkin M. Behaviorism, Cognitivism and the Neuropsychology of Memory, American Scientist, Jan-Feb 1994. s. 3037.
• Searle J.R. Minds, Brains and Computers. Retrieved from World Wide Web:”http://www.siu.edu/~philos/faculty/Manfredi/intro /searle.html” http://www.siu.edu/~philos/faculty/Manfredi/intro/
• searle.html, 2000.
• Interview with Ucoluk G., Can a More Advanced Mechanism than the Human be Built?, 1999.

The theorem published in 1931 by the 25 year old Austrian scientist, Kurt Godel, made a great impact on the scientific circles. Not only did it destroy the hopes of many scientists, but it also initiated a new point of view concerning AI and the mind. This theorem is one of the most important ones to be proven this century, ranking alongside Einstein’s Theory of Relativity and Heisenberg’s Uncertainty Principle. However, very few people know about it. In this article, we will examine in detail the effects of Godel’s theorem on AI.

What is Godel’s Incompleteness Theorem?

As a formal definition, proof is a sequence of well-formed-formulas (wff), each of which is either an axiom or a wff that is derived from preceding wff’s. Godel’s contemporary Hilbert, one of the most famous mathematicians, thought that all proofs in mathematics can be obtained in an automated way (with an axiomatic system) and he started to work on this project. He believed that if he derived all wff’s in basic arithmetic from its own axioms, then he could derive all facts in mathematics using these axioms.

Unfortunately, Godel demonstrated the impossibility of this. First of all, he found a method of translating the syntax of a formal system into arithmetic. Then he formulated the statement, “This formula is improvable in the system,” (G) in arithmetic. Using the same method, he also formulated the negative of the statement G (“This formula is provable in the system”). For the next step, he showed that if the truth value of G was calculated, the truth value of negation of G could also be calculated, causing a contradiction. At the end of his calculations, Godel arrived at two very important consequences:

1. If a formal system that contains minimal arithmetic is consistent, then it is incomplete.

2. Consistency of any formal system containing minimal arithmetic is not internally provable (by using the system’s own rules and formulas).

Surprisingly, even if G were added as a further axiom into the system, a new Godel sentence could be easily found. In other words, no matter how many axioms we add, one can find a Godel sentence that will make the truth value undeterminable.

What Does the Theorem Imply for Artificial Intelligence vs. the Mind?

By examining Godel’s Theorem, one can determine very important consequences for artificial intelligence. An English mathematician, Turing, described an abstract machine called the “Turing Machine.” This is an abstract machine which has an unlimited amount of storage space and which can go on computing forever without making any mistakes. This machine can compute any type of algorithmic problem. According to the Turing Theorem all computers are Turing equivalents. After proposing this, Turing went on to observe that some type of problems have no algorithmic solutions. In the meantime, “the Halting Problem” emerged – the problem of deciding those situations in which a Turing Machine action fails never comes to a halt because of the consequences of the Godel’s Incompleteness Theorem.

It has been proven that a halting problem is computationally insoluble. This leads us to an important conclusion; a computer cannot be the same as the human mind because the non-computational physics of the mind is not available for Turing equivalent machines and the nature of the algorithms is not compatible with the thinking process due to the halting problem.

The argument of the Godelian Case problems made great sense to AI supporters. Godel’s Theorem started a great debate between supporters of AI vs. those of the human mind.

Reviews of the Theorem on AI vs. Mind

Penrose claims that the human mind cannot be compared to artificial intelligence. Penrose bases his claim on Godel’s Incompleteness Theorem. By appealing to the results obtained by Godel (and Turing), mathematical thinking (and hence conscious thinking generally) is something that cannot be encapsulated within any purely computational model of thought. This is the part of Penrose’s argument that his critics have most frequently taken issue with. In addition, he states that there are certain classes of problems that do not have any algorithmic solutions (R. Penrose, 1994, p.29). In fact, Turing described this as the halting problem. Penrose gives an example of the completely deterministic, but non-computable “tiling problem” (R. Penrose, 1994, p.30-33).

Penrose asserted that some mathematical relations required long chains of reasoning before they could be perceived with certainty. But the object of a mathematical proof is to provide such chains of reasoning that each step is indeed something that can be perceived as being “obvious.” He concluded that the endpoint of such reasoning is something that must be accepted as being true, even though it may not, in itself, be at all obvious. One might imagine that it would be possible to list all possible “obvious” steps of reasoning once and for all, so that from that time on everything could be reduced to computation. But, what Godel’s argument shows is that this is not possible. There is no way to eliminate the need for new “obvious” understandings. Thus, mathematical understanding cannot be reduced to blind computation (R. Penrose, 1994, p.56).

Penrose claims that the results of Godel’s

theorem established that human understanding and insight cannot be reduced to any set of computational rules (R. Penrose, 1994, p.65). In the chapter entitled “The Godelian Case” of his book Shadows of the Mind, Penrose supported his idea with Turing’s Halting Problem and showed sound examples on non-computability. At the end of the chapter he answered possible technical objections to his idea based on Godel’s Theorem in details (R. Penrose, 1994, p.64-116).

Penrose believes that there is something beyond computation in the human mind. In Chapter 3 of Shadows of the Mind, he examines the thinking process and non-computability in mathematical thought carefully and uses formal representations (R. Penrose, 1994, p.127-209). Godel’s theorem states that in any sufficiently complex formal system there exists at least one statement that cannot be proven to be true or false. Penrose believes that this would limit the ability of any AI system in its reasoning. He argues that there will always be a statement that can be constructed which is unprovable by the AI system. However, Penrose believes that somehow the human mind can see the truth of such Godel statements directly (R. Penrose, 1989).

Along the same lines as Penrose, Lucas believes that Godel’s theorem seems to prove that the idea of “Mechanism” is false, that is, that minds cannot be seen in terms of machines. He claims that Godel’s theorem must apply to cybernetics, because the essence of being a machine is that it should be a concrete instantiation of a formal system. It follows that for any given machine which is consistent and capable of doing simple arithmetic, there is a formula which it will be incapable of producing as being true (i.e., the formula is improvable in the system but which we can see to be true). It follows that no machine can be a complete or adequate model of the mind, that minds are essentially different from machines. This does not mean that a machine cannot simulate any piece of the mind; it only says that there is no machine that can simulate every piece of the mind. Lucas says that there may be deeper objections. Godel’s theorem applies to deductive systems, and human beings are not confined to making only deductive inferences. Godel’s theorem applies only to consistent systems, and one may have doubts about how far it is permissible to assume that human beings are consistent. Godel’s theorem applies only to formal systems, and there is no a priori bound to human ingenuity which rules out the possibility of our contriving some replica of humanity which is not representable by a formal system (J. Lucas, 1970).

Chalmers examines the situation when a formal system F, which understands the consequences of Godel’s Theorem, is given. According to his claim, F may not be sound, so Godel’s theorem cannot be applied. He specifies that the crucial point of Godel’s argument is not to know “a formal system is sound”; but to determine “if we know that our system is sound.” It follows that we perhaps have a sound system, but we can not conclude that “we know that we have a sound system” (D. J. Chalmers, 1995).

Like Chalmers, McCullough claims that not only artificial intelligence, but also the human mind is tightly related with Godel’s theorem. Godel argument did not prove that human reasoning had to be noncomputable – it only proved that if human reasoning was computable, then it had to either be unsound, or it had to be inherently impossible for a human to know both what a human’s own reasoning powers were and to also know that they were sound. And adds, Penrose dismisses the possibility that a human knows its reasoning powers, but does not know that they are sound. In his paper, McCullough also examines the appliability of Godel’s theorem on non-computable systems and the human mind. According to him, both are possible, by the way he asserts that Penrose’s idea is wrong. Consequently, McCullough agrees with Penrose that human reasoning cannot be formalized in some sense, because humans do not understand their reasoning system well enough to formalize it. This limitation is not due to a lack of human intelligence, but is inherent in any reasoning system that is capable of reasoning about itself. (D. McCullough, 1995).

As a short conclusion, it seems that the discussion between AI vs. mind will last for a long time. But, considering the present situation, AI has a long way to the go in order to achieve the expected skills.

References

• Chalmers, D.J. (1995). “Minds, Machines, and Mathematics”. http://psyche.cs.monash.edu.au/v2/psyche-2-09-chalmers.html

• Godel, K. “On Formally Undecidable Propositions of Principia Mathematica”. http://www.ddc.net/ygg/etext/godel/

• Lucas, J.R. (1970). “Minds, Machines and Godel”. The Freedom of the Will, Oxford: Oxford University Press. http://users.ox.ac.uk/jrlucas/mmg.html

• Maudlin, T. (1995). “Between The Motion And The Act…”. http://psyche.cs.monash.edu.au/v2/psyche-2-02-maudlin.html

• McCarthy, J. (1995). “Awareness and Understanding in Computer Programs”. http://psyche.cs.monash.edu.au/v2/psyche-2-11-mccarthy.html

• McCullough, D. (1995). “Can Humans Escape Godel?”. http://psyche.cs.monash.edu.au/v2/psyche-2-04-mccullough.html

• Penrose, R. (1989). The Emperor’s New Mind. New York: Oxford University Press.

• Penrose, R. (1994). Shadows of the Mind. New York: Oxford University Press.

• Penrose, R. (1996). “Beyond the Doubting of a Shadow”. http://psyche.cs.monash.edu.au/v2/psyche-2-23-penrose.html

• Pysche (1995). An Interdisciplinary Search of Consciousness, Vol. 2, Symposium on Roger Penrose’s Shadows of the Mind. http://psyche.cs.monash.edu.au/psyche-index-v2.html

Besides searching for new techniques to substitute man in the fields of labour, modern scientific inquiry is also directed to finding analogues for human mental activities. Since their assumption is that man is merely a physical-material entity (a complex of physical, biological and chemical processes) many scientists are hopeful that they can produce a complete copy of human functions. It is their assertion that since at least nothing in existing physical theories accounts for the existence of non-computable processes in the brain, all of man’s intellectual activities can be computed. However, Roger Penrose, the famous Oxford mathematician, argues against this assertion. He argues from Godel’s theorem which states that for every consistent formal system that has the power to do arithmetic, there will always be a true statement. That is, a formal system is a set of logical or computational rules; termed consistent if it never produces contradictory statements. Yet, as human beings can see that that statement is true, this constitutes a sign that our minds can go beyond the powers of any formal system. However, since Penrose himself (like many others who share his opinions) cannot free himself from the confines of (materialistic) physics and nothing in existing physical theories accounts for non-computable processes, in order to be able to find a physical foundation for his theory, he pins his hopes on future elaborations of the theory of quantum mechanics. In his attempt to explain human consciousness, Penrose notes that the biggest mystery of all is how electrical activity in the brain gives rise to the experience of consciousness. It is hard to understand why an inner life should arise from the mere enactment of a computation, no matter how complex. However, his alternative is not more convincing that what he rejects. He tries to explain human consciousness with quantum processes in microtubules – collapsing quantum wave functions (the mathematical functions describing the position and momentum of a particle) in protein structures found in the skeletons of neurons.

The main problem arises from accepting the physical body as the origin of all activities of mans intellect. The problem is also true for the expectations from Artificial Intelligence. Dr Aksoy has a simple but meaningful objection to the assumptions underlying those expectations: ‘A man-made system can be very smart and artificially very intelligent but no such system so far has been awarded a prize for its innovative abilities. It is the human being who made it who wins the prize. What is prized, what is of higher worth, is not the system but its maker or builder.’ Another more simple objection can be raised here. For example, after doing a spell-check on a word-processor. you may come across many mistakes which the software has not recognized. Any sentence can be written in several ways in which the words are correctly spelt but are not the words you intend to use. For example, if we type the sentence ‘What is prized is not the system but its maker or builder’ as ‘What is priced is not the system but its make or build’, most people who know the language will recognize it immediately and effortlessly as nonsense. But the software’s spell-check and grammar-check will pass the sentence as OK. Such examples can be multiplied for a great variety of tasks requiring experience and understanding which cannot be analogued or translated for Al machines but which humans cope with quite easily.

According to what we are asked to believe, the brain continually self-organizes, learns and adapts throughout our lives. Understanding how millions of neurons self-organize through non-linear feedback interactions requires that we have a full grasp of the mathematics of neural networks and of how this mathematics helps us to understand the link between brain and behaviour point to mention concerning man’s intellectual activities relates to the issue of learning and education.

Materialistic approaches attribute all of man’s intellectual activities to his brain. According to the theory of evolution, if taken literally, more developed animals must also be more developed in using their senses and faculties or their brains. But this is not the case. As Dr Yilmaz points out (‘Perfection and Primitiveness, The Fountain, Vol. 2, No. 19, p. 34), compared with a shark which can smell a drop of blood in the sea from a distance of about 25,000 feet, man is very much less developed. If we judge the degree of development according to the sense of smell, in place of men or monkeys, sharks will be at the top of the chain. Whereas, with respect to the sense of seeing, eagles are much more developed than sharks, as well as more than men and monkeys: an eagle can spot a rabbit on the ground from a height of about 6,000 feet. Would it not be true for a honey-bee to say of us: Those clumsy ones can draw with tools and only after calculations the hexagons that I can make so easily and exactly identical to one another. They cannot make so sweet and healing a substance as honey that 1 produce. Again, according to the literal logic of the theory of evolution, must a more developed animal not inherit the abilities of one less developed than itself? In this case, must man not have the abilities of all animals and must apes not have the abilities of all other animals ‘lower’ on the evolutionary ladder than themselves? Also, if man was evolved from apes, should the first man evolved not have inherited all the abilities and knowledge of all apes? However, we see that while all other animals are born as if educated and instructed already in all the information they will need to survive, man is born knowing next to nothing of what he needs to know to survive. And while all other animals come to the world with the same information or knowledge their predecessors had and there is negligible (if indeed any) difference between the amount of knowledge and abilities that the members of a species have, a man’s knowledge cannot be inherited by his progeny. Consequently, human beings vary hugely in their intellectual and artistic capacities and the amount or level of their knowledge.

Materialistic and evolutionist psychology consider learning either as a matter of behavioural patterning by reinforcement or the storage and use of knowledge. The first view is called behaviourism, while the latter cognitivisim. However, both are agreed that it is the brain or neural systems which learn. That is, the intellectual dimension of man’s being consists in his brain. They confuse how a man learns with what it is that does the learning. What they want us to believe with respect to man’s intellectual faculties is not different from defining how a factory works. According to their logic, it is the factory itself which built itself and works according to the laws pre-determined by either itself or the collective being of factories. Although they use personal pronouns such as ‘I’ or ‘You’ or We’ in referring to those who learn, speak, think, reason, decide and so on, forgetting that the brain does not know itself or what it is doing and also forgetting that it is we – humans – who study, speak about, comment on and even operate on the brain, they regard it as scientific to attribute all man’s intellectual activities and faculties, and therefore his conscious existence, to the brain, If that is so, why do we not concentrate our efforts merely on the brain and adjust it as a way of adjusting or educating individuals rather than go to the trouble and expense we currently go through to educate and bring our fellow members of society? Again, does attributing man’s intellectual activities to the brain mean that whatever man will need in life and also his desires, expectations, feelings, pains of the past and anxieties of the future, etc. were pre-encoded in his brain and that according to the situations or the stimuli coming from the outer world, the brain brings them forth as responses?

According to what we are asked to believe, the brain continually self-organizes, learns and adapts throughout our lives. Understanding how millions of neurons self-organize through non-linear feedback interactions requires that we have a full grasp of the mathematics of neural networks and of how this mathematics helps us to understand the link between brain and behaviour. Is it not compounding our ignorance to attribute to a heap of blind, deaf, ignorant flesh, blood and neurons unconscious of themselves, of their existence and what they are doing or why, all of man’s intellectual faculties and activities with all their complexity, all of our consciousness and culture, religious life? Does this make sense? And does not doing so entail a denial of man’s free will? Although some psychologists such as Tolman and Kohler are of the opinion that at least in some cases learning appears to be purposeful and animals and people have an awareness of what is being acquired and they actively interpret the stimuli they sense from the environment, since they too attribute this to the brain by asserting that there must be more than one system in the brain involved in learning, the point on which all materialistic approaches are agreed (consciously or unconsciously) is that man is an animal whose acts consist in the automatic responses of his brain, an animal that has no free will to direct and control his life.

The activity of learning is remarkably easy as both behaviourists or cognitivists assert. Yet it is nevertheless extremely complex. Besides senses, many human faculties such as imagination, conceptualization, reasoning, comparing, retaining, remembering, confirming and conviction, have a share in it. Each of these faculties give its colour to what is learnt. For example, only imagination gives rise to falsehoods, while conceptualization is ambiguous as to what passes through it. Reasoning does not have an established view of what comes to it, while capable of confirming partiality or prejudices pleasing to the one doing the reasoning. Surely the materialistic approach has no right to that degree of conviction achieved by impartial reasoning and study of real evidence and which is worthy to be called scientific knowledge. Rather, what materialist and evolutionist psychologists suggest may only be the product of imagination or partial (i.e. biased) reasoning.

Bibliography 

• KOHLER, W. (1925) The Mentality of Apes. Translated by E. Winter, New York.
• CRICK, Francis (1994) The Astonishing Hypothesis: The Scientific Search for the Soul, Charles Scribners Sons. PENROSE, Roger (1994) Shadows of the Mind: A Search for the Missing Science of Consciousness, Oxford University Press.
• PENROSE,Roger(1994)Shadows of the Mind:A Search for the Missing Science of Consciousness,Oxford University Press.
• AKSOY, M.S. (1993) ‘Artificial Intelligence: A Different Approach, The Fountain, Oct.-Nov, 1993, Vol. 1, No. 4, pp.9-11