Open Access. Powered by Scholars. Published by Universities.®

Logic and Foundations of Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 14 of 14

Full-Text Articles in Logic and Foundations of Mathematics

Tarski And Bachmann In Regina: A Magical Connection, James T. Smith Aug 2023

Tarski And Bachmann In Regina: A Magical Connection, James T. Smith

Journal of Humanistic Mathematics

This is a personal account of an intersection of the schools of research in foundations of geometry founded by Alfred Tarski and Friedrich Bachmann. Their academic lineages and the origins of the schools are also described, as well as the mathematics that resulted from this intersection.


Foundational Mathematical Beliefs And Ethics In Mathematical Practice And Education, Richard Spindler Jul 2022

Foundational Mathematical Beliefs And Ethics In Mathematical Practice And Education, Richard Spindler

Journal of Humanistic Mathematics

Foundational philosophical beliefs about mathematics in the mathematical community may have an unappreciated yet profound impact on ethics in mathematical practice and mathematics education, which also affects practice. A philosophical and historical basis of the dominant platonic and formalist views of mathematics are described and evaluated, after which an alternative evidence-based foundation for mathematical thought is outlined. The dualistic nature of the platonic view based on intuition is then compared to parallel historical developments of universalizing ethics in Western thought. These background ideas set the stage for a discussion of the impact of traditional mathematical beliefs on ethics in the …


Ethics And Mathematics – Some Observations Fifty Years Later, Gregor Nickel Jul 2022

Ethics And Mathematics – Some Observations Fifty Years Later, Gregor Nickel

Journal of Humanistic Mathematics

Almost exactly fifty years ago, Friedrich Kambartel, in his classic essay “Ethics and Mathematics,” did pioneering work in an intellectual environment that almost self-evidently assumed a strict separation of the two fields. In our first section we summarize and discuss that classical paper. The following two sections are devoted to complement and contrast Kambartel’s picture. In particular, the second section is devoted to ethical aspects of the indirect and direct mathematization of modern societies. The final section gives a short categorization of various philosophical positions with respect to the rationality of ethics and the mutual relation between ethics and mathematics.


Recognizing Mathematics Students As Creative: Mathematical Creativity As Community-Based And Possibility-Expanding, Meghan Riling Jul 2020

Recognizing Mathematics Students As Creative: Mathematical Creativity As Community-Based And Possibility-Expanding, Meghan Riling

Journal of Humanistic Mathematics

Although much creativity research has suggested that creativity is influenced by cultural and social factors, these have been minimally explored in the context of mathematics and mathematics learning. This problematically limits who is seen as mathematically creative and who can enter the discipline of mathematics. This paper proposes a framework of creativity that is based in what it means to know or do mathematics and accepts that creativity is something that can be nurtured in all students. Prominent mathematical epistemologies held since the beginning of the twentieth century in the Western mathematics tradition have different implications for promoting creativity in …


Are Logic And Math Relevant To Social Debates?, Michael A. Lewis Jan 2020

Are Logic And Math Relevant To Social Debates?, Michael A. Lewis

Journal of Humanistic Mathematics

Social debates, as well as discussions about certain highly charged issues, such as racism, gender identity, and sexuality, usually turn on the uses or mentions of key words. That is, the conclusions we can draw from such discussions depend on how certain terms are used or mentioned in them. Yet participants in social debates may often fail to precisely define their terms or fail to make important distinctions in terms uttered by others. Both logic and mathematics pay attention to the importance of precise definitions when it comes to engaging in discussions, arguments, or proofs. Logic also makes an important …


Engaging The Paradoxical: Zeno's Paradoxes In Three Works Of Interactive Fiction, Michael Z. Spivey Jan 2020

Engaging The Paradoxical: Zeno's Paradoxes In Three Works Of Interactive Fiction, Michael Z. Spivey

Journal of Humanistic Mathematics

For over two millennia thinkers have wrestled with Zeno's paradoxes on space, time, motion, and the nature of infinity. In this article we compare and contrast representations of Zeno's paradoxes in three works of interactive fiction, Beyond Zork, The Chinese Room, and A Beauty Cold and Austere. Each of these works incorporates one of Zeno's paradoxes as part of a puzzle that the player must solve in order to advance and ultimately complete the story. As such, the reader must engage more deeply with the paradoxes than he or she would in a static work of fiction. …


Maths Living In Social Arenas, From Practice To Foundations, Nigel Vinckier Jul 2019

Maths Living In Social Arenas, From Practice To Foundations, Nigel Vinckier

Journal of Humanistic Mathematics

Maths comes to life in human interaction. This has consequences for the mathematics itself. This paper discusses how this ``coming to life'' of mathematics in different social arenas influences the foundations of maths. We will argue that this influence is profound, to the extent that it is hard to upkeep the idea that there is or should be one foundation on which all mathematics can be built.


Symmetry And Measuring: Ways To Teach The Foundations Of Mathematics Inspired By Yupiaq Elders, Jerry Lipka, Barbara Adams, Monica Wong, David Koester, Karen Francois Jan 2019

Symmetry And Measuring: Ways To Teach The Foundations Of Mathematics Inspired By Yupiaq Elders, Jerry Lipka, Barbara Adams, Monica Wong, David Koester, Karen Francois

Journal of Humanistic Mathematics

Evident in human prehistory and across immense cultural variation in human activities, symmetry has been perceived and utilized as an integrative and guiding principle. In our long-term collaborative work with Indigenous Knowledge holders, particularly Yupiaq Eskimos of Alaska and Carolinian Islanders in Micronesia, we were struck by the centrality of symmetry and measuring as a comparison-of-quantities, and the practical and conceptual role of qukaq [center] and ayagneq [a place to begin]. They applied fundamental mathematical principles associated with symmetry and measuring in their everyday activities and in making artifacts. Inspired by their example, this paper explores the question: Could symmetry …


From Solvability To Formal Decidability: Revisiting Hilbert’S “Non-Ignorabimus”, Andrea Reichenberger Jan 2019

From Solvability To Formal Decidability: Revisiting Hilbert’S “Non-Ignorabimus”, Andrea Reichenberger

Journal of Humanistic Mathematics

The topic of this article is Hilbert’s axiom of solvability, that is, his conviction of the solvability of every mathematical problem by means of a finite number of operations. The question of solvability is commonly identified with the decision problem. Given this identification, there is not the slightest doubt that Hilbert’s conviction was falsified by Gödel’s proof and by the negative results for the decision problem. On the other hand, Gödel’s theorems do offer a solution, albeit a negative one, in the form of an impossibility proof. In this sense, Hilbert’s optimism may still be justified. Here I argue that …


Wabi-Sabi Mathematics, Jean-Francois Maheux Jan 2016

Wabi-Sabi Mathematics, Jean-Francois Maheux

Journal of Humanistic Mathematics

Mathematics and aesthetics have a long history in common. In this relation however, the aesthetic dimension of mathematics largely refers to concepts such as purity, absoluteness, symmetry, and so on. In stark contrast to such a nexus of ideas, the Japanese aesthetic of wabi-sabi values imperfections, temporality, incompleteness, earthly crudeness, and even contradiction. In this paper, I discuss the possibilities of “wabi-sabi mathematics” by showing (1) how wabi-sabi mathematics is conceivable; (2) how wabi-sabi mathematics is observable; and (3) why we should bother about wabi-sabi mathematics


Explanatory Proofs And Beautiful Proofs, Marc Lange Jan 2016

Explanatory Proofs And Beautiful Proofs, Marc Lange

Journal of Humanistic Mathematics

This paper concerns the relation between a proof’s beauty and its explanatory power – that is, its capacity to go beyond proving a given theorem to explaining why that theorem holds. Explanatory power and beauty are among the many virtues that mathematicians value and seek in various proofs, and it is important to come to a better understanding of the relations among these virtues. Mathematical practice has long recognized that certain proofs but not others have explanatory power, and this paper offers an account of what makes a proof explanatory. This account is motivated by a wide range of examples …


Teaching The Complex Numbers: What History And Philosophy Of Mathematics Suggest, Emily R. Grosholz Jan 2013

Teaching The Complex Numbers: What History And Philosophy Of Mathematics Suggest, Emily R. Grosholz

Journal of Humanistic Mathematics

The narrative about the nineteenth century favored by many philosophers of mathematics strongly influenced by either logic or algebra, is that geometric intuition led real and complex analysis astray until Cauchy and Kronecker in one sense and Dedekind in another guided mathematicians out of the labyrinth through the arithmetization of analysis. Yet the use of geometry in most cases in nineteenth century mathematics was not misleading and was often key to important developments. Thus the geometrization of complex numbers was essential to their acceptance and to the development of complex analysis; geometry provided the canonical examples that led to the …


The Mathematical Cultures Network Project, Brendan P. Larvor Jul 2012

The Mathematical Cultures Network Project, Brendan P. Larvor

Journal of Humanistic Mathematics

The UK Arts and Humanities Research Council has agreed to fund a series of three meetings with associated publications on mathematical cultures. This note describes the project.


Prove It!, Kenny W. Moran Jan 2012

Prove It!, Kenny W. Moran

Journal of Humanistic Mathematics

A dialogue between a mathematics professor, Frank, and his daughter, Sarah, a mathematical savant with a powerful mathematical intuition. Sarah's intuition allows her to stumble into some famous theorems from number theory, but her lack of academic mathematical background makes it difficult for her to understand Frank's insistence on the value of proof and formality.