Реальная работа американских математиков, с момента, до примерно пятидесяти лет, когда компьютеры больше не нуждаются в нас, заключается в том, чтобы переходить от математической математики на человеку к математике, ориентированной на машин, математикой как можно более плавным и эффективным.