Mathematical Cognition

The goal of this unique text is to provide an "experience" that would facilitate a better transition for mathematics majors to the advanced proof-based courses required for their major. If you "love mathematics, but I hate proofs" this book is for you. Example-based courses such as introductory Calculus transition somewhat abruptly, and without a warning label, to proof-based courses, and may leave students with the unpleasant feeling that a subject they loved has turned into material they find hard to understand. (...) The book exposes students and readers to the fundamental nature and principles of constructing mathematical proofs and in the context of main courses required for the major, e.g., probability, linear algebra, real analysis, and abstract algebra. Four short chapters, each chapter focusing on a particular course, provide a short but rigorous introduction. Students then get a preview of the discipline, its focus, language, mathematical objects of interests, and common methods of proof presented in those courses. Because which ideas apply to which future courses may not be obvious in many transition courses, this structure addresses this need. The book may also be used as a review tool at the end of course and for readers who want to learn the language and scope of the broad disciplines of linear algebra, abstract algebra, real analysis, and probability, before transitioning to these courses. (shrink)

This paper considers hybrid systems — dynamical systems that exhibit both continuous and discrete behavior. Usually, in these systems, interactions between the continuous and discrete dynamics occur when a pre-defined function becomes equal to zero, i.e., in the system occurs a zero-crossing (the situation where the function only “touches” zero is considered as the zero-crossing, as well). Determination of zero-crossings plays a crucial role in the correct simulation of the system in this case. However, for models of many real-life hybrid (...) systems, such interactions may lead to the so-called Zeno executions, i.e., situations where the system undergoes an unbounded number of discrete transitions in a finite and bounded length of time. In this case, standard numerical methods of simulating the systems may fail, since the time between two transitions can decrease significantly leading to ill-conditioning of the simulation. Correct determination of zero-crossings for a complex real-life system can require a lot of computational resources and, as a consequence, slow down the simulation significantly. This paper presents a new way to execute the simulation generating time observations of the hybrid system dynamically using numerical infinitesimals introduced recently, allowing thus to determine zero-crossings more accurately. The proposed method allows to automatically detect zero-crossings with predefined accuracy and to analyze better the behavior of the system around the zero-crossings generating observations more densely, where it is necessary. Moreover, the search for zero-crossings is performed efficiently without re-evaluation of the whole system at each observation. To show the validity of the proposed algorithm, the well-known Bouncing Ball hybrid system has been studied and the obtained simulation results were compared with the standard method. (shrink)

Sand drawings are introduced in relation to the fieldwork of British anthropologists John Layard and Bernard Deacon early in the twentieth century, and the status of sand drawings as mathematics is discussed in the light of Wittgenstein’s idea that “in mathematics process and result are equivalent”. Included are photographs of the illustrations in Layard’s own copy of Deacon’s “Geometrical Drawings from Malekula and other Islands of the New Hebrides” (1934). This is a brief companion to my article “Wittgenstein on string (...) figures as mathematics” (2022), published in the journal Philosophical Investigations. (shrink)

In this paper, I study the kind of questions we can ask about the existence of numbers. In addition to asking whether numbers exist, and how, I argue that there is also a third relevant question: why numbers exist. In platonist and nominalist accounts this question may not make sense, but in the psychologist account I develop, it is as well-placed as the other two questions. In fact, there are two such why-questions: the causal why-question asks what causes numbers to (...) exist and the teleological why-question asks for what purpose numbers exist. I argue that in a psychologist constructivist account, in which numbers are understood to exist as referents of a particular type of culturally shared concepts, both why-questions can get plausible answers. (shrink)

I argue that analogue mental representations possess a canonical decomposition into privileged constituents from which they compose. I motivate this suggestion, and rebut arguments to the contrary, through reflection on the approximate number system, whose representations are widely expected to have an analogue format. I then argue that arguments for the compositionality and constituent structure of these analogue representations generalize to other analogue mental representations posited in the human mind, such as those in early vision and visual imagery.

Combining inquiry and metacognition helps strengthen mathematical learning. This study examines how metacognitive mathematical inquiry can be modeled using reflective tasking approach. Quasi-experimental design was employed in two comparable groups of Grade 9 students of Ibarra National High School, Maasin City, Philippines during the academic year 2021-2022. Lesson guides on reflective task assessments anchored on metacognitive and inquiry-based learning theories, inquiry rubric scales and modified state metacognitive inventory served as data collection instruments. Results of t-test analysis revealed significant difference in (...) performance between groups implying high efficacy of the methodology in stimulating students’ metacognitive inquiry skill. Correlation values projected significant relationship between reflective learning performances with metacognition. Quantitative evidences, thus, lead to conclusion that reflective tasking methodology exemplifies potential in metacognitive mathematical inquiry as it optimizes their thinking processes, task involvement, and regulation through self-reflection principles worthy of practice throughout lifelong learning. (shrink)

This paper investigates some classical oppositional categories, like synthetic vs. analytic, posterior vs. prior, imagination vs. grammar, metaphor vs. hermeneutics, metaphysics vs. observation, innovation vs. routine, and image vs. sound, and the role they play in epistemology and philosophy of science. The epistemological framework of objective cognitive constructivism is of special interest in these investigations. Oppositional relations are formally represented using algebraic lattice structures like the cube and the hexagon of opposition, with applications in the contexts of modern color theory, (...) Kantian philosophy, Jungian psychology, and linguistics. (shrink)

We propose the concepts of philomatics and psychomatics as hybrid combinations of philosophy and psychology with mathematics. We explain four motivations for this combination which are fulfilling the desire of analytical philosophy, proposing science of philosophy, justifying mathematical algorithms by philosophy, and abstraction in both philosophy and mathematics. We enumerate various examples for philomatics and psychomatics, some of which are explained in more depth. The first example is the analysis of relation between the context principle, semantic holism, and the usage (...) theory of meaning with the attention mechanism in mathematics. The other example is on the relations of Plato's theory of forms in philosophy with the holographic principle in string theory, object-oriented programming, and machine learning. Finally, the relation between Wittgenstein's family resemblance and clustering in mathematics is explained. This paper opens the door of research for combining philosophy and psychology with mathematics. (shrink)

This textbook is designed for an Introduction to Proofs course organized around the themes of number and space. Concepts are illustrated using both geometric and number examples, while frequent analogies and applications help build intuition and context in the humanities, arts, and sciences. Sophisticated mathematical ideas are introduced early and then revisited several times in a spiral structure, allowing students to progressively develop rigorous thinking. Throughout, the presentation is enlivened with whimsical illustrations, apt quotations, and glimpses of mathematical history and (...) culture. Early chapters integrate an introduction to sets, logic, and beginning proof techniques with a first exposure to more advanced mathematical structures. The middle chapters focus on equivalence relations, functions, and induction. Carefully chosen examples elucidate familiar topics, such as natural and rational numbers and angle measurements, as well as new mathematics, such as modular arithmetic and beginning graph theory. The book concludes with a thorough exploration of the cardinalities of finite and infinite sets and, in two optional chapters, brings all the topics together by constructing the real numbers and other complete metric spaces. Designed to foster the mental flexibility and rigorous thinking needed for advanced mathematics, Introduction to Mathematics suits either a lecture-based or flipped classroom. A year of mathematics, statistics, or computer science at the university level is assumed, but the main prerequisite is the willingness to engage in a new challenge. (shrink)

The cognitive basis of geometry is still poorly understood, even the ‘simpler’ issue of what kind of representation of geometric objects we have. In this work, we set forward a tentative model of the neural representation of geometric objects for the case of the pure geometry of Euclid. To arrive at a coherent model, we found it necessary to consider earlier forms of geometry. We start by developing models of the neural representation of the geometric figures of ancient Greek practical (...) geometry. Then, we propose a related model for the earliest form of pure geometry – that of Hippocrates of Chios. Finally, we develop the model of the neural representation of the geometric objects of Euclidean geometry. The models are based on the hub-and-spoke theory. In our view, the existence of specific models opens the possibility of addressing the relationship between geometric figures and geometric objects, in a novel way, in terms of their neural representation. (shrink)

In this article, modern standards of early years mathematics education are criticized and a proposal for change is presented. Today's early years mathematics education standards rest on a view of mathematics that became obsolete already at the end of the 19th century while the spirit of children's mathematics is precisely the spirit of modern mathematics. The proposal for change is not a return to the “new mathematics” movement, but something different.

The study sought to identify and evaluate the classroom assessment thoughts, practices, and skills of secondary mathematics teachers in Bulacan. The study revealed that there are no significant relationships between teachers’ thoughts of classroom assessments and practices, and classroom assessment practices and skills. However, there is significant relationship between teachers’ thoughts of classroom assessments and skills. There are no significant differences between the teachers’ thoughts of classroom assessments and their age, educational attainment, teaching experience, number of years in teaching mathematics (...) and in-service training. There is a significant relationship between the teachers’ thoughts of classroom assessment and their classroom assessment skills. In the light of the findings, the researcher recommends that: Secondary mathematics teachers should adopt varied and innovative ways of assessing students’ learning in mathematics. School administrators should ensure that all teachers with appropriate certificates must take more training courses in assessment to improve their skills and use of desirable classroom assessment practices. Further research may focus on the relationship between mathematics teachers’ assessment skills and thoughts, practices and skills, and thoughts and practices. (shrink)

It has become a fact that fluency and competency in utilizing the advancement of technology, specifically the computer and the internet is one way that could help in facilitating learning in mathematics. This study investigated the effects of Dynamic Geometry Software (DGS) and Computer Algebra Systems (CAS) in teaching Mathematics. This was conducted in Zamboanga del Sur National High School (ZSNHS) during the third grading period of the school year 2015-2016. The study compared the achievement and attitude towards Mathematics between (...) those students taught with DGS and CAS and those students who were taught without DGS and CAS. A quasi-experimental pretest-posttest control group design was used with two groups which was matched according to their mathematical level. An achievement test was developed and administered to assess the students’ achievement in Mathematics. Aiken’s attitude scale was also used to assess the students’ attitude towards Mathematics. The data were treated with One-Way Analysis of Covariance (ANCOVA) and t-test at 0.05 level of significance. The study revealed a significant difference between the mathematics achievement between students taught with DGS and CAS and those who were taught without it. The integration of DGS and CAS in Mathematics lessons leads to better academic achievement result compared with that of the conventional method of teaching. Moreover, there was no significant difference on the attitude level of the students between the two groups. (shrink)

The conjunction fallacy is the well-documented empirical finding that subjects sometimes rate a conjunction A&B as more probable than one of its conjuncts, A. Most explanations appeal in some way to the fact that B has a high probability. But Tentori et al. (2013) have recently challenged such approaches, reporting experiments which find that (1) when B is confirmed by relevant evidence despite having low probability, the fallacy is common, and (2) when B has a high probability but has not (...) been confirmed by relevant evidence, the fallacy is less common. They conclude that degree of confirmation, rather than probability, is the central determinant of the conjunction fallacy. In this paper, we address a confound in these experiments: Tentori et al. (2013) failed to control for the fact that their (1)-situations make B conversationally relevant, while their (2)-situations do not. Hence their results are consistent with the hypothesis that con- versationally relevant high probability is an important driver of the conjunction fallacy. Inspired by recent theoretical work that appeals to conversational relevance to explain the conjunction fallacy, we report on two experiments that control for this issue by making B relevant without changing its degree of probability or confirmation. We find that doing so increases the rate of the fallacy in (2)-situations, and leads to comparable fallacy-rates as (1)-situations. This suggests that (non-probabilistic) conversational relevance indeed plays a role in the conjunction fallacy, and paves the way toward further work on the interplay between relevance and confirmation. (shrink)

Créativité et mathématiques ne font pas bon ménage dans l'inconscient collectif. Pourtant à l'heure d'Internet, il existe bien une manière de revisiter la géométrie, l'algèbre ou même la logique. Il suffit de prendre un peu de distance par rapport aux calculs, de se donner quelques libertés par rapport à l'histoire, de changer de point de vue... En vagabondant à travers l'histoire et l'application des mathématiques, les auteurs se livrent ici à un jeu de vulgarisation d'une saveur et d'une subtilité inédites. (...) [4e de couv.]. (shrink)

It is well known that the set of algebraic numbers (let us call it A) is countable. In this paper, instead of the usage of the classical terminology of cardinals proposed by Cantor, a recently introduced methodology using ①-based infinite numbers is applied to measure the set A (where the number ① is called grossone). Our interest to this methodology is explained by the fact that in certain cases where cardinals allow one to say only whether a set is countable (...) or it has the cardinality of the continuum, the ①-based methodology can provide a more accurate measurement of infinite sets. In this article, lower and upper estimates of the number of elements of A are obtained. Both estimates are expressed in ①-based numbers. (shrink)

Numbers. Natural numbers -- Integers -- Real numbers -- Irrational and transcendental numbers -- Funny numbers. Zero -- e : the unnatural natural number -- [Phi] : the golden ratio -- i : the imaginary number -- Writing numbers. Roman numerals -- Egyptian fractions -- Continued fractions -- Logic. Mr. Spock is not logical -- Proofs, truth, and trees : oh my! -- Programming with logic -- Temporal reasoning -- Sets. Cantor's diagonalization : infinity isn't just infinity -- Axiomatic set (...) theory : keep the good, dump the bad -- Models : using sets as the LEGOs of the math world -- Transfinite numbers : counting and ordering infinite sets -- Group theory : finding symmetries with sets -- Mechanical math. Finite state machines : simplicity goes far -- The turing machine -- Pathology and the heart of computing -- Calculus : no, not that calculus- [lambda] calculus -- Numbers, booleans, and recursion -- Types, types, types : modeling [lambda] calculus -- The halting problem. (shrink)

I. Prelude -- About this Book -- II. School Mathematics and Its Consequences -- The Foundations of Mathematical Thinking -- Compression, Connection and Blending of Mathematical Ideas -- Set-befores, Met-befores and Long-term Learning -- Mathematics and the Emotions -- The Three Worlds of Mathematics -- Journeys through Embodiment and Symbolism -- Problem-Solving and Proof -- III. Interlude -- The Historical Evolution of Mathematics -- IV. University Mathematics and Beyond -- The Transition to Formal Knowledge -- Blending Knowledge Structures in the (...) Calculus -- Expert Thinking and Structure Theorems -- Contemplating the Infinitely Large and the Infinitely Small -- Expanding the Frontiers through Mathematical Research -- Reflections -- Appendix: Where the Ideas Came From. (shrink)

This book is devoted to the study of human thought, its systemic structure, and the historical development of mathematics both as a product of thought and as a fascinating case analysis. After demonstrating that systems research constitutes the second dimension of modern science, the monograph discusses the yoyo model, a recent ground-breaking development of systems research, which has brought forward revolutionary applications of systems research in various areas of the traditional disciplines, the first dimension of science. After the systemic structure (...) of thought is factually revealed, mathematics, as a product of thought, is analyzed by using the age-old concepts of actual and potential infinities. In an attempt to rebuild the system of mathematics, this volume first provides a new look at some of the most important paradoxes, which have played a crucial role in the development of mathematics, in proving what these paradoxes really entail. Attention is then turned to constructing the logical foundation of two different systems of mathematics, one assuming that actual infinity is different than potential infinity, and the other that these infinities are the same. This volume will be of interest to academic researchers, students and professionals in the areas of systems science, mathematics, philosophy of mathematics, and philosophy of science. (shrink)

This book expands the landscape of research in mathematics education by analyzing how the body influences mathematical thinking.

How can we deal with the diversity of theories in mathematics education? This was the main question that led the authors of this book to found the Networking Theories Group. Starting from the shared assumption that the existence of different theories is a resource for mathematics education research, the authors have explored the possibilities of interactions between theories, such as contrasting, coordinating, and locally integrating them. The book explains and illustrates what it means to network theories; it presents networking as (...) a challenging but fruitful research practice and shows how the Group dealt with this challenge considering five theoretical approaches, namely the approach of Action, Production, and Communication (APC), the Theory of Didactical Situations (TDS), the Anthropological Theory of the Didactic (ATD), the approach of Abstraction in Context (AiC), and the Theory of Interest-Dense Situations (IDS). A synthetic presentation of each theory and their connections shows how the activity of networking generates questions at the theoretical, methodological and practical levels and how the work on these questions leads to both theoretical and practical progress. The core of the book consists of four new networking case studies which illustrate what exactly can be gained by this approach and what kind of difficulties might arise. (shrink)

How can we deal with the diversity of theories in mathematics education? This was the main question that led the authors of this book to found the Networking Theories Group. Starting from the shared assumption that the existence of different theories is a resource for mathematics education research, the authors have explored the possibilities of interactions between theories, such as contrasting, coordinating, and locally integrating them. The book explains and illustrates what it means to network theories; it presents networking as (...) a challenging but fruitful research practice and shows how the Group dealt with this challenge considering five theoretical approaches, namely the approach of Action, Production, and Communication (APC), the Theory of Didactical Situations (TDS), the Anthropological Theory of the Didactic (ATD), the approach of Abstraction in Context (AiC), and the Theory of Interest-Dense Situations (IDS). A synthetic presentation of each theory and their connections shows how the activity of networking generates questions at the theoretical, methodological and practical levels and how the work on these questions leads to both theoretical and practical progress. The core of the book consists of four new networking case studies which illustrate what exactly can be gained by this approach and what kind of difficulties might arise. (shrink)

Based on extensive research conducted by the authors, Reasoning and Sense Making in the Mathematics Classroom, Pre-K-Grade 2, is designed to help classroom teachers understand, monitor, and guide the development of students' reasoning and sense making about core ideas in elementary school mathematics. It describes and illustrates the nature of these skills using classroom vignettes and actual student work in conjunction with instructional tasks and learning progressions to show how reasoning and sense making develop and how instruction can support students (...) in that development. Students who can make sense of mathematical ideas can apply those ideas in problem solving, even in unfamiliar situations, and can use them as a foundation for future learning. Without them, students are reduced to rote learning, often experiencing frustration and failure. But what do reasoning and sense making during learning and teaching look like? Each chapter of Reasoning and Sense Making in the Mathematics Classroom, Pre-K-Grade 2 explores a different topic that young children encounter in mathematics, demonstrating with actual student work and classroom dialogue how their mathematical knowledge and reasoning ability move through "levels of sophistication" or learning progressions: After opening with a discussion of the nature of reasoning and sense making and their critical importance in developing mathematical thinking, chapter 1 examines how young students attempt to make sense of the concepts of place value and length measurement. Chapter 2 focuses on how early childhood instruction can engage students in mathematical reasoning while helping them construct a rich sense of number and operations. Chapter 3 identifies core algebraic ideas and shows how students can engage with these ideas in ways that not only deepen their understanding of arithmetic but also lays the foundation for the future study of algebra. Children's reasoning and sense making as they decompose and compose geometric shapes--including reasoning about area--is examined in chapter 4. The use of learning progressions to understand students' reasoning and to guide their sense making with appropriate teaching is also discussed. Not just a theoretical discussion, the book also provides specific suggestions for related instructional activities for each topic. Supplementary online resources can be accessed at NCTM's More4U website. Reasoning and Sense Making in the Mathematics Classroom, Pre-K-Grade 2 will be a valuable and practical addition to your professional library. (shrink)

Despite the importance of mathematics in our educational systems little is known about how abstract mathematical thinking emerges. Under the uniting thread of mathematical development, we hope to connect researchers from various backgrounds to provide an integrated view of abstract mathematical cognition. Much progress has been made in the last 20 years on how numeracy is acquired. Experimental psychology has brought to light the fact that numerical cognition stems from spatial cognition. The findings from neuroimaging and single cell recording experiments (...) converge to show that numerical representations take place in the intraparietal sulcus. Further research has demonstrated that supplementary neural networks might be recruited to carry out subtasks; for example, the retrieval of arithmetic facts is done by the angular gyrus. Now that the neural networks in charge of basic mathematical cognition are identified, we can move onto the stage where we seek to understand how these basics skills are used to support the acquisition and use of abstract mathematical concepts. (shrink)

When it’s time for a game change, you need a guide to the new rules. Helping Students Make Sense of the World Using Next Generation Science and Engineering Practices provides a play-by-play understanding of the practices strand of A Framework for K–12 Science Education (Framework) and the Next Generation Science Standards (NGSS). Written in clear, nontechnical language, this book provides a wealth of real-world examples to show you what’s different about practice-centered teaching and learning at all grade levels. The book (...) addresses three important questions: 1. How will engaging students in science and engineering practices help improve science education? 2. What do the eight practices look like in the classroom? 3. How can educators engage students in practices to bring the NGSS to life? Helping Students Make Sense of the World Using Next Generation Science and Engineering Practices was developed for K–12 science teachers, curriculum developers, teacher educators, and administrators. Many of its authors contributed to the Framework’s initial vision and tested their ideas in actual science classrooms. If you want a fresh game plan to help students work together to generate and revise knowledge—not just receive and repeat information—this book is for you. (shrink)

"This book is interesting and well-written. The research methods were explained clearly and conclusions were summarized nicely. It is a relatively quick read at only 130 pages. Anyone who has been told, or who has told others, that mathematicians make better thinkers should read this book." MAA Reviews "The authors particularly attend to protecting positive correlations against the self-selection interpretation, merely that logical minds elect studying more mathematics. Here, one finds a stimulating survey of the systemic difficulties people have with (...) basic syllogisms and deductions." CHOICE connect "The authors particularly attend to protecting positive correlations against the self-selection interpretation, merely that logical minds elect studying more mathematics. Here, one finds a stimulating survey of the systemic difficulties people have with basic syllogisms and deductions." CHOICE Connect For centuries, educational policymakers have believed that studying mathematics is important, in part because it develops general thinking skills that are useful throughout life. This 'Theory of Formal Discipline' (TFD) has been used as a justification for mathematics education globally. Despite this, few empirical studies have directly investigated the issue, and those which have showed mixed results. Does Mathematical Study Develop Logical Thinking? describes a rigorous investigation of the TFD. It reviews the theory's history and prior research on the topic, followed by reports on a series of recent empirical studies. It argues that, contrary to the position held by sceptics, advanced mathematical study does develop certain general thinking skills, however these are much more restricted than those typically claimed by TFD proponents. Perfect for students, researchers and policymakers in education, further education and mathematics, this book provides much needed insight into the theory and practice of the foundations of modern educational policy. (shrink)

If mathematics is the purest form of knowledge, the perfect foundation of all the hard sciences, and a uniquely precise discipline, then how can the human brain, an imperfect and imprecise organ, process mathematical ideas? Is mathematics made up of eternal, universal truths? Or, as some have claimed, could mathematics simply be a human invention, a kind of tool or metaphor? These questions are among the greatest enigmas of science and epistemology, discussed at length by mathematicians, physicians, and philosophers. But, (...) curiously enough, neuroscientists have been absent in the debate, even though it is precisely the field of neuroscience—which studies the brain’s mechanisms for thinking and reasoning—that ought to be at the very center of these discussions. How our Emotions and Bodies are Vital for Abstract Thought explores the unique mechanisms of cooperation between the body, emotions, and the cortex, based on fundamental physical principles. It is these mechanisms that help us to overcome the limitations of our physiology and allow our imperfect, human brains to make transcendent mathematical discoveries. This book is written for anyone who is interested in the nature of abstract thought, including mathematicians, physicists, computer scientists, psychologists, and psychiatrists. (shrink)

What is argumentation? -- Building a classroom culture of argumentation -- Structuring classroom discussions to focus on argumentation -- Infusing all instruction with argumentation -- Argumentation for all students -- Argumentation and the mathematical practices -- Technology in teaching and learning argumentation -- Assessing argumentation and proof -- Conclusion.

Every branch of mathematics has its subject matter, and one of the distinguishing features of logic is that so many of its fundamental objects of study are rooted in language. The subject deals with terms, expressions, formulas, theorems, and proofs. When we speak about these notions informally, we are talking about things that can be written down and communicated with symbols. One of the goals of mathematical logic is to introduce formal definitions that capture our intuitions about such objects and (...) enable us to reason about them precisely. At the most basic level, syntactic objects can be viewed as strings of symbols. For concreteness, we can identify symbols with particular set-theoretic objects, but for most purposes, it doesn't matter what they are; all that is needed is that they are distinct from one another. (shrink)

The first history of postwar mathematics, offering a new interpretation of the rise of abstraction and axiomatics in the twentieth century. Why did abstraction dominate American art, social science, and natural science in the mid-twentieth century? Why, despite opposition, did abstraction and theoretical knowledge flourish across a diverse set of intellectual pursuits during the Cold War? In recovering the centrality of abstraction across a range of modernist projects in the United States, Alma Steingart brings mathematics back into the conversation about (...) midcentury American intellectual thought. The expansion of mathematics in the aftermath of World War II, she demonstrates, was characterized by two opposing tendencies: research in pure mathematics became increasingly abstract and rarified, while research in applied mathematics and mathematical applications grew in prominence as new fields like operations research and game theory brought mathematical knowledge to bear on more domains of knowledge. Both were predicated on the same abstractionist conception of mathematics and were rooted in the same approach: modern axiomatics. For American mathematicians, the humanities and the sciences did not compete with one another, but instead were two complementary sides of the same epistemological commitment. Steingart further reveals how this mathematical epistemology influenced the sciences and humanities, particularly the postwar social sciences. As mathematics changed, so did the meaning of mathematization. Axiomatics focuses on American mathematicians during a transformative time, following a series of controversies among mathematicians about the nature of mathematics as a field of study and as a body of knowledge. The ensuing debates offer a window onto the postwar development of mathematics band Cold War epistemology writ large. As Steingart's history ably demonstrates, mathematics is the social activity in which styles of truth-here, abstraction-become synonymous with ways of knowing. (shrink)

From the Publisher: -/- This book presents a new powerful supercomputing paradigm introduced by Yaroslav D. Sergeyev -/- It gives a friendly introduction to the paradigm and proposes a broad panorama of a successful usage of numerical infinities -/- The volume covers software implementations of the Infinity Computer -/- Abstract -/- This book provides a friendly introduction to the paradigm and proposes a broad panorama of killing applications of the Infinity Computer in optimization: radically new numerical algorithms, great theoretical insights, (...) efficient software implementations, and interesting practical case studies. This is the first book presenting to the readers interested in optimization the advantages of a recently introduced supercomputing paradigm that allows to numerically work with different infinities and infinitesimals on the Infinity Computer patented in several countries. One of the editors of the book is the creator of the Infinity Computer, and another editor was the first who has started to use it in optimization. Their results were awarded by numerous scientific prizes. This engaging book opens new horizons for researchers, engineers, professors, and students with interests in supercomputing paradigms, optimization, decision making, game theory, and foundations of mathematics and computer science. -/- “Mathematicians have never been comfortable handling infinities… But an entirely new type of mathematics looks set to by-pass the problem… Today, Yaroslav Sergeyev, a mathematician at the University of Calabria in Italy solves this problem… ” -/- MIT Technology Review -/- “These ideas and future hardware prototypes may be productive in all fields of science where infinite and infinitesimal numbers (derivatives, integrals, series, fractals) are used.” A. Adamatzky, Editor-in-Chief of the International Journal of Unconventional Computing. -/- “I am sure that the new approach … will have a very deep impact both on Mathematics and Computer Science.” D. Trigiante, Computational Management Science. -/- “Within the grossone framework, it becomes feasible to deal computationally with infinite quantities, in a way that is both new (in the sense that previously intractable problems become amenable to computation) and natural”. R. Gangle, G. Caterina, F. Tohmé, Soft Computing. -/- “The computational features offered by the Infinity Computer allow us to dynamically change the accuracy of representation and floating-point operations during the flow of a computation. When suitably implemented, this possibility turns out to be particularly advantageous when solving ill-conditioned problems. In fact, compared with a standard multi-precision arithmetic, here the accuracy is improved only when needed, thus not affecting that much the overall computational effort.” P. Amodio, L. Brugnano, F. Iavernaro & F. Mazzia, Soft Computing. (shrink)

How is knowledge of geometry developed and acquired? This central question in the philosophy of mathematics has received very different answers. Spelke and colleagues argue for a “core cognitivist”, nativist, view according to which geometric cognition is in an important way shaped by genetically determined abilities for shape recognition and orientation. Against the nativist position, Ferreirós and García-Pérez have argued for a “culturalist” account that takes geometric cognition to be fundamentally a culturally developed phenomenon. In this paper, I argue that (...) when understood as moderate versions supported by the state-of-the-art research, the nativist and culturalist views are in fact possible to reconcile. While Ferreirós and García-Pérez present the work of Spelke and colleagues as implying that geometric cognition is genetically determined, I argue that they fail to appreciate the role that Spelke and colleagues see for cultural factors. On this basis, I provide theoretical and terminological clarifications and show that moderate versions of the nativist and culturalist view are in fact consistent with each other. I then propose a unifying theoretical framework for future study that can integrate the two accounts in ontogeny by moving beyond the crude nature (nativism) vs. nurture (culturalism) dichotomy. (shrink)

We want to highlight the strong link between learning systems such as deep learning neural networks and neutrosophy. The latter is above all a representation considering a neutral state which is at the heart of many phenomena of reality as well as mathematical and information theories. Here, we start from the recent understanding of neural networks, which considers their internal functioning and the learning that characterizes them as based on adapted representations (both of the information to be processed and of (...) the task to be performed) that are in fact optimal compressions. Compression means discriminating the similar and the different between cases by identifying representative characteristics through focusing on the most significant and rejecting of the rest. These three operations of neural processing, learning and compression owe their existence to non-linear treatments which essentially amount to distinguishing a neutral zone between two filtered zones, corresponding to the neutrosophical approach. (shrink)

Kant's Mathematical World aims to transform our understanding of Kant's philosophy of mathematics and his account of the mathematical character of the world. Daniel Sutherland reconstructs Kant's project of explaining both mathematical cognition and our cognition of the world in terms of our most basic cognitive capacities. He situates Kant in a long mathematical tradition with roots in Euclid's Elements, and thereby recovers the very different way of thinking about mathematics which existed prior to its 'arithmetization' in the nineteenth century. (...) He shows that Kant thought of mathematics as a science of magnitudes and their measurement, and all objects of experience as extensive magnitudes whose real properties have intensive magnitudes, thus tying mathematics directly to the world. His book will appeal to anyone interested in Kant's critical philosophy -- either his account of the world of experience, or his philosophy of mathematics, or how the two inform each other. (shrink)

Using Hiromi’s ‘Voice’ to understand ‘physics.’ (The underlying relationship between mind and music.) (The relationship between mind and mathematics.) The relationship between the arithmetic numbers 'two' and 'three.' The relationship between light (an infinite line) and sound (an infinite circle) (where it is impossible to have one without the other).

In his Contra Academicos, Augustine offers one of the most detailed responses to scepticism to have come down to us from antiquity. In this paper, I examine Augustine’s defence of the existence of infallible knowledge in Contra Academicos 3. I challenge a number of established views (including those of Myles Burnyeat, Gareth Matthews, and Christopher Kirwan) concerning the nature and merit of Augustine’s defence of knowledge and propose a new understanding of Augustine’s response to scepticism (including his semantic response to (...) external world scepticism) and several important elements of Augustine’s thought concerning signification, cognition, and object-directed thought. I argue that once we properly understand Augustine’s views about these issues, his arguments in defence of knowledge are more interesting and more successful than usually thought. (shrink)