Возникновение противоречий в теории множеств Цермело–Френкеля при расширении базового языка рекурсивными функциями

 pdf (166K)  / Аннотация

Список литературы:

  1. Г. Кантор. Труды по теории множеств. — М: Наука, 1985. — 430 с.
  2. П. С. Александров. Введение в теорию множеств и общую топологию. — М: Наука, 1977. — 367 с.
  3. В. А. Успенский. Теорема Геделя о неполноте. — М: Наука, 1982. — 111 с.
  4. П. Коэн. Теория множеств и континуум гипотеза. — М: Мир, 1969. — 347 с.
  5. Х. Карри. Основания математической логики. — М: Мир, 1969. — 568 с.
  6. И. Я. Депман. История арифметики. — М: Учпедгиз, 1965. — 423 с.
  7. Б. А. Кушнер. Лекции по конструктивному математическому анализу. — М: Наука, 1973. — 447 с.
  8. B. Russel. Introduction to Mathematical philosophy. — L.–N. Y, 1930. — 208 p. — MathSciNet: MR1243640.
  9. Ю. И. Манин. Доказуемое и недоказуемое. — М: Советское радио, 1979. — 167 с.
  10. Антиномия / Математический энциклопедический словарь. — М: Советская энциклопедия, 1988. — С. 73–75.
  11. Аксиоматическая теория множеств / Математический энциклопедический словарь. — М: Советская энциклопедия, 1988. — С. 44–45.
  12. А. В. Коганов. Эталонные основы математического языка / Интегральная геометрия. Математические модели. Понимание изображений. — Сб. — М, 2001. — С. 52–80.
  13. А. В. Коганов. Парадокс аксиомы композиции / Математика. Образование. Экология. Гендерные проблемы. — Сб. тр. Междунар. конфер. — М: Прогресс–Традиция, 2003. — С. 46–54. — Воронеж, 26–30.05.03 г.
  14. А. В. Коганов. Эмпирико-эталонные основы математических теорий / Математика и опыт. — Сб. — М: МГУ, 2003. — С. 317–340.
  15. Рекурсивная функция / Математический энциклопедический словарь. — М: Советская энциклопедия, 1988. — С. 525–526.
  16. А. Черч. Введение в математическую логику. — М: Иностранная литература, 1969. — 485 с.

Полнотекстовая версия журнала доступна также на сайте научной электронной библиотеки eLIBRARY.RU

Журнал входит в Перечень российских рецензируемых научных журналов, в которых должны быть опубликованы основные научные результаты диссертаций на соискание ученых степеней доктора и кандидата наук ВАК, группы специальностей: 01.01.00, 01.02.00.
 

Международная Междисциплинарная Конференция "Математика. Компьютер. Образование"

Международная Междисциплинарная Конференция МАТЕМАТИКА. КОМПЬЮТЕР. ОБРАЗОВАНИЕ.

Журнал включен в базу данных Russian Science Citation Index (RSCI) на платформе Web of Science

Журнал индексируется в Scopus