The book explores Peirce's non standard thoughts on a synthetic continuum, topological logics, existential graphs, and relational semiotics, offering full mathematical developments on these areas. More precisely, the following new advances are offered: (1) two extensions of Peirce's existential graphs, to intuitionistic logics (a new symbol for implication), and other non-classical logics (new actions on nonplanar surfaces); (2) a complete formalization of Peirce's continuum, capturing all Peirce's original demands (genericity, supermultitudeness, reflexivity, modality), thanks to an inverse ordinally iterated sheaf of real lines; (3) an array of subformalizations and proofs of Peirce's pragmaticist maxim, through methods in category theory, HoTT techniques, and modal logics. The book will be relevant to Peirce scholars, mathematicians, and philosophers alike, thanks to thorough assessments of Peirce's mathematical heritage, compact surveys of the literature, and new perspectives offered through formal and modern mathematizations of the topics studied.

Optimization is the act of obtaining the "best" result under given circumstances. In design, construction, and maintenance of any engineering system, engineers must make technological and managerial decisions to minimize either the effort or cost required or to maximize benefits. There is no single method available for solving all optimization problems efficiently. Several optimization methods have been developed for different types of problems. The optimum-seeking methods are mathematical programming techniques (specifically, nonlinear programming techniques). Nonlinear Optimization: Models and Applications presents the concepts in several ways to foster understanding. Geometric interpretation: is used to re-enforce the concepts and to foster understanding of the mathematical procedures. The student sees that many problems can be analyzed, and approximate solutions found before analytical solutions techniques are applied. Numerical approximations: early on, the student is exposed to numerical techniques. These numerical procedures are algorithmic and iterative. Worksheets are provided in Excel, MATLAB(R), and Maple(TM) to facilitate the procedure. Algorithms: all algorithms are provided with a step-by-step format. Examples follow the summary to illustrate its use and application. Nonlinear Optimization: Models and Applications: Emphasizes process and interpretation throughout Presents a general classification of optimization problems Addresses situations that lead to models illustrating many types of optimization problems Emphasizes model formulations Addresses a special class of problems that can be solved using only elementary calculus Emphasizes model solution and model sensitivity analysis About the author: William P. Fox is an emeritus professor in the Department of Defense Analysis at the Naval Postgraduate School. He received his Ph.D. at Clemson University and has taught at the United States Military Academy and at Francis Marion University where he was the chair of mathematics. He has written many publications, including over 20 books and over 150 journal articles. Currently, he is an adjunct professor in the Department of Mathematics at the College of William and Mary. He is the emeritus director of both the High School Mathematical Contest in Modeling and the Mathematical Contest in Modeling.

Until recently, the marquise Du Chatelet (1706-1749) was more remembered as the companion of Voltaire than as an intellectual in her own right. While much has been written about his extraordinary output during the years he spent in her company, her own work has often been overshadowed. This volume brings renewed attention to Du Chatelet's intellectual achievements, including her free translation of selections from Bernard Mandeville's Fable of the bees; her dissertation on the nature and propagation of fire for the 1738 prize competition of the Academie des sciences; the 1740 Institutions de physique and ensuing exchange with the perpetual secretary of the Academie, Dortous de Mairan; her two-volume exegesis of the Bible; the translation of and commentary on Isaac Newton's Principia; and her semi-autobiographical Discours sur le bonheur. It is a measure of the breadth of her interests that the contributions to this volume come from experts in a wide range of disciplines: comparative literature, art history, the history of mathematics and science, philosophy, the history of publishing and translation studies. Du Chatelet's partnership with Voltaire is reflected in a number of the essays; they borrowed from each other's writings, from the discussions they had together, and from their shared readings. Essays examine representations of her by her contemporaries and posterity that range from her inclusion in a German portrait gallery of learned men and women, to the scathing portrait in Francoise de Graffigny's correspondence, and nineteenth-century accounts coloured by conflicted views of the ancien regime. Other essays offer close readings of her work, and set her activities and writings in their intellectual and social contexts. Finally, they speculate on the ways in which she presented herself and what that might tell us about the challenges and possibilities facing an exceptional woman of rank and privilege in eighteenth-century society.

This book is a consequence of the international meeting organized in Marseilles in November 2018 devoted to the aftermath of the Great War for mathematical communities. It features selected original research presented at the meeting offering a new perspective on a period, the 1920s, not extensively considered by historiography. After 1918, new countries were created, and borders of several others were modified. Territories were annexed while some countries lost entire regions. These territorial changes bear witness to the massive and varied upheavals with which European societies were confronted in the aftermath of the Great War. The reconfiguration of political Europe was accompanied by new alliances and a redistribution of trade - commercial, intellectual, artistic, military, and so on - which largely shaped international life during the interwar period. These changes also had an enormous impact on scientific life, not only in practice, but also in its organization and communication strategies. The mathematical sciences, which from the late 19th century to the 1920s experienced a deep disciplinary evolution, were thus facing a double movement, internal and external, which led to a sustainable restructuring of research and teaching. Concomitantly, various areas such as topology, functional analysis, abstract algebra, logic or probability, among others, experienced exceptional development. This was accompanied by an explosion of new international or national associations of mathematicians with for instance the founding, in 1918, of the International Mathematical Union and the controversial creation of the International Research Council. Therefore, the central idea for the articulation of the various chapters of the book is to present case studies illustrating how in the aftermath of the war, many mathematicians had to organize their personal trajectories taking into account the evolution of the political, social and scientific environment which had taken place at the end of the conflict.

Responding to widespread interest within cultural studies and social inquiry, this book addresses the question 'what is a mathematical concept?' using a variety of vanguard theories in the humanities and posthumanities. Tapping historical, philosophical, sociological and psychological perspectives, each chapter explores the question of how mathematics comes to matter. Of interest to scholars across the usual disciplinary divides, this book tracks mathematics as a cultural activity, drawing connections with empirical practice. Unlike other books in this area, it is highly interdisciplinary, devoted to exploring the ontology of mathematics as it plays out in different contexts. This book will appeal to scholars who are interested in particular mathematical habits - creative diagramming, structural mappings, material agency, interdisciplinary coverings - that shed light on both mathematics and other disciplines. Chapters are also relevant to social sciences and humanities scholars, as each offers philosophical insight into mathematics and how we might live mathematically.

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 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.

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. Throughout his career, he taught mathematics and logic at universities and sometimes in secondary schools. Many of his writings before 1939 were in Polish and remained inaccessible to most mathematicians and historians until now. This self-contained book focuses on Tarski's early contributions to geometry and mathematics education, including the famous Banach-Tarski paradoxical decomposition of a sphere as well as high-school mathematical topics and pedagogy. These themes are significant since Tarski's later research on geometry and its foundations stemmed in part from his early employment as a high-school mathematics teacher and teacher-trainer. The book contains careful translations and much newly uncovered social background of these works written during Tarski's years in Poland. Alfred Tarski: Early Work in Poland serves the mathematical, educational, philosophical and historical communities by publishing Tarski's early writings in a broadly accessible form, providing background from archival work in Poland and updating Tarski's bibliography. A list of errata can be found on the author Smith's personal webpage.

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 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 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 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.

Written as a teaching aid for graduate and undergraduate math students, Florian Cajori's comprehensive 1896 survey of mathematics from Babylonian to modern times makes for a fascinating read. (Did you know that the decimal system is based on our having ten fingers and toes?) Beginning with the number systems of antiquity, continuing through the Hindu and Arabic influence on medieval thought, and concluding with an overview of trends in modern mathematical teaching, this is an invaluable work not only for students and educators but for readers of the history of human thought as well. Swiss-American author, educator, and mathematician FLORIAN CAJORI (1859-1930) was one of the world's most distinguished mathematical historians. Appointed to a specially created chair in the history of mathematics at the University of California, Berkeley, he also wrote An Introduction to the Theory of Equations, A History of Mathematical Notations, and The Chequered Career of Ferdinand Rudolph Hassler.

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.