This book gathers the best presentations from the Topic Study Group 30: Mathematics Competitions at ICME-13 in Hamburg, and some from related groups, focusing on the field of working with gifted students. Each of the chapters includes not only original ideas, but also original mathematical problems and their solutions. The book is a valuable resource for researchers in mathematics education, secondary and college mathematics teachers around the globe as well as their gifted students.

This book collects research papers on the philosophical foundations of probability, causality, spacetime and quantum theory. The papers are related to talks presented in six subsequent workshops organized by The Budapest-Krakow Research Group on Probability, Causality and Determinism. Coverage consists of three parts. Part I focuses on the notion of probability from a general philosophical and formal epistemological perspective. Part II applies probabilistic considerations to address causal questions in the foundations of quantum mechanics. Part III investigates the question of indeterminism in spacetime theories. It also explores some related questions, such as decidability and observation. The contributing authors are all philosophers of science with a strong background in mathematics or physics. They believe that paying attention to the finer formal details often helps avoiding pitfalls that exacerbate the philosophical problems that are in the center of focus of contemporary research. The papers presented here help make explicit the mathematical-structural assumptions that underlie key philosophical argumentations. This formally rigorous and conceptually precise approach will appeal to researchers and philosophers as well as mathematicians and statisticians.

This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal science, mathematical ontology: what does it mean to exist, mathematical structures: what are they and how do we know them, how different layers of mathematical structuring relate to each other and to perceptual structures, and how to use mathematics to find out how the world is. The book simultaneously develops along two lines, both inspired and enlightened by Edmund Husserl's phenomenological philosophy. One line leads to the establishment of a particular version of mathematical structuralism, free of "naturalist" and empiricist bias. The other leads to a logical-epistemological explanation and justification of the applicability of mathematics carried out within a unique structuralist perspective. This second line points to the "unreasonable" effectiveness of mathematics in physics as a means of representation, a tool, and a source of not always logically justified but useful and effective heuristic strategies.

This collection presents significant contributions from an international network project on mathematical cultures, including essays from leading scholars in the history and philosophy of mathematics and mathematics education. Mathematics has universal standards of validity. Nevertheless, there are local styles in mathematical research and teaching, and great variation in the place of mathematics in the larger cultures that mathematical practitioners belong to. The reflections on mathematical cultures collected in this book are of interest to mathematicians, philosophers, historians, sociologists, cognitive scientists and mathematics educators.

This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka. Hintikka was a prodigious and esteemed philosopher and logician, and his death in August 2015 was a huge loss to the philosophical community. This book, whose chapters have been in preparation for several years, is dedicated to the work of Jaako Hintikka, and to his memory. This edited volume consists of 23 contributions from leading logicians and philosophers, who discuss themes that span across the entire range of Hintikka's career. Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of the topics covered in this book's chapters. The book should appeal to students, scholars and teachers who wish to explore the philosophy of Jaako Hintikka.

This book offers an up-to-date overview of the research on philosophy of mathematics education, one of the most important and relevant areas of theory. The contributions analyse, question, challenge, and critique the claims of mathematics education practice, policy, theory and research, offering ways forward for new and better solutions. The book poses basic questions, including: What are our aims of teaching and learning mathematics? What is mathematics anyway? How is mathematics related to society in the 21st century? How do students learn mathematics? What have we learnt about mathematics teaching? Applied philosophy can help to answer these and other fundamental questions, and only through an in-depth analysis can the practice of the teaching and learning of mathematics be improved. The book addresses important themes, such as critical mathematics education, the traditional role of mathematics in schools during the current unprecedented political, social, and environmental crises, and the way in which the teaching and learning of mathematics can better serve social justice and make the world a better place for the future.

This book presents 25 selected papers from the International Conference on "Developing Synergies between Islam & Science and Technology for Mankind's Benefit" held at the International Institute for Advanced Islamic Studies Malaysia, Kuala Lumpur, in October 2014. The papers cover a broad range of issues reflecting the main conference themes: Cosmology and the Universe, Philosophy of Science and the Emergence of Biological Systems, Principles and Applications of Tawhidic Science, Medical Applications of Tawhidic Science and Bioethics, and the History and Teaching of Science from an Islamic Perspective. Highlighting the relationships between the Islamic religious worldview and the physical sciences, the book challenges secularist paradigms on the study of Science and Technology. Integrating metaphysical perspectives of Science, topics include Islamic approaches to S&T such as an Islamic epistemology of the philosophy of science, a new quantum theory, environmental care, avoiding wasteful consumption using Islamic teachings, and emotional-blasting psychological therapy. Eminent contributing scholars include Osman Bakar, Mohammad Hashim Kamali, Mehdi Golshani, Mohd. Kamal Hassan, Adi Setia and Malik Badri. The book is essential reading for a broad group of academics and practitioners, from Islamic scholars and social scientists to (physical) scientists and engineers.

This volume contains thirteen papers that were presented at the 2017 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics/Societe canadienne d'histoire et de philosophie des mathematiques, which was held at Ryerson University in Toronto. It showcases rigorously reviewed modern scholarship on an interesting variety of topics in the history and philosophy of mathematics from Ancient Greece to the twentieth century. A series of chapters all set in the eighteenth century consider topics such as John Marsh's techniques for the computation of decimal fractions, Euler's efforts to compute the surface area of scalene cones, a little-known work by John Playfair on the practical aspects of mathematics, and Monge's use of descriptive geometry. After a brief stop in the nineteenth century to consider the culture of research mathematics in 1860s Prussia, the book moves into the twentieth century with an examination of the historical context within which the Axiom of Choice was developed and a paper discussing Anatoly Vlasov's adaptation of the Boltzmann equation to ionized gases. The remaining chapters deal with the philosophy of twentieth-century mathematics through topics such as an historically informed discussion of finitism and its limits; a reexamination of Mary Leng's defenses of mathematical fictionalism through an alternative, anti-realist approach to mathematics; and a look at the reasons that mathematicians select specific problems to pursue. Written by leading scholars in the field, these papers are accessible to not only mathematicians and students of the history and philosophy of mathematics, but also anyone with a general interest in mathematics.

Why is 7 such a lucky number and 13 so unlucky? Why does a jury traditionally have `12 good men and true', and why are there 24 hours in the day and 60 seconds in a minute? This fascinating new book explores the world of numbers from pin numbers to book titles, and from the sixfold shape of snowflakes to the way our roads, houses and telephone numbers are designated in fact and fiction. Using the numbers themselves as its starting point it investigates everything from the origins and meaning of counting in early civilizations to numbers in proverbs, myths and nursery rhymes and the ancient `science' of numerology. It also focuses on the quirks of odds and evens, primes, on numbers in popular sports - and much, much more. So whether you've ever wondered why Heinz has 57 varieties, why 999 is the UK's emergency phone number but 911 is used in America, why Coco Chanel chose No. 5 for her iconic perfume, or how the title Catch 22 was chosen, then this is the book for you. Dip in anywhere and you'll find that numbers are not just for adding and measuring but can be hugely entertaining and informative whether you're buying a diamond or choosing dinner from the menu.

One hundred years ago, Russell and Whitehead published their epoch-making Principia Mathematica (PM), which was initially conceived as the second volume of Russell's Principles of Mathematics (PoM) that had appeared ten years before. No other works can be credited to have had such an impact on the development of logic and on philosophy in the twentieth century. However, until now, scholars only focused on the first parts of the books - that is, on Russell's and Whitehead's theory of logic, set-theory and arithmetic.
Sebastien Gandon aims at reversing the perspective. His goal is to give a picture of Russell's logicism based on a detailed reading of the developments dealing with advanced mathematics - namely projective geometry and the theory of quantity. This book is not only the first study ever made of the 'later' portions of PoM and PM, it also shows how this shift of perspective compels us to change our view of the logicist program taken as a whole.

This book examines mathematical discourse from the perspective of Michael Halliday's social semiotic theory. In this approach, mathematics is conceptualized as a multisemiotic discourse involving language, visual images and symbolism. The book discusses the evolution of the semiotics of mathematical discourse, and then, proceeds to examine the grammar of mathematical symbolism, the grammar of mathematical visual images, intersemiosis between language, visual images and symbolism and the subsequent ways in which mathematics orders reality. The focus of this investigation is written mathematical texts. The aims of the book are to understand the semantic realm of mathematics and to appreciate the metaphorical expansions and simultaneous limitations of meaning in mathematical discourse. The book is intended for linguists, semioticians, social scientists and those interested in mathematics and science education. In addition, the close study of the multisemiotic mature of mathematics has implications for other studies adopting a social semiotic approach to multimodality.

This book studies the important issue of the possibility of conceptual change--a possibility traditionally denied by logicians--from the perspective of philosophy of mathematics. The author also looks at aspects of language, and his conclusions have implications for a theory of concepts, truth and thought. The book will appeal to readers in the philosophy of mathematics, logic, and the philosophy of mind and language.

This monograph considers several well-known mathematical theorems and asks the question, "Why prove it again?" while examining alternative proofs. It explores the different rationales mathematicians may have for pursuing and presenting new proofs of previously established results, as well as how they judge whether two proofs of a given result are different. While a number of books have examined alternative proofs of individual theorems, this is the first that presents comparative case studies of other methods for a variety of different theorems. The author begins by laying out the criteria for distinguishing among proofs and enumerates reasons why new proofs have, for so long, played a prominent role in mathematical practice. He then outlines various purposes that alternative proofs may serve. Each chapter that follows provides a detailed case study of alternative proofs for particular theorems, including the Pythagorean Theorem, the Fundamental Theorem of Arithmetic, Desargues' Theorem, the Prime Number Theorem, and the proof of the irreducibility of cyclotomic polynomials. Why Prove It Again? will appeal to a broad range of readers, including historians and philosophers of mathematics, students, and practicing mathematicians. Additionally, teachers will find it to be a useful source of alternative methods of presenting material to their students.

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). This book develops a complete philosophy of mathematics that contrasts with the usual Platonist and nominalist options.

This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen's systematical ideas in today's debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen's work on lattice-groups and divisibility theory, and modern set theory and Lorenzen's critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen's consistency proof and Hilbert's larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz.

This book presents a philosophical approach to probability and probabilistic thinking, considering the underpinnings of probabilistic reasoning and modeling, which effectively underlie everything in data science. The ultimate goal is to call into question many standard tenets and lay the philosophical and probabilistic groundwork and infrastructure for statistical modeling. It is the first book devoted to the philosophy of data aimed at working scientists and calls for a new consideration in the practice of probability and statistics to eliminate what has been referred to as the "Cult of Statistical Significance." The book explains the philosophy of these ideas and not the mathematics, though there are a handful of mathematical examples. The topics are logically laid out, starting with basic philosophy as related to probability, statistics, and science, and stepping through the key probabilistic ideas and concepts, and ending with statistical models. Its jargon-free approach asserts that standard methods, such as out-of-the-box regression, cannot help in discovering cause. This new way of looking at uncertainty ties together disparate fields - probability, physics, biology, the "soft" sciences, computer science - because each aims at discovering cause (of effects). It broadens the understanding beyond frequentist and Bayesian methods to propose a Third Way of modeling.

This volume contains thirteen papers that were presented at the 2014 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics/La Societe Canadienne d'Histoire et de Philosophie des Mathematiques, held on the campus of Brock University in St. Catharines, Ontario, Canada. It contains rigorously reviewed modern scholarship on general topics in the history and philosophy of mathematics, as well as on the meeting's special topic, Early Scientific Computation. These papers cover subjects such as *Physical tools used by mathematicians in the seventeenth century *The first historical appearance of the game-theoretical concept of mixed-strategy equilibrium *George Washington's mathematical cyphering books *The development of the Venn diagram *The role of Euler and other mathematicians in the development of algebraic analysis *Arthur Cayley and Alfred Kempe's influence on Charles Peirce's diagrammatic logic *The influence publishers had on the development of mathematical pedagogy in the nineteenth century *A description of the 1924 International Mathematical Congress held in Toronto, told in the form of a "narrated slide show" Written by leading scholars in the field, these papers will be accessible to not only mathematicians and students of the history and philosophy of mathematics, but also anyone with a general interest in mathematics.

Philosophical logic has been, and continues to be, a driving force behind much progress and development in philosophy more broadly. This collection by up-and-coming philosophical logicians deals with a broad range of topics, including, for example, proof-theory, probability, context-sensitivity, dialetheism and dynamic semantics.

This collection of fifteen new essays marks the centenary of the 1910 to 1913 publication of the monumental "Principia Mathematica" by Alfred N. Whitehead and Bertrand Russell. The papers study the influence of PM on the development of symbolic logic in the twentieth century, Russell's philosophy of logic and his program of reducing mathematics to logic, the distinctive theory of logical types that provides a response to the paradoxes of logic that Russell and others discovered around 1900, as well as the details of some of the mathematical theories in the three volumes of symbolic proofs.

Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, Church's Thesis has never been falsified. There exists a vast literature concerning the thesis. The aim of the book is to provide one volume summary of the state of research on Church's Thesis. These include the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming.

Our knowledge of mathematics has structured much of what we think we know about ourselves as individuals and communities, shaping our psychologies, sociologies, and economies. In pursuit of a more predictable and more controllable cosmos, we have extended mathematical insights and methods to more and more aspects of the world. Today those powers are greater than ever, as computation is applied to virtually every aspect of human activity. Yet, in the process, are we losing sight of the human? When we apply mathematics so broadly, what do we gain and what do we lose, and at what risk to humanity? These are the questions that David and Ricardo L. Nirenberg ask in Uncountable, a provocative account of how numerical relations became the cornerstone of human claims to knowledge, truth, and certainty. There is a limit to these number-based claims, they argue, which they set out to explore. The Nirenbergs, father and son, bring together their backgrounds in math, history, literature, religion, and philosophy, interweaving scientific experiments with readings of poems, setting crises in mathematics alongside world wars, and putting medieval Muslim and Buddhist philosophers in conversation with Einstein, Schroedinger, and other giants of modern physics. The result is a powerful lesson in what counts as knowledge and its deepest implications for how we live our lives.

This book approaches work by Gilles Deleuze and Alain Badiou through their shared commitment to multiplicity, a novel approach to addressing one of the oldest philosophical questions: is being one or many? Becky Vartabedian examines major statements of multiplicity by Deleuze and Badiou to assess the structure of multiplicity as ontological ground or foundation, and the procedures these accounts prescribe for understanding one in relation to multiplicity. Written in a clear, engaging style, Vartabedian introduces readers to Deleuze and Badiou's key ontological commitments to the mathematical resources underpinning their accounts of multiplicity and one, and situates these as a conversation unfolding amid political and intellectual transformations.

This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overview of the program, illustrate its mathematical content and implications, and also discuss its philosophical assumptions. It will thus be of wide appeal among mathematicians and philosophers with an interest in the foundations of set theory. The Hyperuniverse Project was supported by the John Templeton Foundation from January 2013 until September 2015