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

Коганов А.В.
 pdf (166K)

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

Ключевые слова: теория Цермело–Френкеля, рекурсивные функции, теория множеств
Цитата: Коганов А.В. Возникновение противоречий в теории множеств Цермело–Френкеля при расширении базового языка рекурсивными функциями // Компьютерные исследования и моделирование, 2009, т. 1, № 4, с. 367-380
Citation in English: Koganov A.V. Occurence of contradictions in Zermelo–Fraenkel theory under extension of base language by recursion functions // Computer Research and Modeling, 2009, vol. 1, no. 4, pp. 367-380
URL: http://crm.ics.org.ru/journal/article/1598/
Creative Commons License
Статья доступна по лицензии Creative Commons Attribution-NoDerivs 3.0 Unported License.

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

Журнал входит в систему  Российского индекса научного цитирования.

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

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

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

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

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

Copyright © 2009–2018 Институт компьютерных исследований