That's definitely more outrageous than saying that frontend is trivial. Whatever, I never took him seriously anyway.
https://en.wikipedia.org/wiki/Hilbert%27s_paradox_of_the_Gra...
Maybe something that pretends to be the real numbers, like a matrioshka doll of infinite containers inside containers.
I think we could only do this with an even more absurd scenario like if each room was filled with pregnant women who are giving birth, and the children rapidly age, and also give birth at an infinite rate? That would create an infinite nesting doll like situation for each guest
Related: the Schröder–Bernstein theorem [4], "if there exist injective functions f : A → B and g : B → A between the sets A and B, then there exists a bijective function h : A → B.".
Not related, but great: Max Cooper (sound) and Martin Krzywinski (visuals) did a splendid job visualising "ℵ_2" [5].
[1] https://en.wikipedia.org/wiki/Cardinality_of_the_continuum
[2] https://en.wiktionary.org/wiki/%E2%84%B6
[3] "Cardinalities and Bijections - Showing the Natural Numbers and the Integers are the same size", https://www.youtube.com/watch?v=kuJwmvW96Zs
[4] https://en.wikipedia.org/wiki/Schr%C3%B6der%E2%80%93Bernstei...
[5] "Max Cooper - Aleph 2 (Official Video by Martin Krzywinski)", https://www.youtube.com/watch?v=tNYfqklRehM
It turns out the 'continuum hypothesis' can be true or it can be false. Neither contradicts standard ZFC set theory: the hypothesis is 'independent'.
[1] Using the concept of polycomputing from There’s Plenty of Room Right Here: Biological Systems as Evolved, Overloaded, Multi-Scale Machines: "Form and function are tightly entwined in nature, and in some cases, in robotics as well. Thus, efforts to re-shape living systems for biomedical or bioengineering purposes require prediction and control of their function at multiple scales. This is challenging for many reasons, one of which is that living systems perform multiple functions in the same place at the same time. We refer to this as 'polycomputing'—the ability of the same substrate to simultaneously compute different things, and make those computational results available to different observers.", https://www.mdpi.com/2313-7673/8/1/110
As for the set of real numbers, we have the subset of irrational numbers which are uncountably infinite (see cantors diagonalization argument) thus making the whole set of real numbers, a set whose cardinality is ℵ_1.
The annotated turing book goes into this pretty well in the first couple pages.
That's not a sum in the traditional sense so don't think about it this way.
Infinities are used quite often in mathematics for rather mundane things. Calculus doesn't work without it. It is also quite important to the foundation of many other areas but this is often hidden unless you get into advanced works (in this sentence we're not considering a typical undergraduate Multivariate Calculus, PDEs, or Linear Algebra as "advanced")
On the relative fringes, there are serious studies on alternative interpretations. See for example
https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_...
(You can skip to the part that discusses Cantor's arguments, but I suspect that if you haven't heard about related concepts you probably want to understand what it is first.)
The "cardinality" section of that Wikipedia page describes my objection well. I don't doubt the real numbers are not recursively enumerable, but that doesn't mean they have a larger cardinality than the integers.
If you're trolling to troll, then expect the hate because you're being annoying.
If you think you're right and all the mathematicians are wrong, pony up. Hell, you'll have a lot more lulz when you win a fields metal.
If you don't pony up I don't know why you would be surprised people assume you're arrogant. You can doubt the status quo without being arrogant. We both know that you're not going to take someone's word just because they said so, so why expect others?
Math is all about definitions and what follows from these definitions. So, you can define "integer", "real number", "cardinality", "equals" and so on however you like, and make all sorts of correct statements — as everyone will see by following your arguments all way from the definition/axiom and until the very end of your proof. But if you don't provide any definitions of your own, then you rely on some other definitions, and everyone has no other choice than assume that these are the very much "mainstream" ones, as you are referring to them as if they are well-known.
Now, it is unquestionably true (and easily provable) that the set of all computable numbers is countable, and anyone who says otherwise is wrong. But unless you specifically define real numbers as a subset of computable numbers, as constructivists are inclined to do, your listeners won't assume that, since this is not how real numbers are generally defined, and by virtue of not providing your own definition you are implicitly referring to a "general definition". (And, honestly, you shouldn't even call any subset of computable numbers "a set of Real numbers": this name is already taken.)
These general definitions and assumptions lead to all sorts of complications, and I personally have my doubts that real numbers exist in any meaningful sense (although I'm not committed to that statement, since there are several mathematical constructs that I would like to dismiss as "clearly nonsense", except they allow us to prove some very "no-nonsense" stuff — I don't know how to deal with that, and I never heard that anybody does). But I definitely cannot say that cardinality of integers is the same as the cardinality of reals, because this is simply not true under the common definitions (which is easily provable). (And less importantly, but worth saying that the contrary is not proven by constructivist methods — as half of the actually useful math in general ends up being, unfortunately).
So, as a somebody, who doesn't quite believe in non-computable numbers, I am very sympathetic to anybody who says that Real numbers do not exist. I don't understand how could they, what does it mean for an object that we cannot define to exist. Yet, I can accept (as a game) some well-known theory which talks about these non-quite-existant "Real numbers", and prove some statements about them, and one of these easily provable statements is that cardinality of continuum does not equal the cardinality of Natural numbers.
I think we're in agreement here in principle. (Since we're on the topic, I'd like to add that naming this suspicious set "real" numbers is a tad bit ironic)
That said, I don't like the idea of having a group of people "owning" words as if they had a monopoly over them. The statement "the cardinality of integers is the same as real numbers" can be understood to mean "real numbers should actually be computable numbers".
I didn't bother to look up what Hotz wrote on twitter that triggered this discussion, I was just providing context that the issue of cardinality isn't as settled as some might think. It's probably not fruitful to argue whether a statement from hearsay uses words accurately or not though.