Text this: From Kant to Hilbert