Так что, в конце концов, это был не GDEL, это не было Тьюрингом, и не были мои результаты, которые заставляют математику идти в экспериментальную математическую направление в квазиэмпирическом направлении. Причина, по которой математики меняют свои рабочие привычки, - это компьютер. Я думаю, что это отличная шутка!