7. Вопросы и задания к теме «Назначение знаковых языковых систем»

Вопросы.

1. Какими функциями, по Эйлеру, определяются языковые знаковые системы?

2. Как соотносятся между собой интеллект и мышление человека?

3. Что является аналогом слова, предложения и текста в музыкальной грамоте?

4. Что является аналогом слова, предложения и текста в живописи?

Задания.

1. Покажите, что в примерах 1-7 пункта 1.3 приведены языковые знаковые системы.

2. Приведите примеры знаковых систем, не являющихся языками.

3. Обоснуйте положение «язык – инструмент интеллекта и мышления»

“Господь Бог создал натуральные числа; все остальное дело рук человеческих”.

Леопольд Кронекер (1823-1891)

3. ГЛАВА I

4. Формирование аксиоматических систем в математике

§1. Формирование числовых систем

1. Система натуральных чисел.

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

Попробуем дать определение натурального ряда на русском языке, переведём это определение на английский, затем ещё на какой-нибудь язык и снова – на русский. К своему удивлению мы обнаружим, что получили новый текст, не вполне идентичный исходному. Несложно догадаться, что произошло. При переводе с другого языка мы подбираем слова, используя представителей класса синонимов, а математика использует слова как знаковые единицы, несущие вполне конкретный смысл. Чтобы избежать многозначности языково­го толкования понятия «натуральный ряд», математики поступили следующим образом. Свойство человеческого интеллекта «перечислять объекты» рассматривается как функция интеллекта, сама же функция определяется наименьшим набором правил, которые полностью описывают действие этой функции. Чтобы найти искомые правила, построим файл, определяющий эмпирические, то есть опытные, способности человека, на которых основано построение интересующей нас знаковой системы натурального ряда.

Ф.1.

Эмпирические свойства, определяющие построение натурального ряда

1о. Любой объект может быть выбран начальным элементом перечисления. 2о. Для любого количества перечисленных элементов определено единственное следующее за ним количество. 3о. начальному элементу не предшествует никакое количество. 4о. Двум одинаковым количествам предшествуют два одинаковых количества. 5о. Построенное множество количеств однозначно в том смысле, что все другие построенные таким образом количества совпадают и могут отличаться только символьными системами.

Теперь займемся формализацией перечисленных свойств. Это означает, что требуется построить систему аксиом (правил), отражающих перечисленные в файле операции 1^о-5^о в символьной форме.

Дадим символьную реализацию операций 1^о-5^о. Свойство 1^о позволяет выбрать первый элемент, обозначим его 1. Свойство 2^о устанавливает операцию следования на множестве элементов. Эту операцию представим в виде схемы

… → x → s(x) → … (1.1)

Заметим, что свойству 2^о также удовлетворяет схема

… → x → s(x) → …

→ y (1.2)

Свойство 4^о указывает, что схема (1.2) реализоваться не может. Свойство 3^о устанавливает единственность первого элемента, и мы приходим к линейной цепочке

1 → s(1) → … → x → s(x) → … (1.3)

Эта цепочка образует «очередь», или, что, то же самое, линейный порядок. Последнее свойство 5^о утверждает, что всякая другая линейная цепочка со свойствами 1^о-4^о будет отличаться только знаковой системой

1 →  → … →  →  → …

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

Приведем в немного измененном виде систему аксиом Джузеппе Пеано (1858-1932), формализующую построение правил, записанных в файле Ф.1. При этом каждую аксиому сформулируем подробно и представим кратко на языке символов формальной логики, принятых в международной практике (см. обозначения на стр. 97).

Ф.2.	Система правил, формирующих натуральный ряд.
Множество символов, элементы которого удовлетворяют следующим свойствам 1о-5о, называется натуральным рядом N.
1о. Некоторый элемент называется первым и обозначается символом 1:  x (x:= 1).
2о. Для всякого элемента x существует единственный элемент S(x) следующий за x: x  y (y = S(x)) x, y (y = x  S(x) = S(y)).
3о. Единице не предшествует никакой элемент: x (S(x)  1)
4о. Всякому элементу предшествует единственный элемент: x, y (S(x) = S(y)  x=y)
5о. Аксиома индукции. Пусть подмножество ΜΝ содержит 1, и для его элементов x выполняются свойства 2о-4о (обозначим выполнение свойств 1о-4о T(x)). Тогда Ν  Μ.
x (xM)(T(x))  M=N

Заметим, что из этой системы правил нельзя выбросить ни одно. Попробуем, например, выбросить пятое правило. Для этого рассмотрим знаковую модель, предложенную норвежским математиком Торальфом Сколемом (1887-1963). К линейной цепочке (1.3) добавляются последовательности блоков вида

…→ a_-2 → α_-1 → α_-0 → α₁ → a₂ → …

тогда в новой цепочке найдутся новые элементы, которые нельзя представить в виде конечного числа операций S. То есть, найдутся элементы “y” модели Сколема, которые не удовлетворяют условию

y = S (S (…S(1))),

где S (S (…S(1)))  конечное число композиций операции следования.

Такие элементы y назовем недостижимыми. Таким образом, наличие правил 1-4 позволяет построить только линейный порядок - очередь, но элементы этой очереди могут оказаться недостижимыми.

В школьной программе математики натуральный ряд строится в десятичной модели 1, 2, 3,…, n, n+1, …, в ней свойство конечной достижимости выполняется, т.к. десятичная запись содержит информацию о порядке числа. Десятичная система использует конечный цифровой алфавит 0, 1, 2, …, 9. Суть построения символа целого числа в этой системе в том, что вводятся операции сложения и умножения, и закон записи имеет вид a  N

a = _n_n-1…₁₀ = _n˙10ⁿ + _n-1˙10^n-1 + …+ _1˙10 + ₀ ,

где ₀, ₁, …, _n(0, 1, …, 9)(_n 0).

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

Добавляя к аксиоматике натурального ряда новые операции вместе с определяющими их аксиомами, мы не только расширяем свойства натурального ряда, но и расширяем само множество натуральных чисел. Рассмотрим этот процесс подробнее.