<p>Occurence of contradictions in Zermelo–Fraenkel theory under extension of base language by recursion functions</p>

Koganov A.V.

Issue 4, 2009 Vol. 1

All issues

2024 Vol. 16
- Issue 1 (special issue)
2023 Vol. 15
- Issue 6
- Issue 5
- Issue 4 (special issue)
- Issue 3
- Issue 2 (special issue)
- Issue 1
2022 Vol. 14
- Issue 6
- Issue 5
- Issue 4 (special issue)
- Issue 3
- Issue 2 (special issue)
- Issue 1
2021 Vol. 13
- Issue 6
- Issue 5
- Issue 4
- Issue 3
- Issue 2 (special issue)
- Issue 1
2020 Vol. 12
- Issue 6
- Issue 5
- Issue 4
- Issue 3
- Issue 2
- Issue 1
2019 Vol. 11
- Issue 6
- Issue 5
- Issue 4
- Issue 3
- Issue 2
- Issue 1
2018 Vol. 10
- Issue 6
- Issue 5 (special issue)
- Issue 4
- Issue 3 (special issue)
- Issue 2
- Issue 1
2017 Vol. 9
- Issue 6
- Issue 5
- Issue 4
- Issue 3
- Issue 2
- Issue 1
2016 Vol. 8
- Issue 6
- Issue 5
- Issue 4
- Issue 3
- Issue 2
- Issue 1
2015 Vol. 7
- Issue 6
- Issue 5
- Issue 4
- Issue 3 (special issue)
- Issue 2
- Issue 1
2014 Vol. 6
- Issue 6 (special issue)
- Issue 5
- Issue 4
- Issue 3
- Issue 2
- Issue 1
2013 Vol. 5
- Issue 6 (special issue)
- Issue 5
- Issue 4
- Issue 3
- Issue 2
- Issue 1
2012 Vol. 4
- Issue 4
- Issue 3
- Issue 2
- Issue 1
2011 Vol. 3
- Issue 4
- Issue 3
- Issue 2
- Issue 1
2010 Vol. 2
- Issue 4
- Issue 3
- Issue 2
- Issue 1
2009 Vol. 1
- Issue 4
- Issue 3
- Issue 2
- Issue 1

Occurence of contradictions in Zermelo–Fraenkel theory under extension of base language by recursion functions

Koganov A.V.

pdf (166K) / Annotation

List of references:

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

Indexed in Scopus

Full-text version of the journal is also available on the web site of the scientific electronic library eLIBRARY.RU

The journal is included in the Russian Science Citation Index

The journal is included in the RSCI

International Interdisciplinary Conference "Mathematics. Computing. Education"