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.
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.
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.
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.