Filter by
Treatise on Acoustics The First Comprehensive English Translation of E.F.F. …
E.F.F. Chladni’s experiments and observations with sound and vibrations profoundly influenced the development of the field of Acoustics. The famous Chladni diagrams along with other observations are contained in Die Akustik, published in German in 1802 and Traité d’Acoustique, a greatly expanded version, published in French in 1809. This is the first comprehensive translation of the expand…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20361-4
- Collation
- -
- Series Title
- -
- Call Number
- -
The Foundations of Computability Theory
This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and f…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-62421-0
- Collation
- XXI, 422
- Series Title
- -
- Call Number
- -
Programs as Diagrams
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; prog…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-34827-3
- Collation
- XVII, 252, 1 b/w illustrations
- Series Title
- Theory and Applications of Computability
- Call Number
- -
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only relat…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-74772-9
- Collation
- XXXIII, 454
- Series Title
- Outstanding Contributions to Logic
- Call Number
- -
The Emerging Quantum
This monograph presents the latest findings from a long-term research project intended to identify the physics behind Quantum Mechanics. A fundamental theory for quantum mechanics is constructed from first physical principles, revealing quantization as an emergent phenomenon arising from a deeper stochastic process. As such, it offers the vibrant community working on the foundations of quantum …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-34792-9
- Collation
- XIII, 366, 9 b/w illustrations
- Series Title
- -
- Call Number
- -
The Electric Theories of J. Clerk Maxwell
In this volume Pierre Duhem first gives an overview of 19th century electricity and magnetism. Next, he applies his keen historical, philosophical, and physical intuition to critiquing Maxwell’s theories, especially his electromagnetic theory of light and the ad hoc introduction of displacement current, which he considers too much a product of the “esprit de géométrie” than the “espri…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18515-6
- Collation
- XV, 185, 1 b/w illustrations
- Series Title
- Boston Studies in the Philosophy and History of Science
- Call Number
- -
The Complex Itinerary of Leibniz’s Planetary Theory The Complex Itinerar…
This book presents new insights into Leibniz’s research on planetary theory and his system of pre-established harmony. Although some aspects of this theory have been explored in the literature, others are less well known. In particular, the book offers new contributions on the connection between the planetary theory and the theory of gravitation. It also provides an in-depth discussion of Kep…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-21236-4
- Collation
- X, 188,
- Series Title
- Science Networks. Historical Studies
- Call Number
- -
The Quantum Dissidents
This book tells the fascinating story of the people and events behind the turbulent changes in attitudes to quantum theory in the second half of the 20th century. The huge success of quantum mechanics as a predictive theory has been accompanied, from the very beginning, by doubts and controversy about its foundations and interpretation. This book looks in detail at how research on foundations e…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-44662-1
- Collation
- XVI, 356, 12 b/w illustrations, 14 illustrations in colour
- Series Title
- -
- Call Number
- -
Traffic and Random Processes An Introduction
This book deals in a basic and systematic manner with the fundamentals of random function theory and looks at some aspects related to arrival, vehicle headway and operational speed processes at the same time. The work serves as a useful practical and educational tool and aims at providing stimulus and motivation to investigate issues of such a strong applicative interest. It has a clearly discu…
- Edition
- -
- ISBN/ISSN
- 978-3-319-09324-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards an Arithmetical Logic The Arithmetical Foundations of Logic
This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kroneck…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22087-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography