Читать «Богиня маленьких побед» онлайн - страница 13

Лиза закатила бы глаза. Я оставалась на позициях моей собственной логики. Чем грубее, тем лучше сработает. От тщеславия мужчины глохнут, но отнюдь не становятся болтливыми.

Этап первый: дать ему возможность объяснить, что такое жизнь.

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

– Формальная логика представляет собой абстрактную систему, не использующую традиционный язык, к которому, например, прибегаем мы, желая что-либо обсудить. Это универсальный метод, призванный манипулировать математическими понятиями. В итоге я, не зная китайского, могу понять логические выкладки, сделанные китайцем.

– А зачем это вам, не считая, конечно, стремления понимать китайцев?

– Как это «зачем»?

– Ну, какова конечная цель этой вашей логики?

– Доказывать! Мы изыскиваем штампы, позволяющие окончательно устанавливать математические истины.

– Что-то наподобие кулинарного рецепта?

В тот день мне удалось немного разгадать его тактику обольщения. Он был не так уж скромен. Просто я была образчиком, заслуживающим отдельного изучения, и он не знал, что со мной делать. Найти ко мне подход было намного труднее, чем к студенткам, потому как меня совершенно не волновали его университетские успехи. Поэтому ему приходилось идти мелкими шажками, останавливаясь после каждого этапа и оглядываясь назад, дабы оценить пройденный путь. Случай; прогулка; еще одна прогулка; чай. Что с ней обсуждать? Пусть говорит сама. Позже он признавался мне, что обычно использовал совсем другую технику лова – назначал очередной пассии свидание в аудитории университета, где корпела другая студентка, которая и была объектом его истинных притязаний. Ревность; конкуренция; бильярд на зеленом сукне – одним словом, прикладная математика в действии.

– Но ведь всего с помощью вашей логики доказать нельзя, разве нет? К примеру, разве можно доказать любовь?

– Чтобы что-то доказывать, надо первым делом выработать строгую формулировку, затем разложить проблему на составляющие, маленькие, но твердые и нерушимые. Во-вторых, нельзя пытаться распространять все без разбора на эту область знания, это было бы неправильно. Любовь не подпадает ни под какую формальную систему.

– Формальную систему?

– Это язык, предназначенный строго для математических целей. Он базируется на некоей совокупности аксиом. А любовь по определению субъективна. И никаких аксиом в ней не может быть изначально.

– А что такое аксиома?

– Это исходное положение, истинное само по себе, на котором строится более сложное знание, например теорема.

– Что-то наподобие кирпичика?

Чашечка вновь отправилась в путь и сделала три полных оборота.

– Если угодно.

– Я научу вас первой теореме, Адель. В любви один плюс один равно двум. А два минус один равно нулю.

– Это не теорема, а лишь предположение, которое еще ни разу не было доказано.