Текущий выпуск Номер 2, 2024 Том 16

Все выпуски

Результаты поиска по 'Zermelo–Fraenkel theory':
Найдено статей: 1
  1. Коганов А.В.
    Возникновение противоречий в теории множеств Цермело–Френкеля при расширении базового языка рекурсивными функциями
    Компьютерные исследования и моделирование, 2009, т. 1, № 4, с. 367-380

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

    Ключевые слова: теория Цермело–Френкеля, рекурсивные функции, теория множеств.
    Koganov A.V.
    Occurence of contradictions in Zermelo–Fraenkel theory under extension of base language by recursion functions
    Computer Research and Modeling, 2009, v. 1, no. 4, pp. 367-380

    It is shown that the extension of base language in Zermelo–Fraenkel theory, which allows a relations on recursion function of natural argument, may lead in Set Theory to contradictive constructions on arithmetic level.

    Keywords: Zermelo–Fraenkel theory, recursion functions, set theory.
    Просмотров за год: 1. Цитирований: 2 (РИНЦ).

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

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

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

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

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

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

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