Литература

1. Маркс К., Энгельс Ф. Соч. – 2-е изд. – Т. 20. – М.: Госполитиздат, 1961.

2. Пуанкаре А. О науке / Пер. с фр. под ред. Л. С. Понтрягина. – М.: Физматлит, 1983. – 560 с.

3. Гильберт Д. Основания геометрии / Пер. с нем. И. С. Градштейна под ред. П. К. Рашевского. – М.; Л.: Гостехиздат, 1948. – 491 с.

4. Нейгебауэр О. Лекции по истории античных математических наук. Т. 1: Догреческая математика. – М.; Л.: ОНТИ, 1937. – 243 с.

5. Толковый словарь русского языка / Под ред. Д. Н. Ушакова. Т. 2. – М.: Гос. изд-во иностр. и нац. словарей, 1938. – Стлб. 832.

6. Бурбаки Н. Теория множеств / Пер. с фр. Г. Н. Поварова и Ю. А. Шихановича; Под ред. В. А. Успенского. – М.: Мир, 1965. – 455 с.

7. Чёрч А. Введение в математическую логику / Пер. с англ. B. C. Чернявского под ред. В. А. Успенского. – М.: Изд-во иностр. лит., 1960. – 485 с.

8. Hornby A. S., Parnwell Е. С. An English-Reader's Dictionary. – L.: Oxford University Press, 1959. 511 p.

9. Юшкевич А. П. История математики в средние века. – М.: Физматгиз, 1961. – 448 с.

10. Потоцкий М. В. О педагогических основах обучения математике: Пособие для учителей. – М.: Учпедгиз, 1963. – 200 с.

11. Горский Д. Определение // Философская энциклопедия. Т. 4. – М.: Сов. энциклопедия, 1967. – С. 150–152.

12. Успенский В. А. Предисловие // Математика в современном мире. – М.: Мир, 1967. – С. 5–11.

13. Божич С. П. О способах истинностной оценки естественно-научного высказывания // Логика и эмпирическое познание. – М.: Наука, 1972. – С. 243–255.

14. Изоморфизм // Большая Советская Энциклопедия. – 3-е изд. – Т. 10. – М.: Сов. энциклопедия, 1972. – С. 98.

15. Демидов С. С. К истории аксиоматического метода // История и методология естественных наук. Вып. 14: Математика. Механика. – М.: Изд-во Моск. ун-та, 1973. – С. 74–91.

16. Рашевский П. К. О догмате натурального ряда // Успехи математических наук. 1973. Т. 28. Вып. 4 (172). С. 243–246.

17. Appel K., Haken W. Every planar map is four colorable // Bulletin of the American Mathematical Society. 1976. Vol. 82. № 5. Pp. 711–712.

18. Appel K., Haken W. Every planar map is four colorable. Part I: Discharging // Illinois Journal of Mathematics. 1977. Vol. 21. № 3. Pp. 429–490.

19. Appel K., Haken W. Every planar map is four colorable. Part II: Reducibility // Illinois Journal of Mathematics. 1977. Vol. 21. № 3. Pp. 491–567.

20. Appel K., Haken W. The solution of the Four-Color-Map problem // Scientific American. 1977. Vol. 237. № 4. Pp. 108–121.

21. Успенский В. А. Теорема Гёделя о неполноте. – М.: Физмат-лит, 1982. – 111 с.

22. Плиско В. Е. Теорема // Математическая энциклопедия. Т. 5. – М.: Сов. энциклопедия, 1985. Стлб. 334–335.

23. Толстиков А. В. Ферма теорема // Математическая энциклопедия. Т. 5. – М.: Сов. энциклопедия, 1985. – Стлб. 605–608.

24. Козырев В. П., Юшманов С. В. Теория графов (Алгоритмические, алгебраические и метрические проблемы) // Теория вероятностей. Математическая статистика. Теоретическая кибернетика. 1985. Т. 23. С. 68–117.

25. Кусраев А. Г., Кутателадзе С. С. Субдифференциалы и их применения: Учеб. пособие. – Новосибирск: Новосиб. гос. ун-т, 1985. – 86 с.

26. Уроки открывает беседа с математиком Л. Понтрягиным: Интервью академика Л. С. Понтрягина «Учительской газете» // Учительская газета. 1985. 23 мая.

27. Cantor G. Ein Beitrag zur Mannigfaltigkeitslehre // Journal für die reine und angewandte Mathematik. 1878. Bd. 84. S. 242–258. (Русский перевод см. в работе [30, с. 22–35].)

28. Cantor G. Über unendliche, lineare Punktmannigfaltigkeiten. Nr. 6 // Mathematische Annalen. 1884. Bd. 23. H. 4. S. 453–488. (Русский перевод см. в работе [30, с. 106–139].)

29. Cantor G. Gesammelte Abhandlungen. Berlin: Springer, 1932. 486 S.

30. Кантор Г. Труды по теории множеств / Пер. с нем. Ф. А. Медведева, П. С. Юшкевича; Отв. редакторы А. Н. Колмогоров, А. П. Юшкевич. – М.: Наука, 1985. – 430 с.

31. Cox D. A. Introduction to Fermat's Last Theorem // American Mathematical Monthly. 1994. Jan. Pp. 3–14.

32. Сингх С. Великая теорема Ферма / Пер. с англ. – М.: МЦНМО, 2000. – 288 с. (Оригинальное издание: Singh S. Fermat's Last Theorem. L.: Fourth Estate, 1997.)

33. Thomas R. An update on the Four-Color Theorem // Notices of the American Mathematical Society. 1998. Vol. 45. № 7. Pp. 848–859.

34. Самохин А. В. Проблема четырёх красок: неоконченная история доказательства // Соросовский образовательный журнал. 2000. Т. 6. № 7 (56). С. 91–96.

Приложение

Проблема континуума и языки второго порядка

На языке второго порядка можно написать такую систему аксиом, что наличие или отсутствие у неё модели будет равносильно соответственно подтверждению или опровержению континуум-гипотезы. А если соединить все эти аксиомы знаком конъюнкции, то возникнет формула второго порядка, которая тогда и только тогда имеет модель, когда континуум-гипотеза справедлива; такая формула и была обещана в главе 4, в конце четвёртого размышления. Указанную систему аксиом мы и намерены выписать в настоящем приложении.

Пусть множество M обладает следующими свойствами: 1) его мощность континуальна; 2) в нём выделено некоторое такое подмножество Q счётно-бесконечной мощности, что всякое подмножество множества, содержащее, в свою очередь, Q в качестве подмножества, имеет мощность либо счётно-бесконечную, либо континуальную. Легко проверить, что возможность такого множества равносильна подтверждению континуум-гипотезы. Поэтому всякое такое M временно условимся называть подтверждающим. Наша цель – выписать систему аксиом, задающую подтверждающее множество. Для этого мы воспользуемся следующей теоремой из теории упорядоченных множеств: всякое линейно упорядоченное множество, обладающее плотным в нём счётно-бесконечным подмножеством и такое, что любое его сечение дедекиндово, имеет мощность континуума. (Напомним, что сечением линейно упорядоченного множества называется такое его разбиение на два класса, нижний и верхний, что любой элемент нижнего класса предшествует любому элементу верхнего класса. Сечение называется дедекиндовым, если либо в нижнем классе есть наибольший элемент, либо в верхнем классе есть наименьший элемент, но не то и другое вместе.) Система аксиом, которую мы собираемся выписать, как раз и задаст нам в качестве подтверждающего такое линейно упорядоченное множество, причём в роли Q выступит подмножество, плотное в M. (Подмножество A упорядоченного множества B называется плотным в B, коль скоро для любых двух различных элементов из B найдётся элемент из A, расположенный между ними.)

Но прежде чем выписывать аксиомы, необходимо указать сигнатуру. Наша сигнатура имеет четыре члена. Она состоит из константы «0Q», имени «Q» одноместного отношения (т. е. свойства), имени

Как известно, носителем модели называется