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 volume is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic - as this handbook attests - is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific turning points in Inductive Logic, including probability theory and decision theory. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration.

Chapter on the Port Royal contributions to probability theory and decision theory

Serves as a singular contribution to the intellectual history of the 20th century Contains the latest scholarly discoveries and interpretative insights"

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.

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.

"Inspiring and informative...deserves to be widely read." -Wall Street Journal "This fun book offers a philosophical take on number systems and revels in the beauty of math." -Science News Because we have ten fingers, grouping by ten seems natural, but twelve would be better for divisibility, and eight is well suited to repeated halving. Grouping by two, as in binary code, has turned out to have its own remarkable advantages. Paul Lockhart presents arithmetic not as rote manipulation of numbers-a practical if mundane branch of knowledge best suited for filling out tax forms-but as a fascinating, sometimes surprising intellectual craft that arises from our desire to add, divide, and multiply important things. Passionate and entertaining, Arithmetic invites us to experience the beauty of mathematics through the eyes of a beguiling teacher. "A nuanced understanding of working with numbers, gently connecting procedures that we once learned by rote with intuitions long since muddled by education... Lockhart presents arithmetic as a pleasurable pastime, and describes it as a craft like knitting." -Jonathon Keats, New Scientist "What are numbers, how did they arise, why did our ancestors invent them, and how did they represent them? They are, after all, one of humankind's most brilliant inventions, arguably having greater impact on our lives than the wheel. Lockhart recounts their fascinating story... A wonderful book." -Keith Devlin, author of Finding Fibonacci

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.

This book contains around 80 articles on major writings in mathematics published between 1640 and 1940. All aspects of mathematics are covered: pure and applied, probability and statistics, foundations and philosophy. Sometimes two writings from the same period and the same subject are taken together. The biography of the author(s) is recorded, and the circumstances of the preparation of the writing are given. When the writing is of some lengths an analytical table of its contents is supplied. The contents of the writing is reviewed, and its impact described, at least for the immediate decades. Each article ends with a bibliography of primary and secondary items.
.First book of its kind
.Covers the period 1640-1940 of massive development in mathematics
.Describes many of the main writings of mathematics
.Articles written by specialists in their field

Aristotl was a Greek philosopher and a student of Plato. He taught Alexander the Great, and wrote on many subjects, including physics, metaphysics, poetry, theater, music, logic, rhetoric, politics, government, ethics, biology and zoology. Together with Plato and Socrates, Aristotle is one of the most important founding figures in Western philosophy. He was the first to create a comprehensive system of Western philosophy, encompassing morality and aesthetics, logic and science, politics and metaphysics. Aristotle's views on the physical sciences profoundly shaped medieval scholarship, and their influence extended well into the Renaissance. Included in this omnibus edition are Poetics, Politics, Rhetoric, On the Heavens, The Nicomachean Ethics, and On Generation and Corruption.

This book describes in detail the various theories on the shape of the Earth from classical antiquity to the present day and examines how measurements of its form and dimensions have evolved throughout this period. The origins of the notion of the sphericity of the Earth are explained, dating back to Eratosthenes and beyond, and detailed attention is paid to the struggle to establish key discoveries as part of the cultural heritage of humanity. In this context, the roles played by the Catholic Church and the philosophers of the Middle Ages are scrutinized. Later contributions by such luminaries as Richer, Newton, Clairaut, Maupertuis, and Delambre are thoroughly reviewed, with exploration of the importance of mathematics in their geodetic enterprises. The culmination of progress in scientific research is the recognition that the reference figure is not a sphere but rather a geoid and that the earth's shape is oblate. Today, satellite geodesy permits the solution of geodetic problems by means of precise measurements. Narrating this fascinating story from the very beginning not only casts light on our emerging understanding of the figure of the Earth but also offers profound insights into the broader evolution of human thought.