Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Структурные свойства математического языка. Учебное пособие
.pdf
Задания
1. Постройте другие случаи «решения» задачи Бертрана.
2. Объясните условия корректного моделирования случайного со-
бытия.
3. Приведите примеры практических задач, которые приводят к за-
даче о встрече.
111
ЗАКЛЮЧЕНИЕ
Язык изложения нашего краткого курса математики для гуманитариев по своей сложности не выходит за рамки школьной программы,
но при изучении этот курс потребует дополнительных интеллектуальных усилий.
По возможности мы опирались на язык геометрических моделей.
Этот язык максимально приближен к наглядности. Наглядность – это
визуальное представление информации. Строгость такого представления не ниже, чем в абстрактной символьной модели. Строгость языка
рассмотренных геометрических моделей определяется свойствами
непротиворечивости, независимости, категоричности и дедуктивной
полноты аксиоматик Гильберта, Вейля, Лобачевского и других современных аксиоматик.
Таким образом, уровень строгости языка определяется свойствами
выразимости и не зависит от степени наглядности или абстрактности.
Примеры §8 показывают, что “дефекты” выразимости
визуальным, так и абстрактным аксиоматическим системам.
Какой мы сделаем вывод в конце нашего краткого курса?
Следуя высказыванию Л. Эйлера, мы заключаем, что всякая языковая знаковая система обнаруживает три основные функции естественного языка: 1) отслеживание смысла, 2) формирование умозаключений
и 3) средство коммуникаций.
Первые две функции в естественном языке используются
строения мыслимых моделей и являются инструментом процесса
мышления. Третья функция использует знаковые системы для связи
субъекта с внешним миром и является инструментом для реализации
продукта мышления. Поскольку интеллект есть способность субъекта
мыслить, то язык является единственным инструментом интеллекта.
Математический язык – это искусственный язык, который позволяет оптимально кодировать, хранить
мер, 20 аксиом геометрии вместе с заданием точек, прямых, плоскостей и отношениями (принадлежности, порядка, конгруэнтности, па-
и передавать информацию. Напри-
присущи как
для по-
112
раллельности и непрерывности) образуют геометрический язык и позволяют «хранить» в геометрической структуре около 20000 утверждений, которые составляют предмет геометрической теории и могут быть
логически выведены в рамках этой теории.
Язык геометрии строился несколько тысячелетий. Можно предположить, что основные геометрические структуры, изученные нами,
являются каноническими моделями, по образу и подобию
которых
строятся многие естественнонаучные модели и теории. Мы видели, что
визуальность евклидовой геометрии не делает ее менее строгой, чем
чисто логические построения. Действительно, геометрические аксиоматики обладают свойствами совместности, независимости и относительной дедуктивной полнотой, которая следует из категоричности
геометрических аксиоматик. Поэтому можно считать, что качество
модели, иллюстрирующих какие-либо
явления, также определяются
наличием свойств совместности, независимости и дедуктивной полноты системы аксиом, определяющих эти модели.
Рассмотрим следующий пример дискуссионной ситуации. Тему
дискуссии назовем «Абсолютная геометрия». Цель дискуссии – установить свойства фигур в такой планиметрии, в которой нет аксиомы
параллельности и подтвердить эти свойства визуальными примерами.
Результат дискуссии состоит в правильном
ответе: да или нет на любое
утверждение, сформулированное на языке геометрических отношений,
задаваемых 14 аксиомами планиметрии без аксиомы параллельности.
– Вопрос: Равны или нет два треугольника по трем равным сторо-
нам?
– Ответ : Да.
Действительно, этот признак равенства треугольников не зависит
от аксиомы параллельности.
– Вопрос: Равны два треугольника по трем равным углам
?
– Ответ: Ни Да, ни Нет!
Действительно, в арифметической модели евклидовой плоскости R
ответ – Нет; в модели Пуанкаре плоскости Лобачевского ответ – Да!
Такая неопределенность ответа связана с дедуктивной неполнотой
абсолютной планиметрии. Следовательно, абсолютная планиметрия –
“некачественная” модель плоскости, т.к. некоторые вопросы не имеют
определенного ответа и мы знаем, что это связано с дедуктивной неполнотой абсолютной планиметрии. Дело в том, что человеку неиз
вестна визуальная модель абсолютной планиметрии без участия аксиомы параллельности. Когда мы представляем совокупность плоских
2
-
113
фигур и изображаем отношения между ними, то обязательно вкладываем определённую реализацию аксиомы параллельности, будь это
обычная сфера, плоскость Евклида или Лобачевского.
Теперь представим, что мы ведём дискуссию о свойствах объектов
некоторой модели физической, экономической или социальной сферы,
причём, мы не уверены, что знаем все основополагающие законы (аксиомы) этой модели
. Участники дискуссии, при этом, будут использовать для формирования своих субъективных образов какие - то различные модели, которые возможно содержат взаимоисключающие
интерпретации неизвестных законов (аксиом). В результате дискуссии
участники вполне логичными умозаключениями придут к противоречивым выводам, как это было в дискуссии «абсолютная планиметрия».
Таким образом, искать истину логическим путём
мы можем только в
теории, построенной на дедуктивно полном наборе законов (аксиом).
Мы выяснили, что объектами математического языка являются
объекты математических структур. Языковые функции теории математических структур составляют те же три функции, которые выделяют в
естественном языке. Поэтому математике отводится роль имитации
мыслительных процессов в формализованной знаковой системе.
Вывод. Математический язык развивался, развивается и будет
развиваться, формируя искусственный интеллект, который функционирует параллельно естественному интеллекту и в определенном смысле оптимизирует работу последнего.
Формы познания человеком окружающей действительности имеют
единую сущность, которая выражается в законах самоорганизации
языковых систем. В языковых системах, используемых человеком для
создания мыслительного образа, преобразования этого образа и реализации в виде модели, концентрируются законы, по которым организуется любое мыслительное познание мира. Применяя математику как
языковой инструмент исследования, мы накапливаем
интеллектуальный опыт и концентрируем его в знаковой системе по закону математической структуры. Построенные мыслимые модели анализируются и
составляют отношения интеллектуального опыта к реальности. Анализ
этих отношений строится по различным реализациям, возникающим в
человеческой практике.
114
Обозначения
В тексте используются следующие общепринятые обозначения:
– знак логического следствия “отсюда следует, что”;
– знак эквивалентности утверждений “тогда и только тогда, ко-
гда”;
– знак пересечения множеств;
– знак объединения множеств;
аА, (аА) – знак принадлежности (не принадлежности) элемента
“а” множеству А;
– знак конъюнкции “и”;
– знак дизъюнкции “
или”;
х, у(Р(х,у)) – для всякого х, для всякого у, обладающих свойством
Р(х,у);
z(Р(z)) – существует z со свойством Р(z);
х у Р(х, у) Q(х, у)) – для всякого х существует у такое, что из
свойства Р(х, у) следует Q(х, у);
– знак взаимно
-однозначного соответствия;
, аАВ – векторы;
L( ) – изоморфизм;
, ...,хn) – координаты вектора;
а (х
1
n
, (n = 1, 2, 3) – арифметическая модель n-мерного векторного
Е
пространства;
n
– арифметическая модель n-мерного евклидова пространства;
R
n
– геометрическая модель n-мерного евклидова пространства;
– модель Пуанкаре плоскости Лобачевского;
L
2
|| – знак параллельности;
– знак отношения эквивалентности;
– пустое множество;
Т
– аксиоматическая теория;
– аксиоматическая структура;
т
Т – система аксиом;
R(Т) – реализация системы аксиом Т.
115
ЛИТЕРАТУРА
1. Клайн М. Математика. Утрата определенности. – М.: Мир, 1988.
Ефимов Н.В. Высшая геометрия. – М.: ФИЗМАТЛИТ, 2004. – 584 с.
2.
Селезнев В.А. Элементы математического формализма для филологов:
3.
учебное пособие. – Новосибирск, НГТУ, 2000.
Колмогоров А.Н., Драгалин А.Г. Математическая логика. – М.: КомКни-
4.
га, 2006.
Мостеллер Ф., Рурке Р., Томас Дж. Вероятность. – М: Московский
5.
центр непрерывного математического образования, 2015. – 356 с.
Хинчин А.Я. Цепные дроби, 4-е изд. – Наука, 1978. – 112 с.
6.
Биркгофф Г. Математика и психология. – М.: Советское радио, 1977.
7.
Пуанкаре А. О науке. – М.: Наука, 1983.
8.
116
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]