Filter by
The Complex Itinerary of Leibniz’s Planetary Theory
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
- -
- ISBN/ISSN
- 978-3-319-21236-4
- Collation
- X, 188
- Series Title
- Science Networks. Historical Studies
- Call Number
- -
The 2-tuple Linguistic Model
The authors provide a thorough review of the specialized literature in CWW and highlight the rapid growth and applicability of the 2-tuple linguistic model. They explore the foundations and methodologies for CWW in complex frameworks and extensions. The book introduces the software FLINTSTONES that provides tools for solving linguistic decision problems based on the 2-tuple linguistic model.
- Edition
- -
- ISBN/ISSN
- 978-3-319-24714-4
- Collation
- XIII, 168
- Series Title
- -
- Call Number
- -
Turing’s Revolution
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
- XXIV, 331
- Series Title
- -
- Call Number
- -
Modern Logic 1850-1950, East and West
This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Ch…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24754-0
- Collation
- XIII, 258
- Series Title
- Studies in Universal Logic
- Call Number
- -
Jacobus Cornelius Kapteyn: Born Investigator of the Heavens
Jacobus C. Kapteyn (1851-1922) was a Dutch astronomer who contributed heavily to major catalogs of star positions, such as the Cape Photographic Durchmusterung and the Harvard-Groningen Durchmusterung, and arranged extensive international collaboration through his Plan of Selected Areas. He contributed to the establishment of statistical astronomy and structure and dynamics of the Sidereal Syst…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10876-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Essays on the History of Mechanical Engineering
This book treats several subjects from the History of Mechanism and Machine Science, and also contains an illustrative presentation of the Museum of Engines and Mechanisms of the University of Palermo, Italy, which houses a collection of various pieces of machinery from the last 150 years. The various sections deal with some eminent scientists of the past, with the history of industrial inst…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22680-4
- Collation
- 142 b/w illustrations, 180 illustrations in colour
- Series Title
- -
- Call Number
- -
Towards an Arithmetical 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
- 1
- ISBN/ISSN
- 978-3-319-22087-1
- Collation
- XI, 184
- Series Title
- Studies in Universal Logic
- Call Number
- -
Towards Paraconsistent Engineering
This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-40417-2
- Collation
- XVI, 234
- Series Title
- Intelligent Systems Reference Library
- Call Number
- -
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage. The book is organised around Gödel…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10031-9
- Collation
- XIV, 328
- Series Title
- -
- Call Number
- -
Ernst Zermelo An Approach to His Life and Work
This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and mathematical physics. His dissertation, for example, promoted the calculus of variations, and he created the pivotal method in the theory of …
- Edition
- -
- ISBN/ISSN
- 978-3-662-47997-1
- Collation
- 43 b/w illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography