Маленькая жизнь - стр. 91

– Джуд, – сказал Лоренс, чей голос был еще ниже, чем у Гарольда, – Гарольд говорит, ты учишься на магистра в Массачусетском технологическом. По какой специальности?

– Чистая математика, – ответил он.

– А чем она отличается от обычной? – со смехом спросила Джиллиан.

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

– Ты имеешь в виду что-то вроде воображаемых геометрий? – спросил Лоренс.

– И это тоже. Но не только. Часто речь идет о доказательстве невозможной, но последовательной внутренней логики самой математики. Внутри чистой математики есть разные специализации: геометрическая чистая математика, как вы сказали, но и алгебраическая, и алгоритмическая математика, и криптография, и теория информации, и чистая логика, которую я как раз изучаю.

– А это что? – спросил Лоренс.

Он задумался.

– Математическая логика, или чистая логика, – это, в сущности, диалог между истинным и ложным. Например, я могу сказать вам: «Все положительные числа являются действительными. Два – положительное число. Следовательно, два должно быть действительным числом». Но истинно ли это утверждение? Это математический вывод, предположение об истине. Я не доказал, что два – действительное число, но по логике вещей это должно быть так. Поэтому можно написать доказательство, чтобы доказать, что логика этих двух утверждений – истинная и приложимая к бесконечному набору случаев. – Он остановился. – Это понятно?

– Video, ergo est, – сказал Лоренс внезапно. – Я вижу это, следовательно, оно существует.

Он улыбнулся:

– Это как раз в точности прикладная математика. А вот чистая математика – он задумался на мгновение – это, скорее, imaginor, ergo est.

Лоренс улыбнулся ему в ответ, кивнул:

– Очень хорошо.

– А теперь у меня вопрос, – заявил Гарольд, который все это время сидел и слушал молча. – Как, скажи на милость, тебя занесло в юридическую школу?

Все засмеялись, он тоже. Ему часто задавали этот вопрос (доктор Ли, например, с возмущением; научный руководитель его магистерской диссертации доктор Кашен – с недоумением), и он всегда отвечал по-разному, в зависимости от того, кто спрашивал, потому что настоящий ответ – хотел научиться себя защищать, хотел быть уверенным, что больше никто никогда не сможет до него добраться – казался слишком эгоистичным, мелким, незначительным, чтобы произносить его вслух (и к тому же вызывал многочисленные новые вопросы). Кроме того, он знал уже достаточно, чтобы понимать: закон – очень хрупкая защита, и, чтобы по-настоящему почувствовать себя в безопасности, нужно становиться снайпером, который щурится в оптический прицел, или химиком в лаборатории, полной пипеток и ядов.