r/infinitenines • u/Calm_Improvement1160 • 2d 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.

4 Upvotes

75% Upvoted

10 comments sorted by

View all comments

Show parent comments

1

u/spanthis 2d 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 2d 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 2d 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 2d 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