Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost?
Consider this: Robots will one day be able to write poetry and prose so touching that it will make men weep; compose dozens or even hundreds of symphonies that will rival the work of Mozart; judge a court case with absolute impartiality and fairness; or even converse with the natural ease of your best friend.
This Festschrift includes papers presented to honour Solomon Feferman on his seventieth birthday, reflecting his broad interests and his approach to foundational research.
How the concept of proof has enabled the creation of mathematical knowledgeThe Story of Proof investigates the evolution of the concept of proof-one of the most significant and defining features of mathematical thought-through critical episodes in its history.
This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997.
Building on the success of the first edition, An Introduction to Number Theory with Cryptography, Second Edition, increases coverage of the popular and important topic of cryptography, integrating it with traditional topics in number theory.
Dieses Buch präsentiert etwa 365 verschiedene Beweise in einer sehr anschaulichen und verständlichen Form und ordnet außerdem den Satz sowie seine Beweisvielfalt fachwissenschaftlich, kulturgeschichtlich, didaktisch und bildungstheoretisch ein.
This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence.
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.
The International Congresses of Logic, Methodology and Philosophy of Science, which are held every fourth year, give a cross-section of ongoing research in logic and philosophy of science.
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view.
The core of Volume 3 consists of lecture notes for seven sets of lectures Hilbert gave (often in collaboration with Bernays) on the foundations of mathematics between 1917 and 1926.
Feinberg präsentiert in seinem Buch neue Ideen über spezifische Züge und Funktionen von Kunst und Menschlichkeit, Wissenschaft und Technologie sowie ihre Rolle sowohl in der Vergangenheit als auch in der Zukunft.
Cryptography, in particular public-key cryptography, has emerged in the last 20 years as an important discipline that is not only the subject of an enormous amount of research, but provides the foundation for information security in many applications.
This volume contains papers which are based primarily on talks given at an inter- national conference on Algorithmic Problems in Groups and Semigroups held at the University of Nebraska-Lincoln from May ll-May 16, 1998.
Quantitative thinking is our inclination to view natural and everyday phenomena through a lens of measurable events, with forecasts, odds, predictions, and likelihood playing a dominant part.
Rave reviews for INTEGER AND COMBINATORIAL OPTIMIZATION "e;This book provides an excellent introduction and survey of traditional fields of combinatorial optimization .
This book presents the entire body of thought of Norbert Wiener (1894-1964), knowledge of which is essential if one wishes to understand and correctly interpret the age in which we live.
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School.
