Filter by
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
- -
Gentzen's Centenary
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in p…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10102-6
- Collation
- -
- Series Title
- -
- Call Number
- 510.1 GEN
Introduction to Concurrency Theory: Transition Systems and CCS
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21491-7
- Collation
- -
- Series Title
- -
- Call Number
- -
A Bridge between Conceptual Frameworks: Sciences, Society and Technology Studies
This book analyzes scientific problems within the history of physics, engineering, chemistry, astronomy and medicine, correlated with technological applications in the social context. When and how is tension between disciplines explicitly practised? What is the conceptual bridge between science researches and the organization of technological researches in the development of industrial applicat…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9645-3
- Collation
- -
- Series Title
- History of Mechanism and Machine Science
- Call Number
- 530.01 BRI b
The Unknown as an Engine for Science An Essay on the Definite and the Indefi…
This book explores the limits of our knowledge. The author shows how uncertainty and indefiniteness not only define the borders confining our understanding, but how they feed into the process of discovery and help to push back these borders. Starting with physics the author collects examples from economics, neurophysiology, history, ecology and philosophy. The first part shows how informatio…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18509-5
- 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