The computer science problem whose solution could transform life as we know itThe P-NP problem is the most important open problem in computer science, if not all of mathematics.
In this scientific tour de force, world-class physicist Frank Wilczek argues that beauty is at the heart of the logic of the universe, a principle that has guided his pioneering work in quantum physics.
A multifaceted biography of a brilliant mathematician and iconoclastA mathematician unlike any other, John Horton Conway (19372020) possessed a rock star's charisma, a polymath's promiscuous curiosity, and a sly sense of humor.
The book presents the winners of the first five Abel Prizes in mathematics: 2003 Jean-Pierre Serre; 2004 Sir Michael Atiyah and Isadore Singer; 2005 Peter D.
This volume contains eleven papers that have been collected by the Canadian Society for History and Philosophy of Mathematics/Societe canadienne d'histoire et de philosophie des mathematiques.
Dieses Buch gibt einen kompakten Überblick über die historische Entwicklung und Ideengeschichte derjenigen mathematischen Disziplinen, die sich schon bis zur Renaissancezeit weitgehend eigenständig entwickelt haben: Arithmetik, Geometrie, Algebra, Zahlentheorie und mathematische Logik.
This book celebrates the 50th anniversary of the Institute of Mathematics, Statistics and Scientific Computing (IMECC) of the University of Campinas, Brazil, by offering reviews of selected research developed at one of the most prestigious mathematics institutes in Latin America.
Logik ist überall: im vernunftgemäßen Urteil, in der Einsicht, die den Glauben ergänzt, in Sprache und Mathematik, in einer aufgeklärten Ethik und in der Frage nach der Wahrheit und den Grenzen des Wissens.
This book explores some of the major turning points in the history of mathematics, ranging from ancient Greece to the present, demonstrating the drama that has often been a part of its evolution.
An understanding of developments in Arabic mathematics between the IXth and XVth century is vital to a full appreciation of the history of classical mathematics.
Alfred Tarski (1901-1983) was a renowned Polish/American mathematician, a giant of the twentieth century, who helped establish the foundations of geometry, set theory, model theory, algebraic logic and universal algebra.
The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.
This edited volume, aimed at both students and researchers in philosophy, mathematics and history of science, highlights leading developments in the overlapping areas of philosophy and the history of modern mathematics.
A remarkable account of Kurt Godel, weaving together creative genius, mental illness, political corruption, and idealism in the face of the turmoil of war and upheaval.
An essential work on the origins of statisticsThe Rise of Statistical Thinking, 1820-1900 explores the history of statistics from the field's origins in the nineteenth century through to the factors that produced the burst of modern statistical innovation in the early twentieth century.
This publication, now in its second edition, includes an unabridged and annotated translation of two works by Johann Heinrich Lambert (1728-1777) written in the 1760s: Vorlaufige Kenntnisse fur die, so die Quadratur und Rectification des Circuls suchen and Memoire sur quelques proprietes remarquables des quantites transcendentes circulaires et logarithmiques.
Marking 94 years since its first appearance, this book provides an annotated translation of Sainte-Lague's seminal monograph Les reseaux (ou graphes), drawing attention to its fundamental principles and ideas.
This book, edited by Kim Williams and Cosimo Monteleone, follows the publication of two other books dedicated to Daniele Barbaro and published by Springer: Daniele Barbaro's Vitruvius of 1567 (Kim Williams, 2019) and Daniele Barbaro's Perspective of 1568 (Kim Williams and Cosimo Monteleone, 2021).
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997.
by Ivor Grattan-Guinness One of the distortions in most kinds of history is an imbalance between the study devoted to major figures and to lesser ones, concerning both achievements and influence: the Great Ones may be studied to death while the others are overly ignored and thereby remain underrated.
This book, which is aimed at general readers interested in maths as well as professional mathematicians, addresses numerous aspects of this spell-binding science.
This book provides a critical edition, translation, and study of the version of Euclid's treatise made by Thabit ibn Qurra, which is the earliest Arabic version that we have in its entirety.
This volume traces back the history of interaction between the "e;computational"e; or "e;algorithmic"e; aspects of elementary mathematics and mathematics education throughout ages.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind.
This book documents the process of transformation from natural philosophy, which was considered the most important of the sciences until the early modern era, into modern disciplines such as mathematics, physics, natural history, chemistry, medicine and engineering.
History of Functional Analysis presents functional analysis as a rather complex blend of algebra and topology, with its evolution influenced by the development of these two branches of mathematics.
The 16th-Century intellectual Robert Recorde is chiefly remembered for introducing the equals sign into algebra, yet the greater significance and broader scope of his work is often overlooked.
