springer us aug 1990 (2 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware - This discussion resulted from a dialogue which began some seven years ago between a physicist who specializes in astrophysics, general relativity, and the foundations of quantum theory, and a student of cultural history who had done post-doctoral work in the history and philosophy of science. Both of us at that time were awaiting the results of some experiments being conducted under the direction of the physicist Alain Aspect at the University of Paris-South. ! The experiments were the last in a series designed to test some predictions based on a mathematical 2 theorem published in 1964 by John Bell. There was no expectation that the results of these experiments would provide the basis for developing new technologies. The questions which the experiments were designed to answer concerned the relation ship between physical reality and physical theory in the branch of physics known as quantum mechanics. Like most questions raised by physicists which lead to startling new insights, they were disarmingly simple and direct. Is quantum physics, asked Bell, a self-consistent theory whose predictions would hold in a new class of experiments, or would the results reveal that the apparent challenges of quantum physics to the understanding in classical physics of the relationship between physical theory and physical reality were merely illusory Answering this question in actual experiments could also, suggested Bell, lead to another, quite dramatic, result.

Buch. Zustand: Neu. Neuware - This book is about the logic of Boolean equations. Such equations were central in the 'algebra of logic' created in 1847 by Boole [12, 13] and devel oped by others, notably Schroder [178], in the remainder of the nineteenth century. Boolean equations are also the language by which digital circuits are described today. Logicians in the twentieth century have abandoned Boole's equation based logic in favor of the more powerful predicate calculus. As a result, digital engineers-and others who use Boole's language routinely-remain largely unaware of its utility as a medium for reasoning. The aim of this book, accordingly, is to is to present a systematic outline of the logic of Boolean equations, in the hope that Boole's methods may prove useful in solving present-day problems. Two Logical Languages Logic seeks to reduce reasoning to calculation. Two main languages have been developed to achieve that object: Boole's 'algebra of logic' and the predicate calculus. Boole's approach was to represent classes (e. g. , happy creatures, things productive of pleasure) by symbols and to represent logical statements as equations to be solved. His formulation proved inadequate, however, to represent ordinary discourse. A number of nineteenth-century logicians, including Jevons [94], Poretsky [159], Schroder [178], Venn [210], and Whitehead [212, 213], sought an improved formulation based on ex tensions or modifications of Boole's algebra. These efforts met with only limited success.