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

Все выпуски

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

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

    Ключевые слова: теория Цермело–Френкеля, рекурсивные функции, теория множеств.
    Просмотров за год: 1. Цитирований: 2 (РИНЦ).

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

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

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

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

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

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

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