John Barrow, il matematico dell'infinito