a mathematician from mit , headed up to umo for a two-day conference on semi-logical numbers , suddenly realized that he was on the verge of grasping an entirely new way of looking at mathematics and mathematical philosophy .