This engaging and beautifully written book gives an authoritative but accessible account of some of the most exciting and unexpected recent developments in theoretical physics.
This is the most comprehensive survey of the mathematical life of the legendary Paul Erdos (1913-1996), one of the most versatile and prolific mathematicians of our time.
The book has two parts: In the first, after a review of some seminal classical accounts of laws and explanations, a new account is proposed for distinguishing between laws and accidental generalizations (LAG).
This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist.
The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work.
The Untold Story of Everything Digital: Bright Boys, Revisited celebrates the 70th anniversary (1949-2019) of the world "e;going digital"e; for the very first time-real-time digital computing's genesis story.
Mathematical Theory of Fuzzy Sets presents the mathematical theory of non-normal fuzzy sets such that it can be rigorously used as a basic tool to study engineering and economic problems under a fuzzy environment.
Combinatorial Algorithms on Words refers to the collection of manipulations of strings of symbols (words) - not necessarily from a finite alphabet - that exploit the combinatorial properties of the logical/physical input arrangement to achieve efficient computational performances.
Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.
The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic constituents representations of so-called 'possible worlds'.
Set Theory has experienced a rapid development in recent years, with major advances in forcing, inner models, large cardinals and descriptive set theory.
Understanding Interaction is a book that explores the interaction between people and technology, in the broader context of the relations between the human made and the natural environments.
An enlightening introduction to the study of logic: its history, philosophical foundations, and formal structures Logic: Inquiry, Argument, and Order is the first book of its kind to frame the study of introductory logic in terms of problems connected to wider issues of knowledge and judgment that arise in the context of racial, cultural, and religious diversity.
With a never-before published paper by Lord Henry Cavendish, as well as a biography on him, this book offers a fascinating discourse on the rise of scientific attitudes and ways of knowing.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.
This volume covers a wide range of topics that fall under the 'philosophy of quantifiers', a philosophy that spans across multiple areas such as logic, metaphysics, epistemology and even the history of philosophy.
In dem Buch erkundet der preisgekrönte Autor John Stillwell die Konsequenzen, die sich ergeben, wenn man die Unendlichkeit akzeptiert, und diese Konsequenzen sind vielseitig und überraschend.
Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics.
Dieses Buch zeichnet ein – im wahrsten Sinne des Wortes – farbenfrohes Bild von Mathematik: Es stellt eine Auswahl von mathematischen Themen vor, die mithilfe durchgehend farbig gestalteter Abbildungen und unterstützt durch möglichst einfache Erläuterungen erschlossen werden.
As of today, Evolutionary Computing and Fuzzy Set Computing are two mature, wen -developed, and higbly advanced technologies of information processing.
'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation.
Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants.