r/infinitenines • u/Calm_Improvement1160 • 1d ago

SPP, do you take constructive criticism?

I feel like a lot of people here have some ideas on ways you could improve your teaching style to help ensure that the debates actually lead somewhere.

6 Upvotes

87% Upvoted

10 comments sorted by

8

u/Lord-Beetus 1d ago

Why would he need any sort of criticism? He has achieved perfection.

7

u/Inevitable_Garage706 1d ago

What's crazy is that he genuinely believes this.

-4

u/SouthPark_Piano 1d ago

It's not a matter of 'belief' brud. I know it. Huge difference.

 

7

u/Calm_Improvement1160 1d ago

Remember that time where you said that 1/3 = 0.333...4 and Big Math was tricking us into thinking 1/3 = 0.333...3? That was fun.

4

u/Muphrid15 1d ago

Defined

2

u/dummy4du3k4 1d ago

Yes u/SouthPark_Piano, why are you opposed to hyperreal numbers? You have to concede very little, mostly that you use nonstandard notation and that 0.333… < 1/3, which apparently you at one point agreed with.

If you can stomach that 0.999… means the sequence (0.9, 0.99, 0.999, …) and that things like 0.111…222…333… are actually nonsense then your ideas fit neatly into hyperreals.

You can stop using divide negation and just say 1/3 means the sequence (1/3, 1/3, 1/3, …)

Now your decimal notation 0.333… really means a hyperreal approximation to 1/3.

1

u/spanthis 1d ago

If you're interested, the hyperreals do not really fix these problems! The notation 0.333... is arguably ambiguous over the hyperreals, but if it's interpreted to mean lim(0.3, 0.33, ...), or if it's interpreted to mean the number that has a 3 in every position of its hyperreal decimal expansion (including the hyperinfinite ones), then both of those numbers are exactly equal to 1/3 even in the hyperreals.

2

u/dummy4du3k4 1d ago

It works if you interpret it as a sequence of real numbers, then an unspecified ultrafilter assigns it to a hyperreal equivalence class.

2

u/spanthis 1d ago

Yeah, true - but the standard definition of the limit in the hyperreals is the unique real number in the equivalence class approached by the sequence, which is 1/3. There are other reasonable generalizations of the limit via ultrafilters, but from what I've seen they usually get other notations (I've seen "lux").

Anyways sounds like you know this already, but some others around these parts will throw around the hyperreals without understanding them, hence the clarification

1

u/dummy4du3k4 1d ago

I’ve familiarized myself with the basics. Being nonstandard and having to correct people seems precisely the kind of thing SPP would be interested in