О счётности простых деревьев и следствиях из неё

Автор: Чечулин Виктор Львович

Журнал: Вестник Пермского университета. Математика. Механика. Информатика @vestnik-psu-mmi

Статья в выпуске: 4 (4), 2010 года.

Бесплатный доступ

Ввиду доказанной ранее некорректности диагонального метода (Зенкин) переобоснованы, посредством семантики самопринадлежности, теоремы Гёделя, а также утверждения о несчетности количества точек прямой; указано на возможность лишь счетного количества обозначений, построен пересчет обозначений n-ичных разложений чисел на отрезке [0, 1).

Семантика самопринадлежности, теоремы гёделя, предикативные и непредикативные формальные системы, несчетность числа точек на прямой, счетность обозначений

Короткий адрес: https://sciup.org/14729683

IDR: 14729683

Список литературы О счётности простых деревьев и следствиях из неё

А. А. Принцип разделения времени и анализ одного класса квазифинитных правдоподобных рассуждений (на примере теоремы Г. Кантора о несчетности)//Доклады Академии наук. 1997. Т.356, №6. С.733-735.
Френкель А., Бар-Хиллел И. Основания теории множеств/пер. с англ.; под. ред. А.С. Есенина-Вольпина. М.: Мир, 1966. 366 с.
Чечулин В.Л. О множествах с самопринадлежностью//Вестн. Перм. ун-та. Сер. Математика. Механика. Информатика. 2005. Вып. 2(2). С.133-138.
Чечулин В.Л. Об упорядоченных множествах с самопринадлежностью//Вестн. Перм. ун-та. Сер. Математика. Механика. Информатика. 2008. Вып. 4(20). С.37-45.
Чечулин В.Л. О свободе теории множеств с самопринадлежностью от известных парадоксов наивной теории множеств//Вестн. Перм. ун-та. Сер. Математика. Механика. Информатика. 2010. Вып. 1 (1). С. 29-31.

Статья научная