ТОП просматриваемых книг сайта:
Богиня маленьких побед. Янник Гранек
Читать онлайн.Название Богиня маленьких побед
Год выпуска 2012
isbn 978-5-386-09363-1
Автор произведения Янник Гранек
Серия Игры гениев
Издательство РИПОЛ Классик
Этап первый: дать ему возможность объяснить, что такое жизнь.
Он поставил чашку, выровнял ее ушко по цветочному узору блюдца, затем передумал и повернул так, чтобы было удобно брать, не преминув совершить полный оборот. Я терпеливо ждала, старательно избегая выражать свои мысли: Давай, малыш, давай, школяр! Ты не сможешь перед этим устоять, потому что точно такой же мужчина, как и все остальные!
– Формальная логика представляет собой абстрактную систему, не использующую традиционный язык, к которому, например, прибегаем мы, желая что-либо обсудить. Это универсальный метод, призванный манипулировать математическими понятиями. В итоге я, не зная китайского, могу понять логические выкладки, сделанные китайцем[9].
– А зачем это вам, не считая, конечно, стремления понимать китайцев?
– Как это «зачем»?
– Ну, какова конечная цель этой вашей логики?
– Доказывать! Мы изыскиваем штампы, позволяющие окончательно устанавливать математические истины.
– Что-то наподобие кулинарного рецепта?
В тот день мне удалось немного разгадать его тактику обольщения. Он был не так уж скромен. Просто я была образчиком, заслуживающим отдельного изучения, и он не знал, что со мной делать. Найти ко мне подход было намного труднее, чем к студенткам, потому как меня совершенно не волновали его университетские успехи. Поэтому ему приходилось идти мелкими шажками, останавливаясь после каждого этапа и оглядываясь назад, дабы оценить пройденный путь. Случай; прогулка; еще одна прогулка; чай. Что с ней обсуждать? Пусть говорит сама. Позже он признавался мне, что обычно использовал совсем другую технику лова – назначал очередной пассии свидание в аудитории университета, где корпела другая студентка, которая и была объектом его истинных притязаний. Ревность; конкуренция; бильярд на зеленом сукне – одним словом, прикладная математика в действии.
– Но ведь всего с помощью вашей логики доказать нельзя, разве нет? К примеру, разве можно доказать любовь?
– Чтобы что-то доказывать, надо первым делом выработать строгую формулировку, затем разложить проблему на составляющие, маленькие, но твердые и нерушимые. Во-вторых, нельзя пытаться распространять все без разбора на эту область знания, это было бы неправильно. Любовь не подпадает ни под какую формальную систему.
– Формальную систему?
– Это язык, предназначенный строго для математических целей. Он базируется на некоей совокупности аксиом. А любовь по определению субъективна. И никаких аксиом в ней не может быть изначально.
– А что такое аксиома?
– Это исходное положение, истинное само по себе, на котором строится более сложное знание, например теорема.
– Что-то наподобие кирпичика?
Чашечка вновь отправилась в путь и сделала три полных оборота.
– Если угодно.
– Я научу вас первой теореме, Адель. В любви один плюс один равно двум. А два минус один равно нулю[10].
– Это
В сжатом до неприличия виде: «логика первого порядка» – это формальный математический язык, использующий высказывания, называемые «предикатами», связанные логическими взаимосвязями (или операторами), такими как «и», «или», «если». Эта логика обеспечивает «истинные» или «ложные» дедуктивные результаты, комбинируя высказывания, определенные как «истинные» или «ложные».
Подлинный автор этого изречения – Нинон де Ланкло.