Опубликован: 24.04.2007 | Доступ: свободный | Студентов: 720 / 35 | Оценка: 4.60 / 4.30 | Длительность: 25:56:00
Специальности: Программист
Лекция 13:

Диаграммы

Формальная арифметика

Рассмотрим множество натуральных чисел с операциями сложения и умножения и его элементарную теорию \Th(\mathbb{N},{=},{+},{\times}), то есть множество всех истинных (в натуральном ряду) формул со сложением и умножением. Это множество, очевидно, полно. Можно доказать ([5]), что оно неразрешимо (и, более того, неарифметично, как говорит теорема Тарского).

Отсюда следует, что теория \Th(\mathbb{N},{=},{+},{\times}) не является конечно аксиоматизируемой. (В самом деле, эта теория полна и неразрешима, и можно сослаться на теорему 67.) Более того, это же рассуждение показывает, что не существует разрешимого множества теорем этой теории, из которых бы выводились все другие теоремы. Отсюда следует, что классическая система аксиом формальной арифметики, называемая также арифметикой Пеано (свойства арифметических операций плюс аксиомы индукции), не может быть полной: существуют истинные формулы, невыводимые в формальной арифметике. Это утверждение составляет содержание знаменитой теоремы Геделя о неполноте.

143. Покажите, что нельзя добавить к языку теории \Th(\mathbb{N},{=},{+},{\times}) конечное число выразимых предикатов так, чтобы после этого проходила элиминация кванторов. (Указание: арифметическая иерархия не ограничивается никаким конечным числом уровней.)

144. Покажите, что элементарная теория целых чисел со сложением и умножением сводится к элементарной теории натуральных чисел со сложением и умножением: по замкнутой формуле \varphi со сложением и умножением можно алгоритмически построить формулу \varphi' с таким свойством: \varphi истинна в \mathbb{Z} тогда и только тогда, когда \varphi' истинна в \mathbb{N}. (Указание: целые числа можно кодировать парами натуральных.)

145. (Продолжение) Покажите, что верно и обратное: элементарная теория натуральных чисел сводится к элементарной теории целых чисел. (Указание. Если бы в целых числах был порядок, это было бы совсем просто. Чтобы его ввести, можно использовать теорему Лагранжа о том, что всякое натуральное число представимо в виде суммы четырех квадратов.)

Будет ли теория \Th(\mathbb{N},{=},{+},{\times}) категоричной в счетной мощности? Другими словами, имеет ли она счетную модель, не изоморфную стандартной? Раньше, для более простых ситуаций, нам удавалось указать такие модели явно. Теперь это не удастся, но есть простое общее рассуждение, устанавливающее существование нестандартной модели. (Оно аналогично рассуждению, использованному при доказательстве теоремы 52.)

Рассмотрим последовательность формул E_0(x), E_1(x), E_2(x),\dots с единственным параметром x, где E_i(x) — любая формула, выражающая в стандартной модели свойство x=i. (Если бы у нас в языке была константа 1, можно было бы считать E_i(x) бескванторной формулой x=1+1+\ldots+1, в правой части которой стоит терм с i единицами.)

Добавим к сигнатуре новую константу c и рассмотрим теорию, получаемую из \Th(\mathbb{N},{=},{+},{\times}) добавлением счетного семейства формул \lnot E_i(c) (по существу мы добавляем формулы c\hm\ne 0,\,c\hm\ne 1,\dots, записанные подходящим образом). Любое конечное подмножество полученной теории имеет модель (возьмем стандартный натуральный ряд и в качестве c выберем достаточно большое число). Следовательно (теорема 50 о компактности), и вся эта теория совместна. Рассмотрим ее счетную нормальную модель и забудем о символе c ; получится некоторая интерпретация сигнатуры ({=},{+},{\times}). Она будет элементарно эквивалентна стандартному натуральному ряду (все истинные в \mathbb{N} формулы будут истинны по построению, а все ложные будут ложны, так как их отрицания истинны).

Осталось показать, что она не будет изоморфной натуральному ряду. В самом деле, рассмотрим элемент, который является значением константы c в нестандартной модели. Он не может переходить ни в какое натуральное число i, поскольку для соответствующих (друг другу при изоморфизме) элементов выполнены одни и те же формулы, E_i(i) истинно в натуральном ряду и E_i(c) ложно в новой интерпретации.

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