REVIEW OF: Automated Development of Fundamental Mathematical Theories by Art Quaife. (1992: Kluwer Academic Publishers) 271pp. Using the theorem prover OTTER Art Quaife has proved four hundred theorems of von Neumann-Bernays-Gödel set theory; twelve hundred theorems and definitions of elementary number theory; dozens of Euclidean geometry theorems; and Gödel's incompleteness theorems. It is an impressive achievement. To gauge its significance and to see what prospects it offers this review looks closely at the book and the proofs it presents.

1.Summary The key terms. 1. Key term: ‘Sunyata’. Nagarjuna is known in the history of Buddhism mainly by his keyword ‘sunyata’. This word is translated into English by the word ‘emptiness’. The translation and the traditional interpretations create the impression that Nagarjuna declares the objects as empty or illusionary or not real or not existing. What is the assertion and concrete statement made by this interpretation? That nothing can be found, that there is nothing, that nothing exists? Was Nagarjuna denying (...) the external world? Did he wish to refute that which evidently is? Did he want to call into question the world in which we live? Did he wish to deny the presence of things that somehow arise? My first point is the refutation of this traditional translation and interpretation. 2. Key terms: ‘Dependence’ or ‘relational view’. My second point consists in a transcription of the keyword of ‘sunyata’ by the word ‘dependence’. This is something that Nagarjuna himself has done. Now Nagarjuna’s central view can be named ‘dependence of things’. Nagarjuna is not looking for a material or immaterial object which can be declared as a fundamental reality of this world. His fundamental reality is not an object. It is a relation between objects. This is a relational view of reality. This is the heart of Nagarjuna’s ideas. In the 19th century a more or less unknown Italian philosopher, Vincenzo Goberti, spoke about relations as the mean and as bonds between things. Later, in quantum physics and in the philosophy of Alfred North Whitehead we are talking about interactions and entanglements. These ideas of relatedness or connections or entanglements in Eastern and Western modes of thought are the main idea of this essay. Not all entanglements are known. Just two examples: the nature of quantum entanglements is not known. Quantum entanglements should be faster than light. That's why Albert Einstein had some doubts. A second example: the completely unknown connections between the mind and the brain. Other examples are mysterious like the connections between birds in a flock. Some are a little known like gravitational forces. 3. Key terms: ‘Arm in arm’. But Nagarjuna did not stop there. He was not content to repeat this discovery of relational reality. He went on one step further indicating that what is happening between two things. He gave indications to the space between two things. He realized that not the behaviour of bodies, but the behaviour of something between them may be essential for understanding the reality. This open space is not at all empty. It is full of energy. The open space is the middle between things. Things are going arm in arm. The middle might be considered as a force that bounds men to the world and it might be seen as well as a force of liberation. It might be seen as a bondage to the infinite space. 4. Key term: Philosophy. Nagarjuna, we are told, was a Buddhist philosopher. This statement is not wrong when we take the notion ‘philosophy’ in a deep sense as a love to wisdom, not as wisdom itself. Philosophy is a way to wisdom. Where this way has an end wisdom begins and philosophy is no more necessary. A.N. Whitehead gives philosophy the commission of descriptive generalization. We do not need necessarily a philosophical building of universal dimensions. Some steps of descriptive generalization might be enough in order to see and understand reality. There is another criterion of Nagarjuna’s philosophy. Not his keywords ‘sunyata’ and ‘pratityasamutpada’ but his 25 philosophical examples are the heart of his philosophy. His examples are images. They do not speak to rational and conceptual understanding. They speak to our eyes. Images, metaphors, allegories or symbolic examples have a freshness which rational ideas do not possess. Buddhist dharma and philosophy is a philosophy of allegories. This kind of philosophy is not completely new and unknown to European philosophy. Since Plato’s allegory of the cave it is already a little known. (Plato 424 – 348 Befor Current Era) The German philosopher Hans Blumenberg has underlined the importance of metaphors in European philosophy. 5. Key terms: Quantum Physics. Why quantum physics? European modes of thought had no idea of the space between two this. They were bound to the ideas of substance or subject, two main metaphysical traditions of European philosophical history, two main principles. These substances and these subjects are two immaterial bodies which were considered by traditional European metaphysics as lying, as a sort of core, inside the objects or underlying the empirical reality of our world. The first European scientist who saw with his inner eye the forces between two things had been Michael Faraday (1791-1867). Faraday was an English scientist who contributed to the fields of electromagnetism. Later physicists like Albert Einstein, Niels Bohr, Erwin Schrödinger, Werner Heisenberg and others followed his view in modern physics. This is a fifth point of my work. I compare Nagarjuna with European scientific modes of thought for a better understanding of Asia. I do not compare Nagarjuna with European philosophers like Hegel, Heidegger, Wittgenstein. The principles and metaphysical foundations of physical sciences are more representative for European modes of thought than the ideas of Hegel, Heidegger and Wittgenstein and they are more precise. And slowly we are beginning to understand these principles. Let me take as an example the interpretation of quantum entanglement by the British mathematician Roger Penrose. Penrose discusses in the year of 2000 the experiences of quantum entanglement where light is separated over a distance of 100 kilometers and still remains connected in an unknown way. These are well known experiments in the last 30 years. Very strange for European modes of thought. The light should be either separated or connected. That is the expectation most European modes of thought tell us. Aristotle had been the first. Aristotle (384 - 322 Before Current Era) was a Greek philosopher, a student of Plato and a teacher of Alexander the Great. He told us the following principle as a metaphysical foundation: Either a situation exists or not. There is not a third possibility. Now listen to Roger Penrose: “Quantum entanglement is a very strange type of thing. It is somewhere between objects being separate and being in communication with each other” (Roger Penrose, The Large, the Small and the Human Mind, Cambridge University Press. 2000 page 66). This sentence of Roger Penrose is a first step of a philosophical generalization in a Whiteheadian sense. 6. Key terms: ‘The metaphysical foundations of modern science’ had been examined particularly by three European and American philosophers: E. A. Burtt, A.N. Whitehead and Hans-Georg Gadamer, by Gadamer eminently in his late writings on Heraclitus and Parmenides. I try to follow the approaches of these philosophers of relational views and of anti-substantialism. By ‘metaphysical foundations’ Edwin Arthur Burtt does not understand transcendental ideas but simply the principles that are underlying sciences. -/- 7. Key terms: ‘Complementarity’, ‘interactions’, ‘entanglements’. Since 1927 quantum physics has three key terms which give an indication to the fundamental physical reality: Complementarity, interactions and entanglement. These three notions are akin to Nagarjuna’s relational view of reality. They are akin and they are very precise, so that Buddhism might learn something from these descriptions and quantum physicists might learn from Nagarjuna’s examples and views of reality. They might learn to do a first step in a philosophical generalisation of quantum physical experiments. All of us we might learn how objects are entangled or going arm in arm. [The end of the summary.] -/- « Wenn du gerade das, wodurch auch immer du gefesselt bist, erkennst, wirst du zur Freiheit gelangen. Wenn du diesen speziellen Pfad verwirklichst, gelangst du in einem Leben zur Buddhaschaft. Deswegen verhält es sich folgendermaßen : Wenn plötzlich die Geistesregung « Begierde » enststeht, dann betrachte, ohne ihr zu folgen, direkt ihre Essenz und verweile in dieser Betrachtung, ohne Ablenkungen zuzulassen. Auf diese Weise reinigt Begierde sich selbst, ohne aufgegeben zu werden, da sie ohne Grundlage und Ursprung entsteht. Das wird « Befreiung in sich selbst », « unterscheidende ursprüngliche Weisheit » oder Buddha Amitabha » genannt ». Jigden Sumgön, Licht, das die Dunkelheit durchbricht, Otter Verlag, München 2006, Seite 47, 48 . (shrink)