This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism. In Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability. In Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy. Finally, in the new Part IV the author revisits the computability (Church-Turing) thesis in greater detail. He offers a systematic and detailed account of its origins, evolution, and meaning, he describes more powerful, modern versions of the thesis, and he discusses recent speculative proposals for new computing paradigms such as hypercomputing.  This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science. This new edition is completely revised, with almost one hundred pages of new material. In particular the author applied more up-to-date, more consistent terminology, and he addressed some notational redundancies and minor errors. He developed a glossary relating to computability theory, expanded the bibliographic references with new entries, and added the new part described above and other new sections.

The smartphones in our pockets and computers like brains. The vagaries of game theory and evolutionary biology. Nuclear weapons and self-replicating spacecrafts. All bear the fingerprints of one remarkable, yet largely overlooked, man: John von Neumann. Born in Budapest at the turn of the century, von Neumann is one of the most influential scientists to have ever lived. A child prodigy, he mastered calculus by the age of eight, and in high school made lasting contributions to mathematics. In Germany, where he helped lay the foundations of quantum mechanics, and later at Princeton, von Neumann's colleagues believed he had the fastest brain on the planet-bar none. He was instrumental in the Manhattan Project and the design of the atom bomb; he helped formulate the bedrock of Cold War geopolitics and modern economic theory; he created the first ever programmable digital computer; he prophesized the potential of nanotechnology; and, from his deathbed, he expounded on the limits of brains and computers-and how they might be overcome. Taking us on an astonishing journey, Ananyo Bhattacharya explores how a combination of genius and unique historical circumstance allowed a single man to sweep through a stunningly diverse array of fields, sparking revolutions wherever he went. The Man from the Future is an insightful and thrilling intellectual biography of the visionary thinker who shaped our century.

This book outlines the scientific career of Arto Salomaa, a pioneer in theoretical computer science and mathematics. The author first interviewed the subject and his family and collaborators, and he then researched this fascinating biography of an intellectual who was key in the development of these fields. Early chapters progress chronologically from Academician Salomaa's origins, childhood, and education to his professional successes in science, teaching, and publishing. His most impactful direct research efforts have been in the areas of automata and formal languages. Beyond that he has influenced many more scientists and professionals through collaborations, teaching, and books on topics such as biocomputing and cryptography. The author offers insights into Finnish history, culture, and academia, while historians of computer science will appreciate the vignettes describing some of the people who have shaped the field from the 1950s to today. The author and his subject return throughout to underlying themes such as the importance of family and the value of longstanding collegial relationships, while the work and achievements are leavened with humor and references to interests such as music, sport, and the sauna.

This book focuses on the ancient Near East, early imperial China, South-East Asia, and medieval Europe, shedding light on mathematical knowledge and practices documented by sources relating to the administrative and economic activities of officials, merchants and other actors. It compares these to mathematical texts produced in related school contexts or reflecting the pursuit of mathematics for its own sake to reveal the diversity of mathematical practices in each of these geographical areas of the ancient world. Based on case studies from various periods and political, economic and social contexts, it explores how, in each part of the world discussed, it is possible to identify and describe the different cultures of quantification and computation as well as their points of contact. The thirteen chapters draw on a wide variety of texts from ancient Near East, China, South-East Asia and medieval Europe, which are analyzed by researchers from various fields, including mathematics, history, philology, archaeology and economics. The book will appeal to historians of science, economists and institutional historians of the ancient and medieval world, and also to Assyriologists, Indologists, Sinologists and experts on medieval Europe.

This volume offers an integrated understanding of how the theory of general relativity gained momentum after Einstein had formulated it in 1915. Chapters focus on the early reception of the theory in physics and philosophy and on the systematic questions that emerged shortly after Einstein's momentous discovery. They are written by physicists, historians of science, and philosophers, and were originally presented at the conference titled Thinking About Space and Time: 100 Years of Applying and Interpreting General Relativity, held at the University of Bern from September 12-14, 2017. By establishing the historical context first, and then moving into more philosophical chapters, this volume will provide readers with a more complete understanding of early applications of general relativity (e.g., to cosmology) and of related philosophical issues. Because the chapters are often cross-disciplinary, they cover a wide variety of topics related to the general theory of relativity. These include: Heuristics used in the discovery of general relativity Mach's Principle The structure of Einstein's theory Cosmology and the Einstein world Stability of cosmological models The metaphysical nature of spacetime The relationship between spacetime and dynamics The Geodesic Principle Symmetries Thinking About Space and Time will be a valuable resource for historians of science and philosophers who seek a deeper knowledge of the (early and later) uses of general relativity, as well as for physicists and mathematicians interested in exploring the wider historical and philosophical context of Einstein's theory.

This open access book explores commentaries on an influential text of pre-Copernican astronomy in Europe. It features essays that take a close look at key intellectuals and how they engaged with the main ideas of this qualitative introduction to geocentric cosmology. Johannes de Sacrobosco compiled his Tractatus de sphaera during the thirteenth century in the frame of his teaching activities at the then recently founded University of Paris. It soon became a mandatory text all over Europe. As a result, a tradition of commentaries to the text was soon established and flourished until the second half of the 17th century. Here, readers will find an informative overview of these commentaries complete with a rich context. The essays explore the educational and social backgrounds of the writers. They also detail how their careers developed after the publication of their commentaries, the institutions and patrons they were affiliated with, what their agenda was, and whether and how they actually accomplished it. The editor of this collection considers these scientific commentaries as genuine scientific works. The contributors investigate them here not only in reference to the work on which it comments but also, and especially, as independent scientific contributions that are socially, institutionally, and intellectually contextualized around their authors.

In seinem Kopf stellte er die mathematische Welt auf den Kopf. Er berechnete Flussigkeitsstromungen, das Tragheitsmoment, entwickelte die Variationsrechnung und die moderne Zahlentheorie. Als Wissenschaftler steht er auf einer Stufe mit Newton und Einstein.

Konstrukteure in aller Welt arbeiten tagtaglich mit seinen Formeln egal ob es um den Schiffsrumpf der "Alinghi" geht oder um die Schwingungen des "Viaduc de Millau," der Welt hochster Autobahnbrucke.

Dabei war er ein Mensch, der burgerliche Behaglichkeit und Ruhe liebte. Nicht ganz einfach zur Grundungszeit von St. Petersburg inmitten russischer Kaisermorde oder im Berlin zur Zeit der schlesischen Kriege. Und erst recht nicht inmitten einer grossen Kinderschar.

Der Comic von Elena Pini (Graphik) und Alice und Andreas K. Heyne (Text) zeichnet das Leben des genialen Baslers nach, der vor 300 Jahren geboren wurde, mit zwanzig Jahren seine Heimatstadt verliess und nie wieder zuruckkehrte."

Drawing on published works, correspondence and manuscripts, this book offers the most comprehensive reconstruction of Boscovich's theory within its historical context. It explains the genesis and theoretical as well as epistemological underpinnings in light of the Jesuit tradition to which Boscovich belonged, and contrasts his ideas with those of Newton, Leibniz, and their legacy. Finally, it debates crucial issues in early-modern physical science such as the concept of force, the particle-like structure of matter, the idea of material points and the notion of continuity, and shares novel insights on Boscovich's alleged influence on later developments in physics. With its attempt to reduce all natural forces to one single law, Boscovich's Theory of Natural Philosophy, published in 1758, left a lasting impression on scientists and philosophers of every age regarding the fundamental unity of physical phenomena. The theory argues that every pair of material points is subject to one mutual force - and always the same force - which is their propensity to be mutually attracted or repelled, depending on their distance from one another. Furthermore, the action of this unique force is visualized through a famous diagram that fascinated generations of scientists. But his understanding of key terms of the theory - such as the notion of force involved and the very idea of a material point - is only ostensibly similar to our current conceptual framework. Indeed, it needs to be clarified within the plurality of contexts in which it has emerged rather than being considered in view of later developments. The book is recommended for scholars and students interested in the ideas of the early modern period, especially historians and philosophers of science, mathematicians and physicists with an interest in the history of the discipline, and experts on Jesuit science and philosophy.

This volume combines an introduction to central collineations with an introduction to projective geometry, set in its historical context and aiming to provide the reader with a general history through the middle of the nineteenth century. Topics covered include but are not limited to: The Projective Plane and Central Collineations The Geometry of Euclid's Elements Conic Sections in Early Modern Europe Applications of Conics in History With rare exception, the only prior knowledge required is a background in high school geometry. As a proof-based treatment, this monograph will be of interest to those who enjoy logical thinking, and could also be used in a geometry course that emphasizes projective geometry.

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. It focuses on the 18th century, which has often been considered uninteresting for the history of science, representing the transition from the age of genius and the birth of modern science (the 17th century) to the age of prodigious development in the 19th century. Yet the 18th century, the century of Enlightenment, as will be demonstrated here, was in fact characterized by substantial ferment and novelty. To make the text more accessible, little emphasis has been placed on the precise genesis of the various concepts and methods developed in scientific enterprises, except when doing so was necessary to make them clear. For the sake of simplicity, in several situations reference is made to the authors who are famous today, such as Newton, the Bernoullis, Euler, d'Alembert, Lagrange, Lambert, Volta et al. - not necessarily because they were the most creative and original minds, but mainly because their writings represent a synthesis of contemporary and past studies. The above names should, therefore, be considered more labels of a period than references to real historical characters.

This book presents an overview of the ways in which women have been able to conduct mathematical research since the 18th century, despite their general exclusion from the sciences. Grouped into four thematic sections, the authors concentrate on well-known figures like Sophie Germain and Grace Chisholm Young, as well as those who have remained unnoticed by historians so far. Among them are Stanislawa Nidodym, the first female students at the universities in Prague at the turn of the 20th century, and the first female professors of mathematics in Denmark. Highlighting individual biographies, couples in science, the situation at specific European universities, and sociological factors influencing specific careers from the 18th century to the present, the authors trace female mathematicians' status as it evolved from singular and anomalous to virtually commonplace. The book also offers insights into the various obstacles women faced when trying to enter perhaps the "most male" discipline of all, and how some of them continue to shape young girls' self-perceptions and career choices today. Thus, it will benefit scholars and students in STEM disciplines, gender studies and the history of science; women in science, mathematics and at institutions, and those working in mathematics education.

Kurt Goedel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules. Goedel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren't. The result is known as Goedel's first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question "Can mathematics be proved consistent?" This book offers the first examination of Goedel's preserved notebooks from 1930, written in a long-forgotten German shorthand, that show his way to the results: his first ideas, how they evolved, and how the jewel-like final presentation in his famous publication On formally undecidable propositions was composed.The book also contains the original version of Goedel's incompleteness article, as handed in for publication with no mentioning of the second incompleteness theorem, as well as six contemporary lectures and seminars Goedel gave between 1931 and 1934 in Austria, Germany, and the United States. The lectures are masterpieces of accessible presentations of deep scientific results, readable even for those without special mathematical training, and published here for the first time.

Hermann Gunther Gramann was one of the 19th century's most remarkable scientists, but many aspects of his life have remained in the dark. This book assembles essential, first-hand information on the Gramann family. It sheds light on the family's struggle for scientific knowledge, progress and education. It puts a face on the protagonists of an exciting development in the history of science. And it highlights the peculiar set of influences which led Hermann Gramann to brilliant insights in mathematics, philology and physics.

This book of sources is meant to complement the biography of Gramann and the proceedings of the 2009 Gramann Bicentennial Conference (Birkhauser 2010). "Roots and Traces" will interest all scholars working on Hermann Gramann and related topics. It offers newly discovered pictures of family members, historical texts documenting life in this exceptional family and an English translation of these previously unpublished papers.

Text in German and English.

When John Napier published his invention of logarithms in 1614 he was announcing one of the greatest advances in the history of mathematics, and log tables were used universally until the mid 1970s. With his Rabdologia, an ingenious calculating tool composed of numbered rods which came to be known as 'Napier's Bones', he enabled people in the marketplace to do multiplication sums without knowing any multiplication tables. Perhaps the most extraordinary thing about this most extrordinary man was that his great inventions were made without the stimulus of talking to other mathematicians in mainstream Europe. Working away in comparative isolation in a tower house in Scotland, Napier produced methods of calculation that literally changed lives all over the world. He is the father of the slide-rule and the grandfather of today's calculators. Despite his achievements, he remains curiously uncelebrated, and this absorbing story of his life aims to give John Napier his true status. This new edition has been redesigned in a new format and has a new cover.

How can we invent new certain knowledge in a methodical manner? This question stands at the heart of Salomon Maimon's theory of invention. Chikurel argues that Maimon's contribution to the ars inveniendi tradition lies in the methods of invention which he prescribes for mathematics. Influenced by Proclus' commentary on Elements, these methods are applied on examples taken from Euclid's Elements and Data. Centering around methodical invention and scientific genius, Maimon's philosophy is unique in an era glorifying the artistic genius, known as Geniezeit. Invention, primarily defined as constructing syllogisms, has implications on the notion of being given in intuition as well as in symbolic cognition. Chikurel introduces Maimon's notion of analysis in the broader sense, grounded not only on the principle of contradiction but on intuition as well. In philosophy, ampliative analysis is based on Maimon's logical term of analysis of the object, a term that has yet to be discussed in Maimonian scholarship. Following its introduction, a new version of the question quid juris? arises. In mathematics, Chikurel demonstrates how this conception of analysis originates from practices of Greek geometrical analysis.

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer's logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer's oeuvre by exposing their links to modern research areas, such as the "proof without words" movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse on logic. Beginning with Schopenhauer's philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer's anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer's philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer's work as it relates to modern mathematical and logical study.

This second volume on technology is mainly devoted to three prize-winning memoirs, answering questions related to ship-building which were proposed by the French Academie Royale des Sciences in the years 1737, 1755, and 1757. The volume hosts two further items: a popularizing text on astronomy from 1723, and the theory of the spiral pump, a technical item from 1772. In the introductory part of the volume every memoir is analysed and extensively summarized, so the reader should obtain a clear view of the content in modern terms.

The legendary Renaissance math duel that ushered in the modern age of algebra The Secret Formula tells the story of two Renaissance mathematicians whose jealousies, intrigues, and contentious debates led to the discovery of a formula for the solution of the cubic equation. Niccolo Tartaglia was a talented and ambitious teacher who possessed a secret formula-the key to unlocking a seemingly unsolvable, two-thousand-year-old mathematical problem. He wrote it down in the form of a poem to prevent other mathematicians from stealing it. Gerolamo Cardano was a physician, gifted scholar, and notorious gambler who would not hesitate to use flattery and even trickery to learn Tartaglia's secret. Set against the backdrop of sixteenth-century Italy, The Secret Formula provides new and compelling insights into the peculiarities of Renaissance mathematics while bringing a turbulent and culturally vibrant age to life. It was an era when mathematicians challenged each other in intellectual duels held outdoors before enthusiastic crowds. Success not only enhanced the winner's reputation, but could result in prize money and professional acclaim. After hearing of Tartaglia's spectacular victory in one such contest in Venice, Cardano invited him to Milan, determined to obtain his secret by whatever means necessary. Cardano's intrigues paid off. In 1545, he was the first to publish a general solution of the cubic equation. Tartaglia, eager to take his revenge by establishing his superiority as the most brilliant mathematician of the age, challenged Cardano to the ultimate mathematical duel. A lively and compelling account of genius, betrayal, and all-too-human failings, The Secret Formula reveals the epic rivalry behind one of the fundamental ideas of modern algebra.

This is a volume of chapters on the historical study of information, computing, and society written by seven of the most senior, distinguished members of the History of Computing field. These are edited, expanded versions of papers presented in a distinguished lecture series in 2018 at the University of Colorado Boulder - in the shadow of the Flatirons, the front range of the Rocky Mountains. Topics range widely across the history of computing. They include the digitalization of computer and communication technologies, gender history of computing, the history of data science, incentives for innovation in the computing field, labor history of computing, and the process of standardization. Authors were given wide latitude to write on a topic of their own choice, so long as the result is an exemplary article that represents the highest level of scholarship in the field, producing articles that scholars in the field will still look to read twenty years from now. The intention is to publish articles of general interest, well situated in the research literature, well grounded in source material, and well-polished pieces of writing. The volume is primarily of interest to historians of computing, but individual articles will be of interest to scholars in media studies, communication, computer science, cognitive science, general and technology history, and business.

This volume contains ten papers that have been collected by the Canadian Society for History and Philosophy of Mathematics/Societe canadienne d'histoire et de philosophie des mathematiques. It showcases rigorously-reviewed contemporary scholarship on an interesting variety of topics in the history and philosophy of mathematics from the seventeenth century to the modern era. The volume begins with an exposition of the life and work of Professor Boleslaw Sobocinski. It then moves on to cover a collection of topics about twentieth-century philosophy of mathematics, including Fred Sommers's creation of Traditional Formal Logic and Alexander Grothendieck's work as a starting point for discussing analogies between commutative algebra and algebraic geometry. Continuing the focus on the philosophy of mathematics, the next selections discuss the mathematization of biology and address the study of numerical cognition. The volume then moves to discussing various aspects of mathematics education, including Charles Davies's early book on the teaching of mathematics and the use of Gaussian Lemniscates in the classroom. A collection of papers on the history of mathematics in the nineteenth century closes out the volume, presenting a discussion of Gauss's "Allgemeine Theorie des Erdmagnetismus" and a comparison of the geometric works of Desargues and La Hire. Written by leading scholars in the field, these papers are accessible not only to mathematicians and students of the history and philosophy of mathematics, but also to anyone with a general interest in mathematics.

This volume presents different conceptions of logic and mathematics and discuss their philosophical foundations and consequences. This concerns first of all topics of Wittgenstein's ideas on logic and mathematics; questions about the structural complexity of propositions; the more recent debate about Neo-Logicism and Neo-Fregeanism; the comparison and translatability of different logics; the foundations of mathematics: intuitionism, mathematical realism, and formalism. The contributing authors are Matthias Baaz, Francesco Berto, Jean-Yves Beziau, Elena Dragalina-Chernya, Gunther Eder, Susan Edwards-McKie, Oliver Feldmann, Juliet Floyd, Norbert Gratzl, Richard Heinrich, Janusz Kaczmarek, Wolfgang Kienzler, Timm Lampert, Itala Maria Loffredo D'Ottaviano, Paolo Mancosu, Matthieu Marion, Felix Muhlhoelzer, Charles Parsons, Edi Pavlovic, Christoph Pfisterer, Michael Potter, Richard Raatzsch, Esther Ramharter, Stefan Riegelnik, Gabriel Sandu, Georg Schiemer, Gerhard Schurz, Dana Scott, Stewart Shapiro, Karl Sigmund, William W. Tait, Mark van Atten, Maria van der Schaar, Vladimir Vasyukov, Jan von Plato, Jan Wolenski and Richard Zach.

The first World Meeting for Women in Mathematics - (WM)(2) - was a satellite event of the International Congress of Mathematicians (ICM) 2018 in Rio de Janeiro. With a focus on Latin America, the first (WM)(2) brought together mathematicians from all over the world to celebrate women mathematicians, and also to reflect on gender issues in mathematics, challenges, initiatives, and perspectives for the future. Its activities were complemented by a panel discussion organized by the Committee for Women in Mathematics (CWM) of the International Mathematical Union (IMU) inside the ICM 2018 entitled "The gender gap in mathematical and natural sciences from a historical perspective". This historical proceedings book, organized by CWM in coordination with the Association for Women in Mathematics, records the first (WM)(2) and the CWM panel discussion at ICM 2018. The first part of the volume includes a report of activities with pictures of the first (WM)(2) and a tribute to Maryam Mirzakhani, the first woman to be awarded the Fields medal. It also comprises survey research papers from invited lecturers, which provide panoramic views of different fields in pure and applied mathematics. The second part of the book contains articles from the panelists of the CWM panel discussion, which consider the historical context of the gender gap in mathematics. It includes an analysis of women lecturers in the ICM since its inception. This book is dedicated to the memory of Maryam Mirzakhani.

This volume aims to make Stephen of Pisa and Antioch's work on the celestial sciences accessible to a wider readership, providing not just the text but a translation and introduction as well. The edition is based on the only known manuscript of the Liber Mamonis, MS Cambrai, Mediatheque d'Agglomeration, A 930. It is split into two parts: the first provides an extensive introduction to Stephen and his work, while the second features the edition and translation. A comprehensive glossary and collection of photographs of plates are also included.

An acclaimed biography of the Enlightenment's greatest mathematician This is the first full-scale biography of Leonhard Euler (1707-1783), one of the greatest mathematicians and theoretical physicists of all time. In this comprehensive and authoritative account, Ronald Calinger connects the story of Euler's eventful life to the astonishing achievements that place him in the company of Archimedes, Newton, and Gauss. Drawing on Euler's massive published works and correspondence, this biography sets Euler's work in its multilayered context-personal, intellectual, institutional, political, cultural, religious, and social. It is a story of nearly incessant accomplishment, from Euler's fundamental contributions to almost every area of pure and applied mathematics in his time-especially calculus, mechanics, and optics-to his advances in shipbuilding, telescopes, acoustics, ballistics, cartography, chronology, and music theory.