Re: How many different unit fractions are lessorequal than all unit fractions? (infinitary)

On 10/18/2024 4:50 PM, Ross Finlayson wrote:

On 10/18/2024 02:05 AM, FromTheRafters wrote:

[...]

>
I know that
Burns is a platonist at least one day each week,
so, hope and a bottle of ketchup isn't a hamburger,
yet at least there's hope.

Please recall that I am not a working mathematician.
I am a dabbler in mathematics.
If I recall correctly,
there is a quote approximately to the effect that
  Platonism is what a working mathematician contracts
  when they concentrate too deeply on doing mathematics
  to consider the nature of mathematics itself.
On their day off (Sunday) they find
some temporary relief from their Platonism,
relief which takes the appearance of formalism.
When I try to justify mathematics which
I have been taking for granted for decades
to fellow dabblers who have NOT
taken all that for granted,
my offered justification often
takes the appearance of formalism.
Perhaps you wonder why I don't just bring
my fellow dabblers on a quick trip
to Plato's Realm of Forms, and _show_ them.
I confess that I haven't learned how to do that.
Claims, though.
Painted with pixels or minerals on a cave wall.
And finite sequences of claims.
And demonstrably not.first.false claims.
And finite sequences of
  demonstrably not.first.false claims.
THESE I CAN show.
That is what makes me a formalist,
to that vague degree to which I am a formalist.
If, for some reason,
you would like me to be a Platonist,
even while I pay attention to the question,
teaching me to travel to Plato's Realm of Forms
would go a long way toward that.