Пример 1. Из 15 аксиом планиметрий Е2 и L2 удалим аксиомы параллельности

Из 15 аксиом планиметрий Е ² и L ₂ удалим аксиомы параллельности. Оставшиеся 14 аксиом составляют Теорию абсолютной планиметрии. Эта теория не категорична, так как L ₂ не изоморфна R ². Эта теория дедуктивно не полна, т.к. аксиома параллельности не выводима из остальных аксиом.

Таким образом, одна и та же система аксиом абсолютной планиметрии в разных моделях имеет различные “визуальные” эффекты. Например, в плоскости L _2, (см. §5) мы “видим” два равных треугольника по трем равным углам, а также две прямые, которые не параллельны и не пересекаются. Этого “увидеть” в плоскости R ² мы не можем.

Пример 2

Рассмотрим теорию, определяемую следующими 7 аксиомами:

Аксиома рефлексивности: " х (х £ х).

Аксиомы антисимметричности: " х, у (х £ у Ù у £ х Þ х = у).

Аксиома транзитивности: " х, у, z (х £ у Ù у £ z Þ х £ у).

Аксиома линейности: " х, у (х £ у Ú у £ х).

Аксиома плотности: " х, у $ z (х ¹ у Þ х < z < у Ú y < z < x)

Аксиома отсутствия наименьшего элемента: " х $ z (z < y).

Аксиома отсутствия наибольшего элемента: " х $ z (z > y).

Эта система аксиом дедуктивно полна (см., например, [11]) но не категорична, так как имеет две неизоморфные модели: Q – множество рациональных чисел и R – множество действительных чисел.

Заключение

Мы закончили экскурс в математику кратким анализом текстовых парадоксов. Любой парадокс является интеллектуальным продуктом. Как противоречие он обнаруживается при построении изоморфизмов моделей и выражается в виде текста символьного и описательного языков. Поэтому все парадоксы можно в определенном смысле считать текстовыми.

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

По возможности мы демонстрировали язык геометрического формализма и геометрических моделей. Этот язык максимально приближен к наглядности. Наглядность – это визуальное представление информации. Строгость такого представления не “ниже”, чем в абстрактной символьной модели. Строгость языка рассмотренных геометрических моделей определяется свойствами непротиворечивости, независимости, категоричности и дедуктивной полноты аксиоматик Гильберта, Вейля и Лобачевского.

Таким образом, уровень строгости языка определяется свойствами выразимости и не зависит от степени “наглядности” или абстрактности.

Примеры п.8.8 §8 показывают, что “дефекты” выразимости присущи как визуальным, так и абстрактным аксиоматическим системам.

Какой мы сделаем вывод в конце нашего краткого курса?

Напомним три основные функции естественного языка: 1) отслеживание мысли, 2) формирование умозаключений и 3) средство коммуникаций.

Первые две функции в естественном языке используются для построения мыслимых моделей и являются инструментом процесса мышления (интеллекта). Третья функция использует знаковые системы для связи субъекта с внешним миром и является инструментом для реализации продукта мышления. Поскольку интеллект есть процесс или продукт мыслительной деятельности, то язык является единственным инструментом интеллекта.

Математический язык – это искусственный язык, который позволяет оптимально кодировать, хранить и передавать информацию. Например, 20 аксиом геометрии вместе с заданием точек, прямых, плоскостей и отношениями (принадлежности, порядка, конгруэнтности, параллельности и непрерывности) образуют геометрический язык и позволяют «хранить» в геометрической структуре около 20.000 утверждений, которые составляют предмет геометрической теории и могут быть выведены в рамках этой теории.

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

Рассмотрим пример. Компьютерную игру назовем «Абсолютная геометрия». Ее правила – законы структуры планиметрии без аксиомы параллельности. Результат игры состоит в правильном ответе “да” или “нет” на любое утверждение, сформулированное на языке геометрических отношений, задаваемых 14 аксиомами планиметрии без аксиомы параллельности (см. замечание 2, п. 2 §2).

Вопрос: Равны или нет два треугольника по трем равным сторонам?

Ответ: Да.

Действительно, этот признак равенства треугольников не зависит от аксиомы параллельности.

Вопрос: Равны два треугольника по трем равным углам?

Ответ: Ни да, ни нет!

Действительно, в арифметической модели евклидовой плоскости R² ответ: “нет”; в модели Пуанкаре плоскости Лобачевского ответ: “да!” Такая неопределенность ответа связана с дедуктивной неполнотой абсолютной планиметрии. Следовательно, абсолютная планиметрия “некачественная” модель плоскости, так как некоторые вопросы не имеют определенного ответа.

Геометрическая визуальность – понятие относительное. Действительно, стоило нам поменять аксиому параллельности Евклида на аксиому Лобачевского, и мы получили абстрактную планиметрию Лобачевского. Визуальность практически исчезает, но высшая “степень качества” геометрической модели остается.

Мы выяснили, что объектами математического языка являются только математические структуры. Основу Теории математических структур составляют те же три функции, которые выделяют в естественном языке. Поэтому математике отводится роль имитации мыслительных процессов в формализованной знаковой системе. Можно считать, что математика создает искусственный интеллект, который развивается параллельно естественному интеллекту и в определенном смысле оптимизирует работу последнего.

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