Все эти великие достижения – примеры того, чем занимается математик. Математик – не профессиональный вычислитель, а разработчик доказательств.