I give back what I recieve just as the law requires

Starter mathematicians might think everything is math.

Senior mathematicians lose their sleep whenever they think about what our math is missing and they don't know what it is yet

35

Do we have ways of computing orders of infinity higher than ℵ₀?

Crap. Markdown isn't markdowning. Fixed with unicode.

17

Symbolically, sure, but then you're not dealing with infinities you're just representing them.

It's a meme it's playing fast and loose with things but the general gist is that mathematics, to this day, doesn't really care about Gödel/Church/Turing, incompleteness, the halting problem, whatever angle you want to look at it from. Formalists lost the war and they simply went on doing maths as if nothing had happened, as if a system could be simultaneously complete and consistent. There's people out there preaching to the unenlightened masses but it's an uphill battle.

13
- Math went on because it doesn't matter. Nobody cares about incompleteness. If you can prove ZFC is inconsistent, do it and we'll all move to a new system and most of us wouldn't even notice (since nobody references the axioms outside of set theorists and logicians anyway). If you can prove it's incomplete, do it and nobody will care since the culprit will be an arcane theorem far outside the realm of non-logic fields of math.
  
  6
- Here is an alternative Piped link(s): https://piped.video/watch?v=21qPOReu4FI
  
  Piped is a privacy-respecting open-source alternative frontend to YouTube.
  
  I'm open-source, check me out at GitHub.
  
  2
- We have sorta the same problem with imaginary numbers, and I remember some programmable calculators can process complex numbers using symbolic representation (which happens to work similarly to Cartesian coordinates, so that's convenient)
  
  But from what I remember any infinity bigger than counting numbers (say the set of real numbers) cannot be differentiated from each other, so we don't have established rules.
  
  To be fair, I last tinkered with infinities in the aughts and then as a hobbyist. The Grand Hilbert Hotel can accomodate more compound infinities and still retain perfect utilization since the last time I visited.
  
  2

Your meme doesn't work in the age of floating point numbers.

Suggestion: "1.0/x for x>0→0.0 goes against infinity, so 1.0/0.0 is infinity."

11

[TREE(TREE)] ↑↑↑ (Busy Beaver)

5
- Any sufficiently large number is indistinguishable from infinity.
  
  Wait. Something's wrong...
  
  2
Floats are actually fairly limited in what they can do and you lose a lot of accuracy at some point

3

Why should numbers be countable?

3

So that they can be taxed, of course.

8
- Well... tax on infinity dollars is (crunches numbers) infinity dollars! Government deficit averted!
  
  2
Computable. There are countably many computable numbers since there are only countably many possible programs. Non-computable numbers can't be exactly referred to / described / constructed by a program, so if your point of view is that everything is a program, you would say they don't exist.

4
- homotopy type theory has a way to describe the reals in full generality via cauchy sequences, so if type checking ever gets proven to be decidable, this won't be true any longer. it's chapter 11 in the hott book.
  
  1
my point exactly

2
- The meme is about computability of numbers though, not countability of sets of them
  
  2

The universe is actually a computer program

The mind is actually a computer program

When someone has a hammer everything looks like a nail.

When someone is paid a lot of money because they have that hammer, the belief that everything is a nail seems backed by self-assigned genius and unique insight.

2