Инженерная эвристика

Уменьшение количества толкований слова или предложения или фразы задаётся, как вы сказали, контекстом. Контекст[103] — штука плохо формализуемая, в противном случае задача машинного перевода была бы решена.

Например, фраза, которая долго висела на рекламных баннерах: «Время есть». Что это? «Время идти принимать пищу» или «ещё осталось немного времени»? Я задал контекст, уточняя в вопросе эту фразу. Но как я это сделал? Если изменить фразу: «Время поесть», то ясно, что пора покушать. Казалось бы, неоднозначность исчезла! Как бы не так! Кому пора, где пора, почему пора и т. д. поесть? Ответа нет. Нет и однозначности. Теперь к аксиоме. Через одну точку можно провести бесконечное множество прямых. Где эта точка? Что за прямые? Кто может осуществить эту возможность и провести бесконечное множество прямых? Да и про какую геометрию вы вообще говорите? У одного Гильберта аксиом геометрии, если мне не изменяет память, двенадцать! Значит, эта аксиома допустима в очень большом числе возможных геометрий!

А. Трушечкин. Когда мы формулируем аксиомы, мы не интересуемся этими вопросами. Вот есть точка, а есть прямая, между ними существует определённое отношение, при обращении с этими тремя объектами надо соблюдать определённые правила. Сами правила сформулированы чётко. В этом смысле аксиомы чёткие и однозначные.

А откуда они взялись, что они означают, кто их может осуществить, где это всё находится и т. д. и т. п. — от этих вопросов мы абстрагируемся. От вопроса, какие ещё могут быть аксиомы, мы пока тоже абстрагировались. Сформулировали правила, с ними и работаем, а что можно было ещё массу разных правил придумать — это понятно. Но мы работаем с данными правилами.

Ещё пара замечаний. Можно провести аналогию между аксиоматическими системами и правилами, например, шахмат или шашек. Правила сформулированы на естественном языке, но тем не менее, правила однозначны.

Спрашивать: «Где эта точка? Что за прямые? Кто может осуществить эту возможность и провести бесконечное множество прямых?» — это всё равно, что в шахматах спрашивать: «Как мы прокормим коня?» А ещё лучше — целого слона! Мы не имеем права задавать вопросы, выходящие за пределы тех объектов и отношений между ними, которые зафиксированы в правилах.

В доказательство того, что шахматные правила сформулированы однозначно — я ни разу не слышал, чтоб на шахматных соревнованиях возникали вопросы, как можно ходить, а как нельзя! Да, обсуждаема неоднозначность, связанная с необходимостью записывать партию. Но это неоднозначность не шахматных правил, а правил проведения шахматных турниров, эти правила относятся уже к людям, а не к фигурам. По самим же шахматным правилам, то есть по вопросам, какие ходы на доске делать можно, а какие нет, как определяется победитель, исходя из позиции на доске, двузначностей никогда не возникало.