This work examines the main directions of research conducted on the history of mathematics education. It devotes substantial attention to research methodologies and the connections between this field and other scholarly fields. The results of a survey about academic literature on this subject are accompanied by a discussion of what has yet to be done and problems that remain unsolved. The main topics you will find in "ICME-13 Topical Survey" include: * Discussions of methodological issues in the history of mathematics education and of the relation between this field and other scholarly fields. * The history of the formation and transformation of curricula and textbooks as a reflection of trends in social-economic, cultural and scientific-technological development. * The influence of politics, ideology and economics on the development of mathematics education, from a historical perspective. * The history of the preeminent mathematics education organizations and the work of leading figures in mathematics education. * Mathematics education practices and tools and the preparation of mathematics teachers, from a historical perspective.

This book is the “Study Book� of ICMI-Study no. 20, which was run in cooperation with the International Congress on Industry and Applied Mathematics (ICIAM). The editors were the co-chairs of the study (Damlamian, Straesser) and the organiser of the Study Conference (Rodrigues). The text contains a comprehensive report on the findings of the Study Conference, original plenary presentations of the Study Conference, reports on the Working Groups and selected papers from all over world. This content was selected by the editors as especially pertinent to the study each individual chapter represents a significant contribution to current research.

Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to which the premisses of an argument entail its conclusion, aiming to provide a theory of how one should reason in the face of uncertainty. It has applications to decision making and artificial intelligence, as well as how scientists should reason when not in possession of the full facts. In this book, Jon Williamson embarks on a quest to find a general, reasonable, applicable inductive logic (GRAIL), all the while examining why pioneers such as Ludwig Wittgenstein and Rudolf Carnap did not entirely succeed in this task. Along the way he presents a general framework for the field, and reaches a new inductive logic, which builds upon recent developments in Bayesian epistemology (a theory about how strongly one should believe the various propositions that one can express). The book explores this logic in detail, discusses some key criticisms, and considers how it might be justified. Is this truly the GRAIL? Although the book presents new research, this material is well suited to being delivered as a series of lectures to students of philosophy, mathematics, or computing and doubles as an introduction to the field of inductive logic

The papers in this volume address fundamental, and interrelated, philosophical issues concerning modality and identity, issues that have not only been pivotal to the development of analytic philosophy in the twentieth century, but remain a key focus of metaphysical debate in the twenty-first. How are we to understand the concepts of necessity and possibility? Is chance a basic ingredient of reality? How are we to make sense of claims about personal identity? Do numbers require distinctive identity criteria? Does the capacity to identify an object presuppose an ability to bring it under a sortal concept? Rather than presenting a single, partisan perspective, Identity and Modality enriches our understanding of identity and modality by bringing together papers written by leading researchers working in metaphysics, the philosophy of mind, the philosophy of science, and the philosophy of mathematics. The resulting variety of perspectives correspondingly reflects both the breadth and depth of contemporary theorizing about identity and modality, each paper addressing a particular issue and advancing our knowledge of the area. This volume will provide essential reading for graduate students in the subject and professional philosophers.

Think of a number, any number, or properties like fragility and humanity. These and other abstract entities are radically different from concrete entities like electrons and elbows. While concrete entities are located in space and time, have causes and effects, and are known through empirical means, abstract entities like meanings and possibilities are remarkably different. They seem to be immutable and imperceptible and to exist "outside" of space and time. This book provides a comprehensive critical assessment of the problems raised by abstract entities and the debates about existence, truth, and knowledge that surround them. It sets out the key issues that inform the metaphysical disagreement between platonists who accept abstract entities and nominalists who deny abstract entities exist. Beginning with the essentials of the platonist-nominalist debate, it explores the key arguments and issues informing the contemporary debate over abstract reality: arguments for platonism and their connections to semantics, science, and metaphysical explanation the abstract-concrete distinction and views about the nature of abstract reality epistemological puzzles surrounding our knowledge of mathematical entities and other abstract entities. arguments for nominalism premised upon concerns about paradox, parsimony, infinite regresses, underdetermination, and causal isolation nominalist options that seek to dispense with abstract entities. Including chapter summaries, annotated further reading, and a glossary, Abstract Entities is essential reading for anyone seeking a clear and authoritative introduction to the problems raised by abstract entities.

This Element shows that Plato keeps a clear distinction between mathematical and metaphysical realism and the knife he uses to slice the difference is method. The philosopher's dialectical method requires that we tether the truth of hypotheses to existing metaphysical objects. The mathematician's hypothetical method, by contrast, takes hypotheses as if they were first principles, so no metaphysical account of their truth is needed. Thus, we come to Plato's methodological as-if realism: in mathematics, we treat our hypotheses as if they were first principles, and, consequently, our objects as if they existed, and we do this for the purpose of solving problems. Taking the road suggested by Plato's Republic, this Element shows that methodological commitments to mathematical objects are made in light of mathematical practice; foundational considerations; and, mathematical applicability. This title is also available as Open Access on Cambridge Core.

THE INTERNATIONAL BESTSELLER 'An entertaining tour that will change how you see the world' Sean Carroll, author of Something Deeply Hidden Is there a secret formula for improving your life? For making something a viral hit? For deciding how long to stick with your current job, Netflix series, or even relationship? This book is all about the equations that make our world go round. Ten of them, in fact. They are integral to everything from investment banking to betting companies and social media giants. And they can help you to increase your chance of success, guard against financial loss, live more healthily and see through scaremongering. They are known only by mathematicians - until now. With wit and clarity, mathematician David Sumpter shows that it isn't the technical details which make these formulas so successful. It is the way they allow mathematicians to view problems from a different angle - a way of seeing the world that anyone can learn. Empowering and illuminating, The Ten Equations that Rule the World shows how maths really can change your life.

The Symbolic Universe considers the ways in which many leading mathematicians between 1890 and 1930 attempted to apply geometry to physics. It concentrates on responses to Einstein's theories of special and general relativity, but also considers the philosophical implications of these ideas.

 From the Preface: “There are three volumes. The first one contains a curriculum vitae, a «Brève Analyse des Travaux» and a Iist of publications, including books and seminars. In addition the volume contains all papers of H. Cartan on analytic functions published before 1939. The other papers on analytic functions, e.g. those on Stein manifolds and coherent sheaves, make up the second volume. The third volume contains, with a few exceptions, all further papers of H. Cartan; among them is a reproduction of exposés 2 to 11 of his 1954/55 Seminar on Eilenberg-MacLane algebras. Each volume is arranged in chronological order. The reader should be aware that these volumes do not fully reflect H. Cartan's work, a large part of which is also contained in his fifteen ENS-Seminars (1948-1964) and in his book "Homological Algebra" with S. Eilenberg... Still, we trust that mathematicians throughout the world will welcome the availability of the "Oeuvres" of a mathematician whose writing and teaching has had such an influence on our generation.�

From the Preface: "There are three volumes. The first one contains a curriculum vitae, a "Breve Analyse des Travaux" and a Iist of publications, including books and seminars. In addition the volume contains all papers of H. Cartan on analytic functions published before 1939. The other papers on analytic functions, e.g. those on Stein manifolds and coherent sheaves, make up the second volume. The third volume contains, with a few exceptions, all further papers of H. Cartan; among them is a reproduction of exposes 2 to 11 of his 1954/55 Seminar on Eilenberg-MacLane algebras. Each volume is arranged in chronological order. The reader should be aware that these volumes do not fully reflect H. Cartan's work, a large part of which is also contained in his fifteen ENS-Seminars (1948-1964) and in his book "Homological Algebra" with S. Eilenberg...Still, we trust that mathematicians throughout the world will welcome the availability of the "Oeuvres" of a mathematician whose writing and teaching has had such an influence on our generation."

From the Preface: "There are three volumes. The first one contains a curriculum vitae, a "Breve Analyse des Travaux" and a Iist of publications, including books and seminars. In addition the volume contains all papers of H. Cartan on analytic functions published before 1939. The other papers on analytic functions, e.g. those on Stein manifolds and coherent sheaves, make up the second volume. The third volume contains, with a few exceptions, all further papers of H. Cartan; among them is a reproduction of exposes 2 to 11 of his 1954/55 Seminar on Eilenberg-MacLane algebras. Each volume is arranged in chronological order. The reader should be aware that these volumes do not fully reflect H. Cartan's work, a large part of which is also contained in his fifteen ENS-Seminars (1948-1964) and in his book "Homological Algebra" with S. Eilenberg...Still, we trust that mathematicians throughout the world will welcome the availability of the "Oeuvres" of a mathematician whose writing and teaching has had such an influence on our generation."

Bayesian ideas have recently been applied across such diverse fields as philosophy, statistics, economics, psychology, artificial intelligence, and legal theory. Fundamentals of Bayesian Epistemology examines epistemologists' use of Bayesian probability mathematics to represent degrees of belief. Michael G. Titelbaum provides an accessible introduction to the key concepts and principles of the Bayesian formalism, enabling the reader both to follow epistemological debates and to see broader implications Volume 1 begins by motivating the use of degrees of belief in epistemology. It then introduces, explains, and applies the five core Bayesian normative rules: Kolmogorov's three probability axioms, the Ratio Formula for conditional degrees of belief, and Conditionalization for updating attitudes over time. Finally, it discusses further normative rules (such as the Principal Principle, or indifference principles) that have been proposed to supplement or replace the core five. Volume 2 gives arguments for the five core rules introduced in Volume 1, then considers challenges to Bayesian epistemology. It begins by detailing Bayesianism's successful applications to confirmation and decision theory. Then it describes three types of arguments for Bayesian rules, based on representation theorems, Dutch Books, and accuracy measures. Finally, it takes on objections to the Bayesian approach and alternative formalisms, including the statistical approaches of frequentism and likelihoodism.

In this book wedescribe the basic elements of present computational technologies that use the algorithmic languages C/C++. The emphasis is on GNU compilers and libraries, FOSS for the solution of computational mathematics problems and visualization of the obtained data. At the beginning, a brief introduction to C is given with emphasis on its easy use in scientific and engineering computations.We describe the basic elements of the language, such as variables, data types, executable statements, functions, arrays, pointers, dynamic memory and file management. After that, we present some observations on the C++ programming language.We discuss the issues of program compiling, linking, and debugging. A quick guide to Eclipse is also presented in the book. The main features for editing, compiling, debugging and application assembling are considered.As examples, wesolve the standard problems of computational mathematics: operations with vectors and matrices, linear algebra problems, solution of nonlinear equations, numerical differentiation and integration, interpolation, initial value problems for ODEs and so on. Finally, basic features ofcomputational technologies are illustrated with model problems. All programs are implemented in C/C++ with using the GSL library. Gnuplot is employed to visualize the results of computations.

Dummett argues that the aim of philosophy is the analysis of thought and that, with Frege, analytical philosophy learned that the route to the analysis of thought is the analysis of language. Here are bold and deep readings of the subject's history and character, which form the topic of this volume.

Crossing the boundaries between 'continental' and 'analytic' philosophical approaches, this book proposes a naturalistic revision of the mathematical ontology of Alain Badiou, establishing links with structuralist projects in the philosophy of science and mathematics.

This volume contains six new and fifteen previously published essays -- plus a new introduction -- by Storrs McCall. Some of the essays were written in collaboration with E. J. Lowe of Durham University. The essays discuss controversial topics in logic, action theory, determinism and indeterminism, and the nature of human choice and decision. Some construct a modern up-to-date version of Aristotle's bouleusis, practical deliberation. This process of practical deliberation is shown to be indeterministic but highly controlled and the antithesis of chance. Others deal with the concept of branching four-dimensional space-time, explain non-local influences in quantum mechanics, or reconcile God's omniscience with human free will. The eponymous first essay contains the proof of a fact that in 1931 Kurt Godel had claimed to be unprovable, namely that the set of arithmetic truths forms a consistent system."

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.

Mathematics is as much a science of the real world as biology is. It is the science of the world's quantitative aspects (such as ratio) and structural or patterned aspects (such as symmetry). The book develops a complete philosophy of mathematics that contrasts with the usual Platonist and nominalist options.

The book presents the state of the art of research into the legacy of interwar Polish analytic philosophy and exemplifies different approaches to the history of philosophy. It contains discussions and reconstructions of aspects of Polish philosophy and logic as well as reactions to and developments of this tradition.

Michael G. Titelbaum presents a new Bayesian framework for modeling rational degrees of belief, called the Certainty-Loss Framework. Subjective Bayesianism is epistemologists' standard theory of how individuals should change their degrees of belief over time. But despite the theory's power, it is widely recognized to fail for situations agents face every day-cases in which agents forget information, or in which they assign degrees of belief to self-locating claims. Quitting Certainties argues that these failures stem from a common source: the inability of Conditionalization (Bayesianism's traditional updating rule) to model claims' going from certainty at an earlier time to less-than-certainty later on. It then presents a new Bayesian updating framework that accurately represents rational requirements on agents who undergo certainty loss. Titelbaum develops this new framework from the ground up, assuming little technical background on the part of his reader. He interprets Bayesian theories as formal models of rational requirements, leading him to discuss both the elements that go into a formal model and the general principles that link formal systems to norms. By reinterpreting Bayesian methodology and altering the theory's updating rules, Titelbaum is able to respond to a host of challenges to Bayesianism both old and new. These responses lead in turn to deeper questions about commitment, consistency, and the nature of information. Quitting Certainties presents the first systematic, comprehensive Bayesian framework unifying the treatment of memory loss and context-sensitivity. It develops this framework, motivates it, compares it to alternatives, then applies it to cases in epistemology, decision theory, the theory of identity, and the philosophy of quantum mechanics.

The ancient Greeks played a fundamental role in the history of mathematics and their ideas were reused and developed in subsequent periods all the way down to the scientific revolution and beyond. In this, the first complete history for a century. Reviel Netz offers a panoramic view of the rise and influence of Greek mathematics and its significance in world history. He explores the Near Eastern antecedents and the social and intellectual developments underlying the subject's beginnings in Greece in the fifth century BCE. He leads the reader through the proofs and arguments of key figures like Archytas, Euclid and Archimedes, and considers the totality of the Greek mathematical achievement which also includes, in addition to pure mathematics, such applied fields as optics, music, mechanics and, above all, astronomy. This is the story not only of a major historical development, but of some of the finest mathematics ever created.

Paolo Mancosu presents a series of innovative studies in the history and the philosophy of logic and mathematics in the first half of the twentieth century. The Adventure of Reason is divided into five main sections: history of logic (from Russell to Tarski); foundational issues (Hilbert's program, constructivity, Wittgenstein, Goedel); mathematics and phenomenology (Weyl, Becker, Mahnke); nominalism (Quine, Tarski); semantics (Tarski, Carnap, Neurath). Mancosu exploits extensive untapped archival sources to make available a wealth of new material that deepens in significant ways our understanding of these fascinating areas of modern intellectual history. At the same time, the book is a contribution to recent philosophical debates, in particular on the prospects for a successful nominalist reconstruction of mathematics, the nature of finitist intuition, the viability of alternative definitions of logical consequence, and the extent to which phenomenology can hope to account for the exact sciences.

These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is a priori or a posteriori in character, whether logical and mathematical differ, and if formalization plays a significant role in mathematical justification,

Ten amazing curves personally selected by one of today's most important math writers Curves for the Mathematically Curious is a thoughtfully curated collection of ten mathematical curves, selected by Julian Havil for their significance, mathematical interest, and beauty. Each chapter gives an account of the history and definition of one curve, providing a glimpse into the elegant and often surprising mathematics involved in its creation and evolution. In telling the ten stories, Havil introduces many mathematicians and other innovators, some whose fame has withstood the passing of years and others who have slipped into comparative obscurity. You will meet Pierre Bezier, who is known for his ubiquitous and eponymous curves, and Adolphe Quetelet, who trumpeted the ubiquity of the normal curve but whose name now hides behind the modern body mass index. These and other ingenious thinkers engaged with the challenges, incongruities, and insights to be found in these remarkable curves-and now you can share in this adventure. Curves for the Mathematically Curious is a rigorous and enriching mathematical experience for anyone interested in curves, and the book is designed so that readers who choose can follow the details with pencil and paper. Every curve has a story worth telling.

An investigatation of the influence of psychology and early phenomenology on the origins of analytic philosophy. This book is also of value for those interested in judgement, proposition, psychologism, logical realism, the problem of error, Gestalt theories, and tropes.