This mathematics textbook covers the fundamental ideas used in writing proofs. Proof techniques covered include direct proofs, proofs by contrapositive, proofs by contradiction, proofs in set theory, proofs of existentially or universally quantified predicates, proofs by cases, and mathematical induction. Inductive and deductive reasoning are explored. A straightforward approach is taken throughout. Plenty of examples are included and lots of exercises are provided after each brief exposition on the topics at hand. The text begins with a study of symbolic (...) logic, deductive reasoning, and quantifiers. Inductive reasoning and making conjectures are examined next, and once there are some statements to prove, techniques for proving conditional statements, disjunctions, biconditional statements, and quantified predicates are investigated. Terminology and proof techniques in set theory follow with discussions of the pick-a-point method and the algebra of sets. Cartesian products, equivalence relations, orders, and functions are all incorporated. Particular attention is given to injectivity, surjectivity, and cardinality. The text includes an introduction to topology and abstract algebra, with a comparison of topological properties to algebraic properties. This book can be used by itself for an introduction to proofs course or as a supplemental text for students in proof-based mathematics classes. The contents have been rigorously reviewed and tested by instructors and students in classroom settings. (shrink)

In recent years, several remarkable results have shown that certain theorems of finite combinatorics are unprovable in certain logical systems. These developments have been instrumental in stimulating research in both areas, with the interface between logic and combinatorics being especially important because of its relation to crucial issues in the foundations of mathematics which were raised by the work of Kurt Godel. Because of the diversity of the lines of research that have begun to shed light on these issues, (...) there was a need for a comprehensive overview which would tie the lines together. This volume fills that need by presenting a balanced mixture of high quality expository and research articles that were presented at the August 1985 AMS-IMS-SIAM Joint Summer Research Conference, held at Humboldt State University in Arcata, California.With an introductory survey to put the works into an appropriate context, the collection consists of papers dealing with various aspects of 'unprovable theorems and fast-growing functions'. Among the topics addressed are: ordinal notations, the dynamical systems approach to Ramsey theory, Hindman's finite sums theorem and related ultrafilters, well quasiordering theory, uncountable combinatorics, nonstandard models of set theory, and a length-of-proof analysis of Godel's incompleteness theorem. Many of the articles bring the reader to the frontiers of research in this area, and most assume familiarity with combinatorics and/or mathematical logic only at the senior undergraduate or first-year graduate level. (shrink)

Kurt Gdel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gdel's writings. The first three volumes, already published, consist of the papers and essays of Gdel. The final two volumes of the set deal with Gdel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.

Recent years have seen the appearance of many English-language hand books of logic and numerous monographs on topical discoveries in the foundations of mathematics. These publications on the foundations of mathematics as a whole are rather difficult for the beginners or refer the reader to other handbooks and various piecemeal contribu tions and also sometimes to largely conceived "mathematical fol klore" of unpublished results. As distinct from these, the present book is as easy as possible systematic exposition of (...) the now classical results in the foundations of mathematics. Hence the book may be useful especially for those readers who want to have all the proofs carried out in full and all the concepts explained in detail. In this sense the book is self-contained. The reader's ability to guess is not assumed, and the author's ambition was to reduce the use of such words as evident and obvious in proofs to a minimum. This is why the book, it is believed, may be helpful in teaching or learning the foundation of mathematics in those situations in which the student cannot refer to a parallel lecture on the subject. This is also the reason that I do not insert in the book the last results and the most modem and fashionable approaches to the subject, which does not enrich the essential knowledge in founda tions but can discourage the beginner by their abstract form. A. G. (shrink)

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and (...) the epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)

The Greek astronomer and geometrician Apollonius of Perga produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg, a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text of (...) the first four books of Apollonius' treatise together with a facing-page Latin translation. Volume 1 contains the first three books, with the editor's introductory matter in Latin. (shrink)

The Greek astronomer and geometrician Apollonius of Perga produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg, a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text of (...) the first four books of Apollonius' treatise together with a facing-page Latin translation. Volume 2 contains the fourth book in addition to other Greek fragments and ancient commentaries, notably that of Eutocius, as well as the editor's Latin prolegomena comparing the various manuscript sources. (shrink)

The Greek astronomer and geometrician Apollonius of Perga produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg, a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text of (...) the first four books of Apollonius' treatise together with a facing-page Latin translation. Volume 1 contains the first three books, with the editor's Latin introductory matter. Volume 2 contains the fourth book in addition to other Greek fragments and ancient commentaries, notably that of Eutocius. (shrink)

Translator's introduction -- Fundamental questions of geometry -- The decidability requirement -- The origin of the concept of number -- Implicit definition and the proper grounding of mathematics -- Rigid bodies in geometry -- Prelude to geometry : the essential ideas -- Physical and mathematical geometry -- Natural geometry -- The concept of the differential -- Reflections on the proper grounding of mathematics I -- Concepts and proofs in mathematics -- Dimension and space in mathematics -- (...) Reflections on the proper grounding of mathematics II -- The axiomatic method in modern mathematics. (shrink)

This_classic undergraduate text_elegantly acquaints students with the_fundamental concepts and methods of mathematics. In addition to introducing_many noteworthy historical figures_from the 18th through the mid-20th centuries, it examines_the axiomatic method, set theory, infinite sets, the linear continuum and the real number system, groups, intuitionism,_formal systems, mathematical logic, and other topics.

Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity (...) of the latter. This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification. (shrink)

This book argues that our current best theories of fundamental physics are best interpreted as positing spacetime as non-fundamental. It is written in accessible language and largely avoids mathematical technicalities by instead focusing on the key metaphysical and foundational lessons for the fundamentality of spacetime. -/- According to orthodoxy, spacetime and spatiotemporal properties are regarded as fundamental structures of our world. Spacetime fundamentalism, however, faces challenges from speculative theories of quantum gravity – roughly speaking, the project of applying the lessons (...) of quantum mechanics to gravitation and spacetime. This book demonstrates that the non-fundamentality of spacetime does not rely on speculative physics alone. Rather, one can give an interpretation of general relativity that supports some form of spacetime non-fundamentalism. The author makes the case for spacetime non-fundamentalism in three steps. First, he confronts the standard geometrical interpretation of general relativity with Brown and Pooley’s dynamical approach to relativity theory. Second, he considers an alternative derivation of the Einstein field equations, namely the classical spin-2 approach, and argues that it paves the way for a refined dynamical approach to general relativity. Finally, he argues that particle physics can serve as a continuity condition for the metaphysics of spacetime. -/- The Non-Fundamentality of Spacetime will be of interest to scholars and advanced students working in philosophy of physics, philosophy of science, and metaphysics. (shrink)

The present book is an introduction to the philosophy of mathematics. It asks philosophical questions concerning fundamental concepts, constructions and methods - this is done from the standpoint of mathematical research and teaching. It looks for answers both in mathematics and in the philosophy of mathematics from their beginnings till today. The reference point of the considerations is the introducing of the reals in the 19th century that marked an epochal turn in the foundations of mathematics. (...) In the book problems connected with the concept of a number, with the infinity, the continuum and the infinitely small, with the applicability of mathematics as well as with sets, logic, provability and truth and with the axiomatic approach to mathematics are considered. In Chapter 6 the meaning of infinitesimals to mathematics and to the elements of analysis is presented. The authors of the present book are mathematicians. Their aim is to introduce mathematicians and teachers of mathematics as well as students into the philosophy of mathematics. The book is suitable also for professional philosophers as well as for students of philosophy, just because it approaches philosophy from the side of mathematics. The knowledge of mathematics needed to understand the text is elementary. Reports on historical conceptions. Thinking about today‘s mathematical doing and thinking. Recent developments. Based on the third, revised German edition. For mathematicians - students, teachers, researchers and lecturers - and readersinterested in mathematics and philosophy. Contents On the way to the reals On the history of the philosophy of mathematics On fundamental questions of the philosophy of mathematics Sets and set theories Axiomatic approach and logic Thinking and calculating infinitesimally – First nonstandard steps Retrospection. (shrink)

[pt. 1] Variables and quantities, with a discussion of the general conception of functional relation. 1916.

Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of mathematics. In the first part of the book, the author discusses different inductive techniques, including well-ordered sets, basic mathematical induction, strong induction, double induction, infinite descent, downward induction, and several variants. He then introduces ordinals and cardinals, transfinite (...) induction, the axiom of choice, Zorn’s lemma, empirical induction, and fallacies and induction. He also explains how to write inductive proofs. The next part contains more than 750 exercises that highlight the levels of difficulty of an inductive proof, the variety of inductive techniques available, and the scope of results provable by mathematical induction. Each self-contained chapter in this section includes the necessary definitions, theory, and notation and covers a range of theorems and problems, from fundamental to very specialized. The final part presents either solutions or hints to the exercises. Slightly longer than what is found in most texts, these solutions provide complete details for every step of the problem-solving process. (shrink)

I address the philosophical debate over whether the mathematical theory of probability arose on the basis of empirical observations or of purely theoretical speculations. The debate tends to pose a strict dichotomy between empirical problem-solving and pure theorizing. I alternatively suggest that, in the case of mathematical probability, an empirical problem-context acted as an enabling condition for the possibility of mathematical innovation, but that the activity of the early mathematical probabilists gradually became the study of a theoretical system of ideas. (...) This case has some implications for a more general philosophical view on the context of mathematical discovery. ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ----------------------------------------. (shrink)

In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view. More specifically, these fields are based on criteria of identity that are not extensional. After presenting a few cases, I concentrate on homotopy theory where the situation is particularly clear. Moreover, homotopy types are arguably fundamental entities of geometry, thus of a large portion of mathematics, and potentially to all mathematics, (...) at least according to some speculative research programs. (shrink)

Although understanding is the object of a growing literature in epistemology and the philosophy of science, only few studies have concerned understanding in mathematics. This essay offers an account of a fundamental form of mathematical understanding: proof understanding. The account builds on a simple idea, namely that understanding a proof amounts to rationally reconstructing its underlying plan. This characterization is fleshed out by specifying the relevant notion of plan and the associated process of rational reconstruction, building in part on (...) Bratman's theory of planning agency. It is argued that the proposed account can explain a significant range of distinctive phenomena commonly associated with proof understanding by mathematicians and philosophers. It is further argued, on the basis of a case study, that the account can yield precise diagnostics of understanding failures and can suggest ways to overcome them. Reflecting on the approach developed here, the essay concludes with some remarks on how to shape a general methodology common to the study of mathematical and scientific understanding and focused on human agency. (shrink)

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both immersed in the past and unusually attuned to the competing philosophical ideas of (...) contemporary mathematicians, it shows that proof and other forms of mathematical exploration continue to be living, evolving practices - responsive to new technologies, yet embedded in permanent facts about human beings. It distinguishes several distinct types of application of mathematics, and shows how each leads to a different philosophical conundrum. Here is a remarkable body of new philosophical thinking about proofs, applications, and other mathematical activities. (shrink)

This book is about the relationship between necessary reasoning and visual experience in Charles S. Peirce’s mathematical philosophy. It presents mathematics as a science that presupposes a special imaginative connection between our responsiveness to reasons and our most fundamental perceptual intuitions about space and time. Central to this view on the nature of mathematics is Peirce’s idea of diagrammatic reasoning. In practicing this kind of reasoning, one treats diagrams not simply as external auxiliary tools, but rather as immediate (...) visualizations of the very process of the reasoning itself. Thus conceived, one's capacity to diagram their thought reveals a set of characteristics common to ordinary language, visual perception, and necessary mathematical reasoning. The book offers an original synthetic approach that allows tracing the roots of Peirce’s conception of a diagram in certain patterns of interrelation between his semiotics, his pragmaticist philosophy, his logical and mathematical ideas, bits and pieces of his biography, his personal intellectual predispositions, and his scientific practice as an applied mathematician. (shrink)

How the concept of proof has enabled the creation of mathematical knowledge. The Story of Proof investigates the evolution of the concept of proof--one of the most significant and defining features of mathematical thought--through critical episodes in its history. From the Pythagorean theorem to modern times, and across all major mathematical disciplines, John Stillwell demonstrates that proof is a mathematically vital concept, inspiring innovation and playing a critical role in generating knowledge. Stillwell begins with Euclid and his influence on the (...) development of geometry and its methods of proof, followed by algebra, which began as a self-contained discipline but later came to rival geometry in its mathematical impact. In particular, the infinite processes of calculus were at first viewed as "infinitesimal algebra," and calculus became an arena for algebraic, computational proofs rather than axiomatic proofs in the style of Euclid. Stillwell proceeds to the areas of number theory, non-Euclidean geometry, topology, and logic, and peers into the deep chasm between natural number arithmetic and the real numbers. In its depths, Cantor, Gödel, Turing, and others found that the concept of proof is ultimately part of arithmetic. This startling fact imposes fundamental limits on what theorems can be proved and what problems can be solved. Shedding light on the workings of mathematics at its most fundamental levels, The Story of Proof offers a compelling new perspective on the field's power and progress. (shrink)

The physical foundations of mathematics in the theory of emergent space-time-matter were considered. It is shown that mathematics, including logic, is a consequence of equation which describes the fundamental field. If the most fundamental level were described not by mathematics, but something else, then instead of mathematics there would be consequences of this something else.

The paper presents a very brief overview of Per Martin-Löf's Constructive Type Theory (CTT for short). It is thought as handout for a mastersl level seminar? Sicne it is an overview on existing literatures there is no claim on originaliyt here.

In the mathematical documents which have come down to us from these peoples, there are no theorems or demonstrations, and the fundamental concepts of ...

Many mathematicians have a rich internal world of mental imagery. Using elementary mathematical skills, this study probes the mathematical imagination's sensorimotor foundations. Mental imagery is perturbed using body position: having the head and vestibular system in different positions with respect to gravity. No two mathematicians described the same imagery. Eight out of 11 habitually visualize, one uses sensorimotor imagery, and two do not habitually used mental imagery. Imagery was both intentional and partly autonomous. For example, coordinate planes rotated, drifted, wobbled, (...) or slid down from vertical to horizontal. Parabolae slid into place or, on one side, a parabola arm reached upward in gravity. The sensorimotor foundation of imagery was evidenced in several ways. The imagery was placed with respect to the body. Further, the imagery had a variety of relationships to the body, such as the body being the coordinate system or the coordinate system being placed in front of the eyes for easy viewing by the mind's eye. The mind's eye, mind's arm, and awareness almost always obeyed the geometry of the real eye and arm. The imagery and body behaved as a dyad, so that the imagery moved or placed itself for the convenience of the mind's eye or arm, which in turn moved to follow the imagery. With eyes closed, participants created a peripersonal imagery space, along with the peripersonal space of the unseen environment. Although mathematics is fundamentally abstract, imagery was sometimes concrete or used a concrete substrate or was placed to avoid being inside concrete objects, such as furniture. Mathematicians varied in the numbers of components of mental imagery and the ways they interacted. The autonomy of the imagery was sometimes of mathematical interest, suggesting that the interaction of imagery habits and autonomy can be a source of mathematical creativity. (shrink)

Mathematical abstraction is the process of considering and ma­nipulating operations, rules, methods and concepts divested from their refe­rence to real world phenomena and circumstances, and also deprived from the content connected to particular applications. There is no one single way of per­forming mathematical abstraction. The term “abstraction” does not name a unique procedure but a general process, which goes many ways that are mostly simultaneous and intertwined; in particular, the process does not amount only to logical subsumption. I will consider (...) comparatively how philosophers consi­der abstraction and how mathematicians perform it, with the aim to bring to light the fundamental thinking processes at play, and to illustrate by signifi­cant examples how much intricate and multi-leveled may be the combination of typical mathematical techniques which include axiomatic method, invariance principles, equivalence relations and functional correspondences. (shrink)

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial (...) aspects of contemporary theories such as neo-logicist abstractionism, structuralism, or multiversism about sets, by discussing different conceptions of mathematical realism and rival relativistic views on the mathematical universe. They consider fundamental philosophical notions such as set, cardinal number, truth, ground, finiteness and infinity, examining how their informal conceptions can best be captured in formal theories. The philosophy of mathematics is an extremely lively field of inquiry, with extensive reaches in disciplines such as logic and philosophy of logic, semantics, ontology, epistemology, cognitive sciences, as well as history and philosophy of mathematics and science. By bringing together well-known scholars and younger researchers, the essays in this collection – prompted by the meetings of the Italian Network for the Philosophy of Mathematics (FilMat) – show how much valuable research is currently being pursued in this area, and how many roads ahead are still open for promising solutions to long-standing philosophical concerns. Promoted by the Italian Network for the Philosophy of Mathematics – FilMat. (shrink)

Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and (...) the graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics. (shrink)

This paper has two main purposes: first, to compare Wittgenstein's views to the more traditional views in the philosophy of mathematics; second, to provide a general outline for a Wittgensteinian reply to these two objections. Two fundamental themes of Wittgenstein's account of mathematics title the following two sections: mathematical propositions are rules and not descriptions and mathematics is employed within a form of life. Under each heading, I examine Wittgenstein's rejection of alternative views. My aim is to (...) make clear the differences and too suggest some similarities. As will become soon clear, Wittgenstein often rejects opposing views for the same or similar reasons. This comparison will provide the necessary background for better understanding Wittgenstein's philosophy of mathematics, for appreciating its many unappreciated advantages and, finally, for defending a conventionalist account of mathematics. (shrink)

For the most part, contemporary logicians discuss previous logicians’ ideas from different civilizations and make comments thereon, thus addressing specialists in logic studies. In many education systems, the science philosophy and logic principles do not play a preliminary role. Today, in many education systems the science of philosophical thinking and logic principles should play a preliminary role for rational inferences. Unfortunately, in education systems there is little formal training about the principles of logic and their extraordinary capacity to sharpen the (...) mind with brain experiments, which leads to the attaining of innovative ideas. This is the case especially in engineering institutions, where the students are fed with various mathematical principles, equations and numerical solution methodologies. Although classically almost everybody states that mathematics is based on logic, logical principles are not thought through systematically in education systems.. In this short paper the main purpose is to mention t the logical principles that should be beneficial to the young generation, regardless of whether the interest is in logical sciences or in basic works to arrive at limitless logical conclusions. (shrink)

Although there are many questions to be asked about philosophy of mathematics, the fundamental questions to be asked will be questions about what the mathematical object is in view of being and what the mathematical reasoning is in view of knowledge. It is clear that other problems will develop in parallel within the framework of the answers to these questions. For this reason, when we approach Aristotle's philosophy of mathematics over these two basic problems, we come up with (...) the concept of abstraction. In our work, I will try to explain the mathematical abstraction that Aristotle has developed to understand mathematical philosophy. (shrink)

The ArgumentIt has long been apparent that in the nineteenth century, mathematics in France and England developed along different lines. The differences, which might well be labelled stylistic, are most easy to see on the foundational level. At first this may seem surprising because it is such a fundamental area, but, upon reflection, it is to be expected. Ultimately discussions about the foundations of mathematics turn on views about what mathematics is, and this is a question which (...) is answered by a variety of different groups including mathematicians, students, curricular planners, parents, etc. Mathematical practice rests on some kind of mixture of the answers to this fundamental question which come from these diverse groups. Comparing the cultural matrices which supported mathematics in France and Britain in the first decades of the nineteenth century sheds light on the real though often subtle differences in the ways the subject was pursued in the two countries. (shrink)

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. (shrink)

In this paper we consider the major development of mathematical analysis during the mid-nineteenth century. On the basis of Jahnke’s (Hist Math 20(3):265–284, 1993 ) distinction between considering mathematics as an empirical science based on time and space and considering mathematics as a purely conceptual science we discuss the Swedish nineteenth century mathematician E.G. Björling’s general view of real- and complexvalued functions. We argue that Björling had a tendency to sometimes consider mathematical objects in a naturalistic way. One (...) example is how Björling interprets Cauchy’s definition of the logarithm function with respect to complex variables, which is investigated in the paper. Furthermore, in view of an article written by Björling (Kongl Vetens Akad Förh Stockholm 166–228, 1852 ) we consider Cauchy’s theorem on power series expansions of complex valued functions. We investigate Björling’s, Cauchy’s and the Belgian mathematician Lamarle’s different conditions for expanding a complex function of a complex variable in a power series. We argue that one reason why Cauchy’s theorem was controversial could be the ambiguities of fundamental concepts in analysis that existed during the mid-nineteenth century. This problem is demonstrated with examples from Björling, Cauchy and Lamarle. (shrink)