[ Switch to English ]

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

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

Ключевые слова: теория Цермело–Френкеля, рекурсивные функции, теория множеств
Цитата: Коганов А.В. Возникновение противоречий в теории множеств Цермело–Френкеля при расширении базового языка рекурсивными функциями // Компьютерные исследования и моделирование, 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
DOI: 10.20537/2076-7633-2009-1-4-367-380
Creative Commons License Статья доступна по лицензии Creative Commons Attribution-NoDerivs 3.0 Unported License.
Информация о цитировании статьи по данным Crossref:
  • Vladimir V. Belov, Aleksandr K. Lopatin. Automated Approach for Product Sizes Measurement on the Conveyor Belt. // ITM Web of Conferences. 2017. — V. 10. — P. 01002. DOI: 10.1051/itmconf/20171001002
Сведения о цитировании могут быть существенно неполными, так как они базируется только на информации, полученной от партнёров программы Crossref cited-by.
Просмотров за год: 1. Цитирований: 2 (РИНЦ).

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

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

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

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

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

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