Florentin Smarandache Vic Christianto Multi-Valued Logic, Neutrosophy, and Schrödinger Equation Hexis Phoenix 2005 2 This book can be ordered in a paper bound reprint from: Books on Demand ProQuest Information & Learning (University of Microfilm International) 300 N. Zeeb Road P.O. Box 1346, Ann Arbor MI 48106-1346, USA Tel.: 1-800-521-0600 (Customer Service) http://wwwlib.umi.com/bod/ Copyright 2005 by Hexis and Authors Many books can be downloaded from the following E-Library of Science: http://www.gallup.unm.edu/~smarandache/eBooks-otherformats.htm Peer Reviewers: Prof. Ezzat G. Bakhoum, Prof. RM Kiehn, & F. Loup. ISBN: 1-931233-04-7 Standard Address Number: 297-5092 Printed in the United States of America 3 Abstract This book was intended to discuss some paradoxes in Quantum Mechanics from the viewpoint of Multi-Valued-logic pioneered by Lukasiewicz, and a recent concept Neutrosophic Logic. Essentially, this new concept offers new insights on the idea of ‘identity’, which too often it has been accepted as given. Neutrosophy itself was developed in attempt to generalize Fuzzy-Logic introduced by L. Zadeh. While some aspects of theoretical foundations of logic are discussed, this book is not intended solely for pure mathematicians, but instead for physicists in the hope that some of ideas presented herein will be found useful. The book is motivated by observation that despite almost eight decades, there is indication that some of those paradoxes known in Quantum Physics are not yet solved. In our knowledge, this is because the solution of those paradoxes requires re-examination of the foundations of logic itself, in par- ticular on the notion of identity and multi-valuedness of entity. The book is also intended for young physicist fellows who think that some- where there should be a ‘complete’ explanation of these paradoxes in Quan- tum Mechanics. If this book doesn’t answer all of their questions, it is our hope that at least it offers a new alternative viewpoint for these old ques- tions. Florentin Smarandache University of New Mexico Gallup, NM 87301, USA [email protected] V. Christianto http://www.sciprint.org email: [email protected] 4 Multi-Valued-logic, Neutrosophy, and Schrödinger Equation Florentin Smarandache & V. Christianto Dec. 2005 Contents Foreword 6 1 Introduction: Paradoxes, Lukasiewicz, Multi-Valued logic 7 2 Lukasiewicz Multi-Valued Logic: History and Introduction to Multi-Valued Algebra 10 2.1. Introduction to trivalent logic and plurivalent logic 10 2.2. History of Lukasiewicz and Multi-Valued Logic 12 2.3. Introduction to Multi-Valued Algebra, Chang’s Notation 15 2.4. Linkage between Multi-Valued Logic and Quantum Mechanics 15 2.5. Exercise 17 3 Neutrosophy 25 3.1. Introduction to Neutrosophy 25 3.2. Introduction to Non-Standard Analysis 26 3.3. Definition of Neutrosophic Components 27 3.4. Formalization 28 3.5. Evolution of an Idea 30 3.6. Definition of Neutrosophic Logic 31 3.7. Differences between Neutrosophic Logic and IFL 32 3.8. Operations with Sets 33 3.9. Generalizations 34 4 Schrödinger Equation 39 4.1. Introduction 39 4.2. Quantum wave dynamics and classical dynamical system 43 4.3. A new derivation of Schrödinger-type Equation 45 5 Solution to Schrödinger’s Cat Paradox 47 5.1. Standard interpretation 47 5.2. Schrödinger’s Cat Paradox 48 5.3. Hidden-variable hypothesis 50 5.4. Hydrodynamic viewpoint and diffusion interpretation 50 5.5. Some less known interpretations 51 5.6. How Neutrosophy could offer solution to Schrödinger’s Cat Paradox 52 5 6 Quantum Sorites Paradox and Quantum Quasi-Paradoxes 54 6.1. Introduction 55 6.2. Sorites Paradox and Quantum Sorites Paradox 56 7 Epistemological Aspects of Multi-Valued-Logic 57 7.1. Non-standard real numbers and real sets 62 7.2. Epimenidean Paradox and Grelling Paradox 62 7.3. Neutrosophic Statistics and Neutrosophic Probability Space 64 7.4. Generalization of Other Probability 65 8 Postscript: Schrödinger Equation and Quantization of Celestial Systems 67 Epilogue 76 Acknowledgment 78 References 79 Appendix I: An example of self-referential code 88 Appendix 2: Summary of bibliography of Non-Standard Logic 93 Appendix 3: List of some known paradoxes 95 Appendix 4: A few basic notations 103 Appendix 5: A few historical achievements in foundation of set theory 105 6 Foreword It comes me a bit inappropriate to praise this book, since some of the deriva- tions in it are based on my modest contribution to science. But this is the kind of work that is truly worthy of praise. Florentin Smarandache and V. Christianto are two distinguished scientists and great authors. The idea of linking multi-valued logic to quantum mechanics is an excellent, new idea that, as far as I know, has not been considered before in physics. Smarandache and Christianto prove that multi-valued logic can lead to the resolution of long standing paradoxes in quantum mechanics, such as the Schrödinger cat paradox, the quantum Sorites paradox, etc. Most impor- tantly, they convincingly explain -with Schrödinger's equation- that the or- bits of planets are quantized! (i.e., the same sets of rules that apply to an atomic system also apply to a planetary system). This argument, as they show, is supported by recent astronomical observations. Throughout the book, the authors make a number of important predictions that can be tested experimentally. For key arguments and conclusions, they reinforce their points of view with a mountain of citations and irrefutable experimental evidence. The book is written in a refreshing, humorous style that makes it a truly delightful piece of reading. This is a highly recommended book for research- ers and graduate students who are looking for potentially new, breakthrough ideas in physics or applied mathematics. Ezzat G. Bakhoum Dec. 2005 7 1 Introduction: Paradoxes, Lukasiewicz Multi-Valued logic ”This statement is false.” Supposed we write like this in the beginning of this book, and then can you prove it really false? We doubt it, because the statement reveals contradiction in formal system of logic: If the statement is false, then we cannot believe in its own claim, and vice versa. Sometimes it is called ‘self-referential’ statement. In programming language, for instance, a ‘self-referential’ code would mean a program which duplicates itself. For an example, see Appendix I. It is known that there are limitations to the present accepted axiomatic foundations of logic. Some of these limitations are known in the form of paradoxes. For instance, there are paradoxes [2] known to logicians: - Russell paradox--- Consider the set of all sets are not members of themselves. Is this set a member of itself? - Epimenidean paradox--- Consider this statement: “This statement is false.” Is this statement is true? - Berry paradox --- Consider this statement: “Find the smallest positive integer which to be specified requires more characters then there are in this sentence.” Does this sentence specify an integer? While there are of course other paradoxes known mostly by mathemati- cians, including Zeno paradox, Banach-Tarski paradox, etc., those aforemen- tioned paradoxes delimit what can be proved [2]. The first, devised by Ber- trand Russell, indicated that informal reasoning in mathematics can yield contradictions, and it led to the creation of formal systems. The second, attributed to Epimenides, was adapted by Gödel to prove that within a for- mal system there are true statements that are unprovable. The third leads to specify that a specific number cannot be proved random. In the meantime, it is not an understatement if Weinberg wrote in his book “The discovery of quantum mechanics in the mid-1920s was the most profound revolution in physical theory since the birth of modern physics in the seventeenth century”. And it is known that Quantum Mechanics is at the core of more recent theories intended to describe the nature of elementary particles, including Quantum Field Theory, Quantum Electrodynamics, Quantum Chromodynamics, and so forth. But quantum mechanics in its present form also suffers from the same limitations of the foundations of logic; therefore it is not surprising that there are difficult paradoxes that astonished physicists’ mind for almost eight decades. Some of these known paradoxes are: - Wigner’s friend; 8 - Einstein-Podolski-Rosen paradox; - Schrödinger’s cat paradox. While numerous attempts have been made throughout the past eight dec- ades to solve all these paradoxes, it seems that only few of the present theo- ries take these paradoxes into consideration as an inherent contradiction (or, to be more precise: ‘logic inexactness’) in the conceptual foundation of physical theories. It is perhaps because most discussions on these paradoxes are only given as an afterthought. This book was intended to discuss these problems from the viewpoint of Multi-Valued-logic pioneered by Lukasiewicz, and a recent concept Neutro- sophy. Essentially, this new concept offers new insights on the idea of ‘iden- tity’, which too often it has been accepted as given. Neutrosophy itself was developed in attempt to generalize Fuzzy-Logic introduced by L. Zadeh. While some aspects of theoretical foundations of logic are discussed, this book is not intended solely for pure mathematicians, but instead for physi- cists in the hope that some of ideas presented herein will be found useful. Therefore we have made our best attempt to present our arguments in an understandable manner. But in some chapters, we should have to introduce a new language to make our presentation clear. Of course, it is recommended to verify our propositions outlined herein via proper experiments [8]. The book is motivated by observation that despite almost eight decades, there is strong indication that some of those paradoxes known in quantum physics are not yet solved. In our knowledge, this is because the solution of those paradoxes requires re-examination of the foundations of logic itself, in particular on the notion of identity and multi-valuedness of entity. Therefore, by elucidating this axiomatic basis of logic, perhaps we could offer a new viewpoint for rethinking those paradoxes, in the same way Frege had to rethink his own propositions on the concept of ‘extension’ after reading Russell’s book [3]. In Chapter 2, we discuss history of Multi-Valued logic and Lukasiewicz’s historical contribution on this issue. We also discuss previous attempts to include Multi-Valued-logic in Quantum Mechanics. In Chapter 3, we will introduce Neutrosophic Logic and its elementary notations. This chapter will be useful for subsequent discussion of solution of Quantum Paradox (Chapter 5). For a sense of balance we also discuss, albeit only in introduction manner, a few other present theories to describe those quantum paradoxes. In Chapter 4 we discuss Schrödinger’s equation and its interpretations. In Chapter 6 we discuss Quantum Sorites Paradox. 9 In Chapter 7 we discuss Epistemological aspects of Multi Valued logic and how Neutrosophic Logic treats the real sets. In Chapter 8 we discuss how Schrödinger equation could be generalized to describe quantization of celestial systems. Here and there, along this book we put some known paradoxes and hu- mours in order to elucidate the concepts discussed. Our conviction is that paradoxes and humours serve not only for delight, but also to illustrate limi- tation of the human language in particular in the context of ‘multi- valuedness’ [5a]. As we know, some people think that paradoxes are like 'curse' to human language, while others think they are blessing. This is somewhat similar to 'imperfection' in geometry. It is natural to suppose that imperfection is 'de- fect' that human does while doing something practical, but we know that great architects like Le Corbusier made some great design based on the no- tion of 'imperfection' [11]. In the same way Neutrosophy takes 'indetermi- nacy' seriously into the truth-value system, therefore extends Lukasiewicz’s trivalent logic [12]. Interestingly, via Smarandache’s paradox we can even prove that hu- mours are also serious things. Let’s write Smarandache’s paradox: “Let A be some attribute (e.g., possible, present, perfect, etc.). If all is A, then the non- A must also be A.” Therefore we can deduce that non-serious things (hu- mours) are also serious. Using similar approach we can prove some nontriv- ial results, such as: Non-language is also part of language (watch your ges- ture); Non-spirit is also part of spirit (hence body-mind-spirit is unity). To summarize, we can re-phrase Wheeler’s paradox: “The question is: What is the question?” to become “The question is: What is non-What?” The reader will also find numerous examples of non-trivial assertions in this book. All in all, this book is also intended for young physicist fellows who think that somewhere there should be a ‘complete’ explanation of these paradoxes in Quantum Mechanics. If this book doesn’t answer all of their questions, it is our hope that at least it offers a new alternative viewpoint for these old questions. December 2005 FS, VC