He clarifies that infinite sequences are valid, but all infinites are countable. It's an appealing view. Rather than the reals being uncountably infinite, they'

He clarifies that infinite sequences are valid, but all infinites are countable. It's an appealing view. Rather than the reals being uncountably infinite, they're countably infinite. Irrational numbers are uncomputable, but all rational numbers can be described, and therefore counted.