Text this: The computer modelling of mathematical reasonic