#mathsmonday — Public Fediverse posts on home.social

💡𝚂𝗆𝖺𝗋𝗍𝗆𝖺𝗇 𝙰𝗉𝗉𝗌📱 @[email protected] · 2026-04-27 · 05:56 UTC

1/6
#MathsMonday
This week #scaffolding, as used in #Mathematics (and other) #textbooks, as I'll be referring to this in two upcoming #Maths threads. The name is taken from the scaffolding used when buildings are being erected, and removed when construction is complete. In #Math textbooks (and worksheets) this takes the form of hints/tips at the start of a chapter/exercise, to help the student understand the process, and no longer appear once the student has thus learnt how to do it un-aided...

#mathsmonday #scaffolding #mathematics #textbooks #maths #math

Fish Face @[email protected] · 2026-04-20 · 18:45 UTC

Time for another round of examining the interesting beliefs of SmartmanApps and #debunking the #disinformation this #MathsMonday.

We saw last time that his view of mathematics is at odds with that of the mainstream: I enumerated the standard axioms of the real numbers and proved that there can be no number 0.999… that is simultaneously less than 1 and greater than 0.9, 0.99, and any such finite decimal truncation of 0.999….

His idea is that 1 is “the limit of” 0.999…, but not the exact value of it. But what exactly is a limit? Let’s have a look at what our Smart Friend calls a limit:

> The limit is the number which [the sequence] never reaches

(see https://dotnet.social/@SmartmanApps/116303201093245275 I am not quite certain he intends this language to apply to all sequences, but I have not seen other descriptions from him)

This is simply inadequate, and it’s worth seeing why such poor explanations are inadequate with some examples.

* The sequence (1, 1, 1, …) *never reaches* the number 2, so is 2 the limit? The same applies for every number greater than 1, so are all of them the limit? The wording “the number” implies that the limit should be unique.
* On the other hand, it *does* reach 1, which intuition says ought to be the limit of this sequence.
* The sequence (1, 2, 3, 4, …) will exceed every number eventually and so, I guess, “reaches” every number. Again the wording “the number” suggests that such a number always exists, but apparently does not.

It may be that the Genius has a more precise idea of limit lurking in his mind, but to tease it out we’d have to interrogate him about these (and probably other) examples, and most likely anyone who tried would get blocked before they could complete their investigation.

The usual definition can be seen clearly from the early 19th century, due to Bolzano, though its roots go back further. That definition is:

> For a sequence (a_0, a_1, a_2, …), and a real number A, if for every real number ε > 0, there is some natural number N such that for every n > N, |a_n - A| < ε, then we say that A is the limit of the sequence (a_0, a_1, a_2, …).

This is quite a mouthful, and first year mathematics undergraduates spend quite some time getting the hang of it. A characteristic of the definition is the alternating *quantifiers*, which are written out “for every” and “there is” here (but would normally be written with symbols). It took mathematicians some time to come up with this modern version of quantified mathematical language.

Nevertheless we can put it into simpler language, at the cost of a little precision: **the limit of a sequence is A if the sequence gets as close to A as we like and remains that close forever**. It’s important that we keep that “remains that close” in. It’s important that neither of these ways of describing the concept assume a limit exists, because not all sequences have a limit. It is quite easy to prove directly from the definition and the properties of the real numbers that:

* A constant sequence (a, a, a, …) has a as its limit
* If a sequence has a limit, the limit is unique
* The sequence (1, 2, 3, …) does not have a limit

The ordinary way of proving such basic facts is via our friends Completeness and the Archimedean property. Our pal has explicitly rejected these (by affirming the existence of infinitesimals) and so does not have them available for this purpose.

To see this practically, how should we prove that the limit of the sequence (0.9, 0.99, 0.999, …) is 1? The ordinary way would be to appeal to the definition:

1. Pick any positive distance ε. By the Archimedean property, ε > 1/N > 1/10^N for some N
2. If n > N then 1-0.99…99 (with n nines) is less than 1/10^N < ε, so 1 is the limit.

The astute reader will notice this argument is very similar to the one from last week. But if infinitesimals exist, we *cannot do this*: the first step is, in fact, false. If ε is infinitesimal, then there will not be any N such that ε > 1/N! That is in fact what it means to be infinitesimal!

Specifically, if ε = 1 - 0.999…, which the Smart Man says is greater than zero, this argument falls down; we cannot get the sequence (0.9, 0.99, 0.999, …) to be ε-close to 1 if ε is infinitesimal by looking to some point far enough into the sequence: for any n, the nth term 1/10^n away from 1, and 1/10^n is larger than ε.

From further reading of SmartmanApps’ posts, I suspect he might want to object that if we continue the sequence “to infinity” the difference becomes infinitesimal. I should be very clear here: sequences as here defined and as used by him cannot be continued “to infinity”. The defining rule for this sequence is that the nth term is 1 - 1/10^n, something which makes sense and is defined for *natural numbers* n, and because infinity is not a natural number and 10^∞ is not defined, we can’t just continue like that. The only way would be to make a *definition* of what 1 - 1/10^∞ means, i.e. to *choose* what happens at this continuation; there are no axioms governing rational numbers that force us to give a certain value to this expression.

Another potential objection is that I have used the “wrong” definition of a limit, but:

1. You can find this definition in every single textbook and set of lecture notes on real analysis
2. You can find this definition (written in an old fashioned way of "variables that take on successive values" rather than sequences) in the 120-year old algebra textbooks he loves to cite
3. We saw multiple problems with his broken pseudo-definition that make it useless

so it’s up to him to provide a correct one. One could try as a first attempt to replace “for every real number greater than zero” with “for every non-infinitesimal real number greater than zero”. But without Completeness, basic facts like the uniqueness of limits, on which many more important theorems rest, would still be false.

It’s fun to explore what happens to mathematics if throw out some of its founding principles, though it does make doing anything useful with it hard. Forget working out anything truly useful like calculus without Completeness, or something precise to replace it!

Next time I plan to look a bit more at infinitesimals and how you can treat them rigorously.

#maths #math #mathematics

#debunking #disinformation #mathsmonday #maths #math #mathematics

Fish Face @[email protected] · 2026-04-13 · 18:48 UTC

# Introduction

Right, it's time to start the big #debunk! This is a story of #mathematics, #education and one Smart Man. It is a debunking of the arrogant proclamations of SmartmanApps (a maths teacher who lacks both knowledge and pedagogical skill) as well as a lesson in the limitations of education, and hopefully along the way I’ll highlight some interesting areas of mathematics that are not illuminated by a high school #maths education, but which nevertheless are quite accessible. The intended level is that of a curious high-school student. I will attempt only to give the necessary details, so if you are left feeling like you need a reference, or more information, let me know and I’ll gladly point you in the right direction.

I acknowledge the audience for this will be small, but it nevertheless needs to be done. (It's certainly unlikely that the user in question will read it, as despite at first having an apparently limitless capacity to reply with new claims, and raining scorn on those who gave up replying or blocked him for their own sanity, he nowadays seems to block anyone who engages with him for more than a handful of posts - including me).

The first topic (in the thread below to avoid clogging your feed) will simply be the real numbers, and how the number 0.999… illuminates the mathematics of them.

Oh, and since it's fitting... #MathsMonday :)

#debunk #mathematics #education #maths #mathsmonday

💡𝚂𝗆𝖺𝗋𝗍𝗆𝖺𝗇 𝙰𝗉𝗉𝗌📱 @[email protected] · 2025-12-08 · 04:58 UTC

1/7
#Maths #Math
This #MathsMonday Why there isn't an #infinite amount of #numbers between 0 and 1 on the #numberline AKA The number-line isn't a TARDIS!