Text this: Infinity in Logic and Computation