Text this: Wittgenstein, finitism, and the foundations of mathematics