No no no
Snack the keeps, booze the purge
That’s what they meant
No no no
Snack the keeps, booze the purge
That’s what they meant
True, You can only induce natural numbers from this.
However, you could extend it to the positive reals by saying [0,1) is a small number. And building induction on all of those.
You could cover negative and even complex numbers if “small” is a reference to magnitude of a vector, but that is a slippery slope…
In a very not rigorous way, you can cover combinations of ordinal numbers and even non-numbers if you treat them as orthogonal “unit vectors” and the composite “number” as a vector in an infinite vector space which again allows you to specify smallness as a reference to magnitude like we did for the complex numbers.
If you multiply two not really numbers, just count the product as a new dimension for the vector. Same with exponentiation. Same with non math shit like a cow or the color orange. Count all unique things as a unique dimension to a vector then by our little vector magnitude hack, everything is a small number, even things that aren’t numbers. QED.
This proof is a joke, broken in many ways, but the most interesting is the question of if you can actually have a vector with an uncountably infinite (or higher ordinals) of dimensions and what the hell that even means.
I originally used linux because I could only get my hands on ancient or broken tech.
Then I switched to Windows again because I was able to buy a modern laptop and started university which more or less required Microsoft services.
Two years ago I started using Linux on my dual booted machines more frequently. Last year I realized I mostly didn’t need Windows so I decided to find a daily driver distro.
I forgot how easy it is to get caught up in distro hopping lol. I started with Debian because I remembered apps with Linux support typically only provide .deb packages.
Then the new KDE came out and I couldn’t wait to use it so I moved to fedora. Then, in looking into visual aesthetics, I decided I wanted to give hyprland a try and honestly just try Arch and make everything my own.
That was a mistake. Too many options to the point I was only using my computer for messing with the visuals.
I moved to fedora because it would just work, used it for a semester, and then moved back to arch (w/ xfce) and have been using it ever since.
I’d say around the switch from Arch to Fedora was when I became a Linux nerd because I realized that there isn’t really a best distro for every circumstance. My nerdiness has reached enlightenment lol