Filter by
Herbert Fröhlich A Physicist Ahead of His Time
This biography provides a stimulating and coherent blend of scientific and personal narratives describing the many achievements of the theoretical physicist Herbert Fröhlich. For more than half a century, Fröhlich was an internationally renowned and much respected figure who exerted a decisive influence, often as a ‘man ahead of his time’, in fields as diverse as meson theory and biology.…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14850-2
- Collation
- XXI, 263
- Series Title
- -
- Call Number
- 189 HYL h
Turing’s Revolution The Impact of His Ideas about Computability
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical infl…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22156-4
- Collation
- -
- Series Title
- -
- Call Number
- -
A Fortunate Universe Life in a Finely Tuned Cosmos
Over the last forty years, scientists have uncovered evidence that if the Universe had been forged with even slightly different properties, life as we know it - and life as we can imagine it - would be impossible. Join us on a journey through how we understand the Universe, from its most basic particles and forces, to planets, stars and galaxies, and back through cosmic history to the birth of …
- Edition
- -
- ISBN/ISSN
- 9781316661413
- Collation
- -
- Series Title
- -
- Call Number
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography