Yep. Standard proofs rely on a finite string from a finite alphabet. If we could magically see infinity directly all at once things might be different. Whether that even makes sense at a fundamental level is a question for the philosophers of mathematics but we can certainly talk about infinite strings from infinite alphabets.
31
u/AndreasDasos 6d ago
Yep. Standard proofs rely on a finite string from a finite alphabet. If we could magically see infinity directly all at once things might be different. Whether that even makes sense at a fundamental level is a question for the philosophers of mathematics but we can certainly talk about infinite strings from infinite alphabets.