Search arXivSearch

arXiv · 2602.16026

Bad Foundations and Manipulable Objects

Abstract

Imagine a student -- let's call him `E', and make him a "he" -- that is enrolled in Calculus 2, and who believes that to pass in maths courses he only needs to memorize methods and apply them quickly and without errors. Let's imagine that `E' is an `E'xtreme case of "bad foundations" and that he knows how to solve $x+2=5$ by doing $x=5-2=3$, but he doesn't know how to substitute the $x$ in $x+2=5$ by 3, and the only way that he knows of "testing the solution" is to apply the same method again and check that he got the same result. When we are teaching Calculus to classes that have many students that are extreme cases of bad foundations we need new strategies and tools; for example, we can't pretend that "taking a particular case" is an obvious operation anymore -- instead we need ways to make these operations easy to visualize. This article shows a way to do that using Maxima.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Eduardo Ochs. 2026-07-28. Bad Foundations and Manipulable Objects. https://arxiv.org/abs/2602.16026

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Come for the vibe, stay for the math

This article describes our experiences in mathematical outreach over the past decade. We talk about specific activities, but also general principles that we've learned along the way.

math.HO

From foundations to applications: reverse mathematics and philosophy

Reverse mathematics is a branch of mathematical logic dedicated to determining the minimal set existence principles necessary and sufficient to derive ordinary mathematical theorems about concrete structures like the real line. Since the mid-1970s, reverse mathematics has developed a systematic classification of the strength of theorems in areas of mathematics ranging from real and complex analysis to infinitary combinatorics. This essay will place reverse mathematics in its historical and philosophical context, and reveal its relevance to central issues in the philosophy of mathematics, from the foundational programmes of Hilbert and Brouwer to contemporary debates about realism, determinacy, and applicability of mathematics. In doing so, it will discuss the role of computability theory in measuring the strength of set existence principles, as well as related questions about idealisation when these principles are applied in the physical sciences and in philosophy.

math.HO