Computer Communication & Collaboration (Vol. 2, Issue 1, 2014) Submitted on 24/July/2013 DOIC: 2292-1036-2014-01-003-18 ~ 16 ~ G-Complexity, Quantum Computation and Anticipatory Processes Mihai Nadin Ashbel Smith University Professor, University of Texas at Dallas; Director, Institute for Research in Anticipatory Systems E-mail: nadin@utdallas.edu Abstract: Computation is the medium of contemporary science. To understand the consequences of this gnoseological and epistemological revolution, one has to evaluate the outcome. As sciences become computational, difficulties concerning data processing associated with knowledge acquisition and dissemination are reduced. The focus on data afforded a quantum leap in many domains, including computation itself. The word complexity became part of the modern scientific discourse as a result of our ability to capture more data, and to associate it with interactions characterized quantitatively. In the process, the notion of complexity itself lost its resolution. This study introduces the undecidable as a criterion for characterizing a particular type of complexity. Defined as G-complexity, it allows for the understanding of questions pertinent to knowledge about the world, in particular, the living. With decidability as a well-defined criterion for complexity, we provide a context for understanding how experimental evidence-the hallmark of science in our days-can be accumulated, and what the characteristics of scientific work are at this juncture in the development of science. Keywords: Anticipation, Complexity, Ideographic, Intractable, Undecidable 1. To Simulate Nature "...if you want to make a simulation of nature, you'd better make it quantum mechanical," wrote Feynman (1982), arguing for quantum computation. We have come so far. Quantum computation is becoming reality in the form of theoretical contributions-the breakthrough work of Deutsch (1985a)and Shor (1994) for example-and in the making of physical machines, among them the DWave (of Burnaby, Canada). To understand the significance of this implementation, it suffices to mention that Lockheed Martin became the first paying client. Google is in the process of opening the Quantum Artificial Intelligence Lab, hosted at NASA's Ames Research Center, and run in conjunction with the Universities Space Research Association. All this while scientists still debate whether the D-Wave operates within the quantum domain, more precisely, whether entanglement- the signature of quantum processes-takes place in the process. Again Feynman: "...we always have had a great deal of difficulty in understanding the world view that quantum mechanics represent." Performance might be impressive. Just one example: in August 2012, a team of Harvard University researchers, solving instances of the MiyagawaJerningan lattice protein-folding model on a D-Wave One machine, felt entitled to report on the © 2014 Academic Research Centre of Canada ~ 17 ~ "largest protein folding problem solved" (Aspuru-Guzik et al. 2012). Still, a question persists: Assuming that entanglement does take place, does it actually lead to the higher performance measured? Aram Harrow's reflections (cf. Aron 2013) on the necessary and sufficient conditions for a true quantum computer cannot be discarded. Others (especially Aaronson 2013) are dedicated to the same subject because it is a matter of scientific relevance. The question of whether a Turing machine-based computer can, in the final analysis, simulate quantum computation addresses a fundamental problem: Is there a relation between the characteristics of the medium in which computation takes place and knowledge is acquired, and the outcome? Evidently, regardless of the medium, the nature of computation (algorithmic, interactive, neural network-based, etc.) also affects the output. As impressive as supercomputers are, or as fascinating as quantum computation can be, can it "report" on a domain of reality different in nature from the "physics" it operates on, or is facilitated by? In common jargon, where complexity often means many components engaged in many interactions, can a low-complexity medium of computation render an outcome pertinent to a higher level of complexity? Caveat: This manner of using the word "complexity" is quite contrary to our understanding of the concept. But we operate in a language domain where this use is common. The core of this study, conducted between 1968 and the time of the writing (July 2013), is exactly the question whether computers based on data processing afford an increase in complexity from their own level to higher levels-those of the biosphere, for example. It certainly reflects yet another thought of Feynman's: "What I cannot create, I do not understand." (This telling statement was apparently on his blackboard at the time of his death in 1988, and was made known by Stephen Hawking, 2001). Indeed, my own involvement with computers goes back to 1968-when a computer meant a CPU with a 60-bit internal world, chips clocked at 108KHz, a chip had a mere 2,300 transistors. It extends to the time of the mainframe servers ("big iron") used in time sharing mode, PCs or Apple computers (Lisa, in particular), client-server configurations, the Connection Machine, DNA computing, etc. The current intelligent agents, games, robots, mobile computation of all kinds, embedded sensors, and the cloud(closing the circle to the horse-powered engines, but now with real-time access) are part of my daily experience as researcher and educator. More recently, a new experience: when to quantum compute means to turn a knob that places the superconducting integrated circuit to a close to zero degrees Fahrenheit temperature. (Way back, I turned knobs on analog computers, but that is a different subject.) At this time, the domain of physics (where almost my entire computing experience took place) gives way to the quantum reality. Until recently, the quantum was the domain of famous Gedanken experiments. (Heisenberg's imaginary gamma-ray Gedanken microscope never caught up with me.) The values of the bits-representing data to be processed-on the proprietary chip meant to function in a quantum mode (i.e., entangled) is all that counts. Turn the knob in the opposite direction and the outcome is an energy map expressed as a familiar sequence of zeroes and ones. What would take days, if not weeks, on even the fastest computers available (the supercomputers to which we have access) is resolved in a short time, although not necessarily in the manner we expect. Probabilities sometimes make the turn of the knob give out puzzling results. There is indeterminacy in the quantum world. 2. To Compute is Nothing More than to Measure Quite a number of sciences, among them genomics, nanoscience, large-scale modeling of weather or of earthquakes, would not exist were it not for digital computation. Astronomers used human beings as computers for their maps before dedicating digital resources to radio astronomy and virtual observatories. Science being fundamentally a measurement of whatever its object, computation has facilitated forms of measurement otherwise not possible. In order to understand Computer Communication & Collaboration (2014) Vol. 2 Issue :1 16-34 ~ 18 ~ what all this means to improved measurement, let's describe some computations, keeping our focus on complexity and the goal to simulate reality in order to get access to knowledge about it. The Turing machine is the "mother" of all universal computers. A pair of tapes, a finite control mechanism that reads input data, executes instructions, and reads the output data. All there is to it is a tape, a reading head, and an alphabet of two letters, conveniently selected as 0 and 1. The Turing machine measures the degree to which logic can prove mathematical assertions. The combination between the Turing machine and the von Neumann architecture became the sequential "universal" computer. Fig. 1: The Turing machine in action. Image, text, numbers, and sounds are encoded in the 2-letter alphabet of the machine and subjected to Boolean logic. The abacus symbolizes the arithmetic facility (embodied in the hardware). Data is processed regardless of its meaning. Leonard Adleman, the "father" of DNA computing, was correct in noticing that Turing's device was conceived for conceptual purposes. One could as well read, instead of zeroes and ones, a string of four DNA letters-A, T, C, G (from the genetic code)-from the input tape, and write the Watson-Crick complementary string on the output tape. This is what biologists call a DNA polymerase. The Turing machine proved to be programmable for this language as well, confirming Church's conjecture: A function is machine computable if it is Turing computable;(Gödel referred to "mechanical computability"). Adleman (1994) chose the Hamiltonian Path Problem: the sequence of paths to take when one has to go from place to place (physical addresses for mail delivery, towns for service deliveries, etc.) without going to the same place twice, and, in general, seeking to do it in the shortest time. Computer scientists found many solutions, but none that qualifies as efficient. © 2014 Academic Research Centre of Canada ~ 19 ~ Fig. 2: The Adelman machine in action. It is equivalent to a Turing machine; the medium of computation is the test tube and the concentration of DNA (more of an art than science at that time). Adleman defined the language-the names of the seven cities he chose-and associated it with a flight map for the flight connections between cities. The various choices (go cityAcityBcityC, or go cityCcityB, etc.) are expressions in language (sentences). This was called-and still is called- encoding. After that, "I took a pinch (about 1014 molecules) of each of the different sequences and put them into a common test tube. To begin the computation, I simply added water- plus ligase, salt and a few other ingredients to approximate the conditions inside a cell. Altogether only about one fiftieth of a teaspoon of solution was used. Within one second, I held the answer to the Hamiltonian Path Problem in my hand," (1998). The Hamiltonian Path Problem is supposed to find an optimal path connecting a point. Underneath lay two deeper questions: 1) What are the best representations of the problem? 2) How long does it take to find the answer? Adleman ignored the first question, although it was probably more important than the second. When the number of points is large, the possible ways of connecting them becomes exponential.DNA as an alphabet allows for a very efficient "writing" of the output "sentence." Keep in mind: silicon-based sequential computers driven by algorithm-based programs operating on 2 letters will require a lot more time for this same problem. But, again Adleman: "...although I held the solution in my hand, I also held about 100 trillion molecules that encoded paths that were not Hamiltonian. These had to be eliminated."Yes, the output was a "sentence" in a larger "book" that contained the Hamiltonian path, and also all other paths. The account of this breakthrough computation was read by many, but understood by few. The connection between the DNA model and computer science is the actual subject. Biology, it turns out, is not unlike quantum mechanics in introducing a world view difficult to comprehend. You need to know the language associated with the DNA model and genetic operations. In these days, DNA computing moved from the test tube into living cells. Scientists such as Nadrian Seeman (New York University), Richard J. Lipton (Princeton), and Max G. Lagally (University of Wisconsin-Madison) prepared the way to a DNA-based logic-gate operation within a human cell (Hemphill and Dieters 2013). This is not only a technological advance, but also a conceptual breakthrough. Logic gates embodied in strands of DNA have a different level of complexity from those made up of series of transistors. Adleman's work and that of the many who follow in his path are mentioned only as a preliminary to the question already posed in the introductory lines: Can lower levels of complexity media for computation support processes characteristic of computing that have as outcome knowledge about higher levels of complexity? In the coming sections, we will focus on the broader interrogation: Can physics-based computation describe the living in a manner Computer Communication & Collaboration (2014) Vol. 2 Issue :1 16-34 ~ 20 ~ that is gnoseologically relevant? The fact that the living and the physical have a different complexity condition also deserves our attention. John Preskill, the Richard Feynman Professor of Theoretical Physics at the California Institute of Technology, produced a similar description for the quantum gate-based computation similar to Adleman's account of his pioneering DNA computing. "We assemble N qubits, and prepare them in a standard initial state... Then we apply a unitary transformation ∪ to the N qubits [...] After ∪ is applied, we measure all of the qubits [...] The measurement outcome is the output of the computation,"(Preskill 2011). Fig. 3: One possible quantum machine design. Quantum encoding and energy maps are the new medium of computation. Just for the sake of a parallel to Adleman's report on his idea, the following from John Preskill: "Notice that the algorithm performed by the quantum computer is a probabilistic algorithm. That is, we could run exactly the same program twice and obtain different results, because of the randomness of the quantum measurement." Indeed, the outcome of the DNA computation has its own type of ambiguity. Peterson Ivars noticed: "It is ... possible that the success of Adleman's beautifully executed experiment can be attributed in part to fortuitous selection of appropriate reaction rates and DNA concentrations" (1996). There is a new quality to the outcome of quantum, or DNA, or membrane computation: The indeterminacy inherent in the processes they describe is carried over in the outcome. As we shall see, complexity defined in the tradition of simplistically accounting for scale(components and interrelations among them) does not account for this new quality. Mechanical, or machine-based deterministic operations, guarantee the same output for the same data processed. Probabilistic and, furthermore, possibilistic phenomena are less determinate. © 2014 Academic Research Centre of Canada ~ 21 ~ 2.1 Falling in place Against the background of deeply seated scientific methods of computation that are deterministic in nature, imagine someone pouring a liquid into a measuring cup. It takes no time to get the volume of the liquid (in whatever units are preferred). Fig. 4: Computing in real time the volume of a liquid; Computing in real time the volume and weight of a liquid To establish the weight of this volume of liquid, one would need the density, and in no time (multiplication is fast) the outcome would be available (again, in whatever units one desires). A scale could do both, combining volume, and weight determination even in the absence of density. These are pretty much like the DNA computation or quantum computing instances of the looked-for value falling in place. Expert abacus users obtain the result in the same way: the beads are moved along and the outcome is the configuration. Try factorization of this outcome, i.e., reverse calculation of the prime numbers multiplied, and you run into a classical tractability problem. If the outcome is of low scale (small numbers), no problem; for larger numbers, Shor (1994) demonstrated that, in principle, a quantum computer- which he never really defined-could do the job efficiently. Factoring is a convenient example of intractable problems. If someone comes up with an answer, obtained efficiently, the results are easy to verify (even on an abacus); the answer to the factorization problem is difficult to reach-you cannot simply guess it. All this might be of mere documentary interest. The examples given substantiate the thesis that to compute is to measure; moreover, that the outcome of measurement can be simple, complicated, or complex to the extent of being indeterminate. The real epistemological gain is, however, in associating these facts with Feynman's statement: To understand nature, at least at the level of simulating it, one needs to understand quantum mechanics. Previous scientific explanations, embodied in Ptolemy's model of the universe, in Galileo's physics, in Descartes' reductionism and determinism, in Newton's gravity theory, in Einstein's relativity theory (to name those better known), led to claims similar to those that Feynman articulated. Actually, the originators of the quantum mechanical theory were even more given to the scientific conviction that their model was the most encompassing answer to all known scientific questions. If we look at the successive scientific theories, we can, as Kuhn did (1962), identify paradigms. Feynman taught physics deductively at Caltech, from the level of abstraction of quantum theory to the particular cases of the physics of motion. To know physics is to practice it. By analogy, to know the language, i.e., to perform in it, is the best way to access knowledge about it. Nobody gets Computer Communication & Collaboration (2014) Vol. 2 Issue :1 16-34 ~ 22 ~ to know a language in a bottom-up procedure, just as nobody acquires competence in physics inductively, one fact after the other. There is no perspective of language at the level of grunts or guttural sounds, or of the alphabet (which is already an abstraction). And there is no perspective of physics (or any science) at the level of apples falling from a tree. Biology cannot be understood by watching a flower grow. Top-down, deductive thinking, often associated with abduction, i.e., testing hypotheses, gives the broad view, from the height of which the rich domain of how the world is represented in language becomes accessible. Descriptions of reality-mathematical, chemical, physical, biological, or even artistic-carry over the intrinsic characteristics they stand for. It is in this spirit that David Deutsch considers Quantum Theory as a Universal Physical Theory (1985b) and, furthermore, the multiverse as the outcome of quantum computation-a claim that goes well farther than Feynman's (and it is in this, as we shall see, that spirit that Gödel's undecidable nature of some descriptions comes up). However, things are never as simple as they seem when broad assertions, such as Deutsch's (and the followers) are made. The Oxford Questions (Briggs et al. 2013) quite properly undermine Feynman's and anyone else's optimistic view. Quantum measurement has so far failed to explain the non-quantum world, that is, "the emergence of a classical world...free of superposition and entanglement." No progress has been made in a quantum theory of gravity, not least because the general relativity, grounded in physical principles, is difficult to reconcile with the quantum mechanics view. Of course, the old shadow is unavoidable as progress is made in quantum computation: What is the upper limit to the scale on which quantum models work? What the Oxford Questions miss-because their authors work the tradition of physics-is the realization that the physical and the living are different. Even though Niels Bohr (cf. 1999) and Erwin Schrödinger (1944) acknowledged that life deserves a treatment different from that applied to molecules, energy, etc., they never doubted that, ultimately, quantum mechanics would explain living processes. This is also Elsasser's (1992) point of view. Quantum computation operates under the illusion that it will simulate life because, after all life is part of the physical reality and does not constitute a domain on its own. In order to understand how fundamental the distinction is, let us also examine models of computation and measurement inspired not by particles or waves, but by the living itself. 3. Thinking Machines are not Machines that Think Each era has its iconic figures. Feynman was such a figure which did not prevent him from asking for a summer job at Thinking Machines Corporation, founded in 1983 by Danny Hillis. (Feynman's son Carl worked there.) The episode is telling. The implicit assertion that brain-inspired computation could explain thinking, and thus nature (including quantum mechanics) was provocative. Of course, the effort preceded the attempts at quantum computation. It was based on a simple premise, originating from cognitive science, more precisely, image processing. Those still familiar with printing know that a raster "measures up" an image and translates the continuity (of lines, colors, shapes, etc.) into a substitute (the image is decomposed into squares or circles) good enough to by perceived by the eye looking at a photographically or typographically reproduced image. Computers do the same, as though they would look into the image through a small "peephole" . A low-resolution reproduction of an image is based on an array corresponding to 256 points on a side. The square consists of 65,536 points-and this was the number of single processors that Hillis used in order to "measure" an image. His argument: On a traditional sequential machine, each © 2014 Academic Research Centre of Canada ~ 23 ~ of the 65,536 elements of the image is individually evaluated. With his machine, a single processor is assigned to each point. The image is measured at once, as when we measure the volume of liquid (as mentioned above), not a drop at a time, but together. More important than the parallel architecture-with a very inspired design that made up a 12-dimensional hypercube-was the thought that neuronal networks in the brain perform in parallel. Given the cost limitations and the ability to understand the difficulties of programming such a machine, my experience was limited to one quarter of a Connection Machine. The output was a visualization of the famous 2-slit experiment from quantum mechanics. Fig. 5: Classic double slit experiment. The image is supposed to provide information about processes that seem teleological (driven by a purpose). Together with Thomas Lippert and Norbert Eicker (currently at the John von Neumann Computer Center of the Jüllich Research Center), I debated the relation between anticipatory processes and quantum phenomena while trying to visualize phenomena on a parallel processing machine. 3.1 To emulate or to abstract? The main reason for mentioning Hillis-who later worked on a slow-moving device for a clock intended to tick for more than 10,000 years-is not really obvious. His machine did not emulate how neurons function. Rather, he abstracted from their activity a model of segmenting the task (what science sometimes calls fracturing, in reference to reductionism) into a large number of identical operations carried through simultaneously. Brute force remains brute force, regardless of whether you use a huge cannon or one million smaller guns. Hillis conceived his "cerebral starship" to performon selected projects-mainly image processing-way faster than the supercomputers of his time. Others, inspired by McCulloch and Pitts (1943) and Hebb (1949), felt encouraged to develop neural networks-an alternative to algorithmic and sequential computation (the von Neumann machine). This was a breakthrough in terms of advancing models of computation based on understanding how the living processes sensory data. To train a neural networkis not an expression appropriated mechanicallyfrom human experience. It suggests learning-as a major human activity-extended to the specific realm of interactive computation. At the same time, others (von Neumann among them, 1948, 1951) conceived of artificial neurons. It is in respect to this last detail that I shall address the need to define the notion of complexity in a stricter manner. Just to hint at what I have in mind: A neuron, as part of the brain, and an artificial neuron have quite a number of commonalities. But what distinguishes them, in the final analysis, is that the neuron is part of an irreducible high-complexity network of interactions, while the artificial neuron might be deployed in networks of similar scale, without reaching the same level of complexity. But let's proceed a bit more systematically in justifying the above statement. Computer Communication & Collaboration (2014) Vol. 2 Issue :1 16-34 ~ 24 ~ Quite appropriately, infatuation with neurons, observed in action, informed the attempt to emulate them. Furthermore, this is how artificial neurons became the focus of theoretic and applied science. The approach was driven by the reductionist impetus still dominant in science today: If we know one neuron, we know how any other neuron functions, and how they operate together. It was informed by the fundamental scientific ideology: the neuron is a deterministic entity. The two premises were faithfully reproduced in the artificial neuron. Of course, its deployment, in a variety of applications, could only confirm the epistemological premises. Today we know better. While a major effort to build a "wet computer" that would literally simulate neurons and signal processing on the chemical level is under way, we also learn that neurons are much more than originators of electrical blips that scientists record. Twitching in dendritic spines, subtle movements of membranes, and the diffusion of water in axons are only three details that debunk the flat model of artificial neurons. What happens when cells fire-the metaphor taken over from electricity is also questionable-remains mostly unexplained. There is more to the story: "How can a worm remember things after losing its head?" The question was formulated by Tal Shomrat and Michael Levin (2013), who study how animals store and process information. The assumptions of the analogy between machines (computers or simpler devices) and the living are put to question given the amount of evidence to the contrary. Any measurement involves the measured and the measurer (in whichever form, i.e., observing subject or measuring device working autonomously). In this vein, it is not surprising that any computation involves a physical substratum. The relation between the input and output is telling in regard to the change in the state of the physical device used. This physical substratum can be, as we have seen, a measuring glass, a scale, pebbles, an abacus or its electronic embodiment (in a chip), DNA, or RNA, etc. If the chosen device is in the nano-domain (microscopic or submicroscopic), the relation between input and output, i.e., the dynamics, is subject to the laws of quantum mechanics. In view of this awareness, it comes as no surprise that logic gates were designed and produced in order to facilitate quantum computation. The first 25nm NAND logicgate had 500 Bohr radii (Intel, 2010). In the meanwhile, given the spectacular progress in nanotechnology, more impressive components were synthesized and tested. A research team (scientists from China, Canada, and Singapore, Cai et al. 2013) built a simple device that uses entangled photons to solve linear equations. They fired a laser beam at bariumborate crystals in order to generate two pairs of entangled photons. The photons were separated through a beam splitter. They were used to represent qubits, processed by an optical circuit. Detected by a sensor, the solution to the equations associated with them came as the state of their polarization. There is, of course, no exact answer (as one expects on a traditional computer), but rather a "most likely" value, actually a series of values. Another team (from Hebrew University in Jerusalem) caused entanglement swapping between photons that never coexisted in time (Megidish et al. 2013). The result might be less relevant to computation than to encryption, but it exemplifies the idea that the characteristics of the medium in which information processes take place affect the process. This computation, like any other, is performed on a physically manufactured substratum. It is upon this substratum that the logic applied in the process and the representation alphabet are projected. Therefore, the study of how data is processed requires the understanding of the processes taking place in the physical substratum in the specific material. Paul Benioff (in 1982) and Feynman (independently) pointed out that the device embodied in nano-domain entities can serve as the substratum for quantum computation. For whatever it's worth, Poplavskii (1975) and Manin (1980) © 2014 Academic Research Centre of Canada ~ 25 ~ (both behind the "Iron Curtain") were earlier in suggesting that fundamental principles be studied in order to exploit the exponential number of states that might become part of a quantum device. Later (1986), Feynman noticed that "...it seems like the laws of physics present no barrier to reducing the size of computers until bits are the size of atoms, and quantum behavior holds dominant sway." The D-Wave implementation-one of the many tried in our time-is based on processors that perform an adiabatic quantum logarithm. This is based on the adiabatic theorem: A system initially in its ground state tends to stay in this lowest energy state, provided that the Hamiltonian of the system is changed "slowly." This helps searching by a quadratic factor over any classical algorithm. It is a quantum local search. For performing it, magnetic coupling of superconducting loops, called vf-squid flux qubits, is made possible. Harmut Neven (Technical Lead Manager, Image Recognition, at Google) gives the following description: "This design realizes what is known as the Ising model...the simplest model for an interacting many-body system [...] it can be manufactured using proven fabrication methods." In adiabatic computing, an array of niobium loops, maintained at low temperature in order to obtain superconducting characteristics, eventually settles for the lowest energy point. For this to happen, quantum tunneling is called into operation: the qubits "crawl" through the energy landscape. The fact that they are entangled-i.e., linked in quantum mechanics manner (the states depend on each other)-is indirectly evinced through qubit tunneling spectroscopy. Functioning at close to absolute zero temperature, the process is sped up by many orders of magnitude. D-Wave claims that its 512-qubit processor would be 10,000 times faster, for the type of problems (optimization) it was designed to approach, than the traditional processors. This is not a gate-based quantum computer, of the nature of a universal machine (à la Turing) that can be programmed with any algorithm. The D-Wave chips are designed for optimization problems. They work within a specialized computational environment, not a universal computer. To program this machine you need to know physics, not computer science. Actually, the crisis of physics (at some moment in time, very few students were interested in a career in the "fundamental science") was overcome by its becoming computational. The device spawns new types of computation. To address an optimization problem means to map it into the energy landscape. Geordie Rose, CTO of D-Wave, describes the task: "You're making a one-to-one correspondence between a mathematical optimization problem and the actual physical energy of the chip." No computer science program teaches such knowledge. This is a machine conceived and used by mathematicians and physicists. Among the applications of this new way of measuring reality in order to better understand it: labeling of news stories and images, sentiment analysis (for movies, blog posts, etc.), automatic detection of cars in an image, study of protein folding, etc. The fact that traditional computers (i.e., von Neumann machines) could be used for the same is unquestionable. The fact that the performance of such machines does not match that of the particular adiabatic quantum process is also undisputed. Still, as impressive as all of this is, a question keeps popping up on the memory screen: Is this what Feynman meant when he claimed that only quantum computation can simulate nature? Is this what David Deutsch's more radical take-we can quantum compute everything- leads to? For the record: In 2005, Nature (437:6, October) published an entire issue dedicated to computation predictions for 2020. Realistically speaking, the reading of crystal balls (even under the auspices of Nature) is not a gratifying business. But when from the entire collection (under the signature of reputable authors), only one prediction, at most, sounds more convincing, we realize that it is not competence that fails, but the perspective. "Computers for specific applications are likely to come before general-purpose devices. But that doesn't rule out the possibility that we'll all be playing quantum Grand Theft Auto in the near future," (according to MIT's Seth Lloyd. He also Computer Communication & Collaboration (2014) Vol. 2 Issue :1 16-34 ~ 26 ~ believes that the universe itself is a functioning quantum device, which has as output ourselves and the world we try to understand. At MIT mechanical engineers dream big). 4. A Slippery Subject It is at this juncture that we'd better return to the notion of complexity that was introduced in the preliminary considerations guiding this study. Evidently, it does not help that the meaning of the word (its semantics) is at best ill-defined. Revisiting dictionaries, old or new, or the etymology, does not really bring us further. Leibniz (credited by Weyl 1932, and mentioned in more than one of Chaitin's lectures, cf. 2006) seems among the first to examine our descriptions of reality from a complexity perspective. Laws ought not to be arbitrarily complex, because if they are, the concept of the law becomes inoperative. In more recent times, Henri Poincaré (1905), and, closer to our time, Ilyia Prigogine (1997) expressed interest in prediction (relation to future) as it is related to complexity (they are mentioned in connection to "chaos" theory, i.e., dynamic systems theory). Economists, such as the political economy of the Scottish Enlightenment, the Austrian School of Economics, as well as Friedrich Hayek (also looking into psychology, biology, and cybernetics), Gregory Bateson, (looking into culture), and, closer to our time, von Neumann, John Holland (1995), Waldrop (1993) contributed to the interest in the subject of complexity. The Santa Fe Institute, the "Mecca" of complexity studies, inspired similar institutional focus on the subject. The indiscriminate use of the concept spawned a large production of pseudo-complexity subjects (including the misnomer "Computational Complexity," standing for efficiency rather than for characteristics of the process). From my perspective, Robert Rosen (1988) remains the closest reference to the complexity intrinsic in living phenomena, not to their descriptions. In his view, there is no largest model for complexity; a complex entity (one would say "system") is not fragmentable (it cannot be subject to reduction). On the pragmatic level, complexity is associated with efficiency, in particular, efficient computing. Nobody ever stated, for example, that the intractable-a computing task that would require resources and time beyond what is currently available-might somehow define, in negative terms, a goal outside the attainable. This goal would be something so complex that it cannot be performed, at least not at our current levels of knowledge and know-how. In fact, the intractable is an expression of the limits of computation. The NSF is funding a center (at Princeton University) focused on the subject. Moreover, the Clay Mathematics Institute (Cambridge, UK) is offering a one-million dollar prize (the Millennium Award) to whomever can prove that problems apparently unsolvable with current or scaled-up computational means are intractable. At the conclusion of this study, we will lay claim to this prize, connecting complexity to tractable computation. This might suggest that complexity is constraining in some ways, limiting our attempts at gaining knowledge, at least through means related to data processing. On the other hand, there is the quasi-unanimous recognition of accomplishments associated with complexity. Creativity is a good placeholder and qualifier for the exceptional as an expression of complex processes, by no means associated with a large scale-not big data, rather, scarce significant data. Actually, creative acts involve little data, just as survival is a small but significant data endeavor. All the examples given so far document how computation evolved, sometimes in order to address challenging scientific questions, other times affirming its new role in science and society. Even the reductionist-deterministic model, which ultimately proved useful in conceiving a new world of artifacts of extreme performance, is an expression of the attempt to understand which © 2014 Academic Research Centre of Canada ~ 27 ~ representations best support knowledge acquisition attempts. The goal of explanations, i.e., measurement performed under the guidance of reductionism and determinism, is to gain access to knowledge about phenomena otherwise difficult (if not impossible) to explain. With all this in mind, that is, with respectful acknowledgment of what reductionism and determinism made possible-the whole universe of all our technology, and a large body of knowledge informing human activity-the need to define complexity, and to introduce a clear criterion (or criteria) for it is more urgent than ever before. Quantum Complexity-complexity understood as computation efficiency-so often extolled, really moved the goalpost in ascertaining that quantum processes are way faster and more encompassing than those we know from classical physics. But the focus has remained on scale, i.e., on quantity, while complexity actually defines quality. Moreover, complexity is definitory of the world in which we live and to which we belong, and which we try to better understand. It can be, of course, an attribute of descriptions of existence. Leibniz (1714) thought about "very complicated" formulations and dismissed them. However, complexity, as consubstantial with existence, is of higher order consequence. If reality, or at least part of it, is complex, the issues involved in knowing this reality in its complexity is of extreme practical importance. What follows in the line of argument is a proposal that, realistically speaking, will not change the way the concept is used. None other than a logician in the guise of a writer for children (or posing as one while actually addressing us all) wrote: 'When I use a word,' Humpty Dumpty said, in rather a scornful tone, 'it means just what I choose it to mean - neither more nor less.' 'The question is,' said Alice, 'whether you can make words mean so many different things.' 'The question is,' said Humpty Dumpty, 'which is to be master - that's all.' (Carroll 1871) 5. The G-Complexity Thesis: A G-complex system is Gödel undecidable. In order to give this thesis a context, let us recall, in the words of Kleene (1967, p. 250) that Any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete. In particular, for any consistent, effectively generated formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable in the theory. Gödel's own formulation (1931) is quite a bit more elaborate. (The effort involved in following his logic is by no means trivial.) Of course, his subject is not the world, not Nature (to return to Newton's and Feynman's preferred term for reality), but the dyophantine number theory, i.e., arithmetic. However, the logical representation justifies the generalization from labels used in the description of the world to existence (from nominalism to realism). In more words than the formulation of an effective criterion allows: G-complex phenomena cannot be fully and consistently describable: Computer Communication & Collaboration (2014) Vol. 2 Issue :1 16-34 ~ 28 ~ Fig. 6: The decidable as criterion for complexity The immediate consequence is that phenomena of G-complexity escape both reductionism and determinism as descriptions of their causality. There is no effective decomposition rule; the consistency clause ascertains that inferences implicit in determinism (same cause ‡ same effect) do not hold for the G-complex. They are not cause-free; rather, causality is expressed in forms that no longer submit to the time sequence characteristic of determinism. The future (as we shall see) is constitutive of their dynamics driven by goals (often expressed as intentions). Feynman's Original State Diagram (Fig 7), to which we shall return, suggests that states in a complex system could depend on both past and future. Once again: Feynman et al. lay claim to quantum computing as the only way to simulate nature, while they actually ignore a major distinction within this comprehensive Nature: that between the living and the physical. Moreover, they affirm that what holds true for the physical, (inanimate reality) holds equally true for life. Among the many who argued in favor of this distinction, all discarded as animists, there are even physicists, not to mention biologists, mathematicians, and, more recently semioticians. The arguments, discussed in detail (Nadin 2003a,b; 2010a,b) support the complexity criterion introduced above. Of course, the criterion of complexity now becomes, within the inference loop advanced, an identifier of the living. There is no need for animus, or vital substance, or anything of the sort. The living is G-complex. This declaration sounds almost trivial. And this holds true for every living form, whether endowed with one neuron or 120 billion neurons, whether consisting of one reproducible cell or an enormous number of cells of all kinds. The image above (Fig. 6) is, obviously, more an illustrative than a formal argument. Its operational consequences are implicit. Therefore, I suggest the following shorthand for implications of my thesis: I. Decidability is the criterion for a new type of complexity: the G-complexity. Definition: A G-complex system is undecidable Below the complexity threshold is the domain of the complicated and the simple. Above the threshold, there are no degrees. A system is undecidable or not, i.e., G-complex or not. There is no room for equivocation. II. A G-complex system is characterized by the fact that its information level is always above the information received from the environment; that is, it generates information. © 2014 Academic Research Centre of Canada ~ 29 ~ III. G-complex systems are adaptive systems; physical systems are reactive. Sensory input and actions, informed by the data acquired through the senses, at different informational levels. Reactions take place on account of received sensorial input. Adaptive processes are not reactive; they involve the future. IV. A G-complex system is not measurable. A G-complex system is represented by its life record. Time series can capture partial knowledge about specific aspects of the dynamics qualified through partial measurements. (For example, after surgery, physicians measure temperature, heart rate, blood oxygen levels, etc. These variables represent only a limited aspect of the patient's state of health.) V. G-complex systems have no effective copy procedures; everything in a G-complex system is unique. The knowledge domain of entities and phenomena characterized by G-complexity is the idiographic (Nadin 2012). For any such entity Ei, always different from any other, we can define a functional dynamic yEi= fEi{xEi(t), IEi(t), t} (a) Take note that the function is entity specific (fEi). Interactions (IEi), part of the dynamics, are also specific. The fact that the function is entity specific excludes generalizations. Evidently, the specific dynamic of one identity actually differs in indeterminate ways from the dynamic of any other entity. The aggregate value is therefore meaningless. G-complex entities do not accept nomothetic descriptions. VI. G-complex systems are relational. EiRijEj (b) Living entities are interrelated. The mathematical descriptions through relations have to acknowledge the variety of possible relations and how they switch from one form to another in the interaction, VII. G-complex systems are endowed with self-evolving anticipatory processes. Computer Communication & Collaboration (2014) Vol. 2 Issue :1 16-34 ~ 30 ~ A G-complex system is an evolving record of entangled (not quantum entangled though) past states, current states, and possible future states. For an observer, actions are the expression of anticipation. G-complex systems are open systems, of unlimited dynamics. The physical world, such as the world on Mars (devoid of life, as far as we know) runs the gamut between the simple and the complicated. Complicated systems are made of simple systems, or can be reduced to a limited number of simple systems. Complicated systems are subject to observation and measurement. To know such a system is to capture its regularity, obvious or hidden. This regularity corresponds to the laws predicting the behavior of such systems. They belong to the knowledge domain of the nomothetic (Nadin, 2010a, b). Complicated systems are closed systems, of limited dynamics. The experimental method as a source of knowledge about the physical is based on the assumption that competing explanatory models (i.e., hypotheses) can be empirically tested. This is the basis for the expectation of repeatability. The domain of the physical (inanimate) allows for this procedure. Experiments constitute closed systems. Within experiments variability (of parameters) can be kept under control. It is reasonable to rely on experiments for knowledge acquisition pertinent to closed systems subject to observation and measurement. To predict the behavior of a complicated system, the observer requires sufficient information about its dynamics but not about the interaction with the outside world. This interaction is either eliminated or kept at a minimum. Since G-complex systems produces information as they evolve, i.e. adapt to a variable world, and interact with it, the requirement of sufficient information about their dynamics cannot be met. Life is interaction. Therefore, the experimental model pertinent to the domain of the decidable (we can fully describe such entities contradiction-free) is not applicable in the G-complexity domain. Against epistemological common sense, i.e. it cannot generate other knowledge that that introduced by the design of the experiment, the context-free model is not only practiced but made into the dogma of science today. This corresponds rather to the politics of science than to intrinsic scientific aspects. Even generalizations built upon statistical averages and probability distribution defy the nature of the living entity subject to knowledge acquisition. Quite often, the irreducible uniqueness (of human subjects, or of animals) is replaced by a conditioning procedure (à la"if you see a lamp blinking press the key..." etc). If nothing else, the implications for research of the complexity criterion advanced above bring into focus the hot issues of the intractable. In this vein, I hereby submit, for consideration for the Clay Mathematics Institute Prize, the following axiom: G-complex phenomena result in descriptions that, regardless of the computational resources available, are intractable. This means that the living, from inception to death, in its specific dynamics resulting from its existence as interaction, based upon which it is unfathomably adaptive, cannot be simulated on computers or by computers. Of course, there is a reasonable consequence of this axiom: No other medium, except the living, is above the G-complexity threshold. Accordingly, the output of any form of computation(in silicon, quantum, in DNA, RNA, etc.) is by definition under the threshold. The living cannot be simulated by computation in a non-living substratum. The entire effort of embedding computation in artificial entities emulating aspects of the living (synthetic neurons, artificial muscles, synthetic DNA, synthetic cells, etc.) deserves respect for the © 2014 Academic Research Centre of Canada ~ 31 ~ gnoseological, scientific, and technological effort. However, the outcomes of the computation on such substrata can only reflect the assumptions embedded in the emulated synthetic world. 6. Anticipation and G-complexity Systems that can make predictive models of themselves and their environment, and use those models in directing their actions, are anticipatory. An anticipatory system is one whose current state depends not only on previous states, but also on possible future states. Anticipation is a corollary of G-complexity. While Rosen (1985) and Nadin (1986-1991, 2003) are credited for introducing the subject of anticipation to modern science-both defining anticipation in contradistinction to reaction-it is worth adding to their view that of Feynman (1982) and his Original State Diagram: si = Fi(sj, sk, ...) Fig. 7: In an anticipatory system the current state of the system depends not only upon previous states but also upon possible future states (Nadin, 2003) He suggests: "Just let's think about a more general kind of computer . . . . If F depends on all the points both in the future and the past, what then?" Had Feynman posed this rhetorical question within the context of our research, the answer would be: If indeed F depends on all the points both in the future and the past, then ‡ Anticipation. Indeed, if we work with the definition "a system whose current state depends not only on a previous state and the current state, but also on possible future states," we are within the description given by Feynman: "That could be the way Nature works." Computer Communication & Collaboration (2014) Vol. 2 Issue :1 16-34 ~ 32 ~ Acknowledgments For a study extending over a long timespan, to acknowledge everyone with whom I interacted in the process is a difficult task. I shall restrict the naming to those who challenged my views instead of politely accepting them: Marcian Gutman, Ioan Agarbiceanu, Edmond Nicolau, Grigore Moisil, Wolfgang Stegmüller, Umberto Eco, Solomon Marcus, Max Bense, Heinz von Foerster, Andy van Dam, Douglas Englebart, Terry Winograd, Robert Rosen, Terrence Sejnowski (recently elected to the AAAS), Aloisius Louie, Otthein Herzog, Lotfi Zadeh, George Klir, Jonas Salk, Herbert Simon, Hiroshi Kawano, Klaus Schilling, Thomas Lippert, Benoit Mandelbrot, and Stephen Wolfram. My lecture (What is and what is not anticipation, 2013) at UT-Dallas gave rise to many questions from which, I hope, this text benefited. Cassandra Emswiler assisted me in many ways (her illustrations are always in dialog with my thoughts); and so did Elvira Nadin, by now an expert herself in anticipatory systems. Last but not least, the Study Group at the Hanse Institute for Advanced Study/Hanse Wissenschaftskolleg gives me the opportunity to work with many young and very young researchers who, most of the time, know so much more than I do. References [1]. Aaronson, S. (2013). Quantum Computing Since Democritus. Cambridge: Cambridge University Press. [2]. Adleman, L.(1994). Molecular Computation of Solutions to Combinatorial Problems, Science (November 1994), 266: 1021-1024. [3]. Adleman, L.(1998). Computing with DNA, Scientific American, August 1998, 54-61. [4]. Aron, J. (2013) Controversial quantum computer aces entanglement tests, New Scientist (13 March 2013) 2908, 3. [5]. Aspuru-Guzik, A., A. Perdomo-Ortiz, N. Dickson, M. Drew-Brook, G. Rose (2012). Finding low-energy conformations of lattice protein models by quantum annealing, Nature, Scientific Reports 2:571, August 2012. [6]. Benioff, P.A. (1982). Quantum mechanical Hamiltonian models of discrete processes that erase their own histories: Application to Turing machines, International Journal of Theoretical Physics, 21(3-4): 177-201. [7]. Bohr, N. (1999). Complementarity Beyond Physics (1928-1962), Niels Bohr Collected Works, 10. Amsterdam: North Holland. See also: Atoms and Human Knowledge, a lecture delivered at the University of Oklahoma-Norman, in 1957. [8]. Briggs, G.A.D., J.N. Butterfield, A. Zeilinger (2013). The Oxford Questions on the foundations of quantum physics, Proceedings of the Royal Society A 469. [9]. Published on 3 July 2013 doi: 10.1098/rspa.2013.0299 Proc. R. Soc. A8 September 2013, 469: 2157,20130299. Retrieved on July 18 2013 from: http://rspa.royalsocietypublishing.org/ content/ 469/2157/20130299.abstract [10]. Cai, X.D. et al. (2013). Experimental Quantum Computing to Solve Systems of Linear Equations, Physical Review Letters, 110:23. Retrieved July 18, 2013 from: http://prl.aps.org/ abstract/PRL/v110/i23/e230501 [11]. Carroll, L. (1871). Through the Looking-Glass, and What Alice Found There. London: Macmillan. [12]. Chaitin, G. (2006). Epistemology as Information Theory: From Leibniz to Omega, Collapse, Vol.1, No.8, pp27-51. © 2014 Academic Research Centre of Canada ~ 33 ~ [13]. Deutsch, D. (1985a). Quantum Theory, the Church-Turing Principle and the universal quantum computer, Proceedings of the Royal Society of London, Series A, Mathematical and Physical Sciences, 400:1818, 97-117. [14]. Deutsch, D. (1985b). Quantum theory as a universal physical theory, International Journal of Theoretical Physics, 24:1, 1-41. [15]. Ellis, G.F.R. (2005). Physics, complexity and causality, ESSAY, Nature435, 743, 9 June 2005. Retrieved on July 13, 2013 from: http://www.nature.com/nature/journal/v435/n7043/ full/435743a.html [16]. Elsasser, W. (1998). Reflections on the Theory of Organisms. Holism in Biology. Baltimore: Johns Hopkins University Press. (Originally published in 1987 by ORBIS Publishing, Frelighsburg, Quebec.) [17]. Feynman, R. (1982). Simulating Physics with Computers, International Journal of Theoretical Physics, 21 (6-7): 467-488. [18]. Feynman, R. (1986). Foundations of Physics, 16: 530. [19]. Gell-Mann, M. (1995). What is Complexity? Complexity,1:1, 16-19. New York: John Wiley and Sons, Inc. [20]. Gödel, K. (1931). Über formal unenscheidbare sätze der Principa Mathematica und verwandte systeme, Monatshefte für Mathematik und Physik, 38, 173-198. The first incompleteness theorem originally appeared as Theorem VI. [21]. Hawking, S. (2001). The Universe in a Nutshell. New York: Bantam. [22]. Head, T. (1998). Splicing Systems, Aqueous Computing, and Beyond. In: Calude, C. J. Casti, and M.J. Dinneen (Eds.), Unconventional Models of Computation, Series: Discrete Mathematics and Theoretical Computer Science, 68-84. Berlin: Springer. [23]. Hebb, D.O. (1949). The Organization of Behavior: A Neurophysiological Theory. New York: John Wiley and Sons, Inc. [24]. Hemphill, J. and A. Dieters (2013). DNA Computation in Mammalian Cells: MicroRNA Logic Operations, Journal of the American Chemical Society, July 17, 135(28): 10512-8. [25]. Holland, J.H. (1995). Hidden Order: How Adaptation Builds Complexity. New York: Perseus Books. [26]. Ivars, P. (1996). Using quantum computation, in theory, to speed up database searches, Science News Online, August 31,1996. Retrieved on July 10, 2013: http://www.sciencenews. org/sn_arch/8_31_96/bob2.htmQuantum-Quick Queries [27]. Kleene, S.C. (1967). Mathematical Logic. New York: John Wiley. [28]. Kuhn, T. (1962). The Structure of Scientific Revolutions. Chicago: University of Chicago Press. [29]. Leibniz, G.W. (1714). Discours, part 6; Principles of Nature and Grace, part 7; Monadology, part 33-35. [30]. Manin, Y.I. (1980). Vychislimoe i nevychislimoe [Computable and Noncomputable] (in Russian). Sov.Radio.,13-15. [31]. McCulloch, W. S. and W. H. Pitts(1943). A logical calculus of the ideas immanent in nervous activity, Bulletin of Mathematical Biophysics, 5: 115–133. [32]. Megidish, E. et al. (2013). Entanglement Swapping between Photons that have Never Coexisted, Physical Review Letters, 110: 21. Retrieved July 18, 2013 from:http://prl.aps.org/ abstract/PRL/v110/i21/e210403 [33]. Nadin, M. (1986-1991). Mind–Anticipation and Chaos (from the series Milestones in Thought and Discovery). Stuttgart: Belser Press. [34]. Nadin, M. (2003a). Anticipation – The End Is Where We Start From. Basel: Lars Muller. [35]. Nadin, M. (2003b). Not everything we know we learned. In: M. Butz, (Ed.), Adaptive Behavior in Anticipatory Learning Systems LNAI 2684. Heidelberg: Bertelsman Springer, 2343. Computer Communication & Collaboration (2014) Vol. 2 Issue :1 16-34 ~ 34 ~ [36]. Nadin, M. (2010a). Anticipation and dynamics: Rosen's anticipation in the perspective of time. Special issue of International Journal of General Systems, (George Klir, Introduction). London: Taylor and Blackwell, 39(1): 3-33. [37]. Nadin, M. (2010b). A Science of Change, In: Vivir es Cambiar, by Dr. F. Chorda, an interpretation of the thought of Mihai Nadin. Barcelona: Anthropos, 127-166. [38]. Nadin, M. (2012). Reassessing the Foundations of Semiotics: Preliminaries. In: A. Loula and J. Queiroz (Eds.), International Journal of Signs and Semiotic Systems, 2(1): 1-31. [39]. Neumann, J. von (1948). The general and logical theory of automata, published (1951) in L.A. Jeffress, (Ed.), Cerebral Mechanisms in Behavior – The Hixon Symposium, New York: John Wiley & Sons, 1-31. [40]. Poincare, H. (1904). Science and Hypothesis, London/New York: Walter Scott Publishing Co. [41]. Poplavskii, R.P. (1975). Thermodynamical models of information processing (in Russian), Uspekhi Fizicheskikh Nauk 115:3, 465–501. [42]. Preskill, J. (2011). Physics 219/Computer Science 219, a course on quantum information and computation. See: http://www.theory.caltech.edu/~preskill/ph219/ph219_2011 [43]. Prigogine, I. (1997). The End of Certainty. New York: Free Press. [44]. Rosen, Robert (1988). Epistemology of Complexity. In: Kelso, Mandell, and Schlesinger (Eds.), Prologue in Dynamic Patterns of Complex Systems. Singapore: World Scientific, 7-30. [45]. Schrödinger, E. (1944). What Is Life? Cambridge: Cambridge University Press. [46]. Shomrat, T. and M. Levin (2013). An automated training paradigm reveals long-term memory in planaria and its persistence through head regeneration, The Journal of Experimental Biology. Retrieved on July 7 2013 from: http://jeb.biologists.org/content/early/2013/06/27/ jeb.087809.abstract [47]. Shor, P. (1994). Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer, SIAM Journal of Computing, 26(5): 1484-1509. [48]. Simmons, S. et al. (2011). Entanglement in a solid-state spin ensemble, Nature 470, February 2011, 69-72. See also: 10 billion bits of entanglement achieved in silicon: http://www.ox.ac.uk/media/news_stories/2011/112001.html [49]. Vicsek, T. (2002). Complexity: The bigger picture, Nature, (11 July 2002), 418:131. [50]. Waldrop, M.M. (1993). Complexity, New York: Simon & Schuster. [51]. Weyl, H. (1932). The Open World: Three Lectures on the Metaphysical Implications of Science. New Haven: Yale University Press.