Трансфинитная индукция — метод доказательства, обобщающий математическую индукцию на случай несчётного числа значений параметра. Трансфинитная индукция...
8 KB (604 words) - 04:35, 14 February 2023
Индуктивное умозаключение (redirect from Индукция (философия))
используются метод математической индукции и трансфинитная индукция, которые позволяют осуществить полную индукцию для бесконечных счётного и несчётного...
24 KB (1,598 words) - 11:38, 23 April 2024
бином Ньютона. Обратная индукция Структурная индукция Трансфинитная индукция Математический софизм#Доказательство по индукции Доказательство одноцветности...
11 KB (819 words) - 19:08, 28 April 2024
Порядковое число (redirect from Трансфинитное число)
теории множеств — в частности, благодаря связанному с ними принципу трансфинитной индукции. Порядковые числа были введены Георгом Кантором в 1883 году как...
55 KB (4,427 words) - 17:48, 19 December 2023
Сюрреальные числа (section Трансфинитная индукция)
подмножества (для более строгого определения требуется понятие трансфинитной индукции), так что любое действительное число а может быть представлено {...
67 KB (5,697 words) - 13:11, 9 December 2023
Бесконечность (section Индукция)
далее строятся ординалы высших порядков. Трансфинитная индукция — обобщение принципа математической индукции, позволяющий доказывать утверждения относительно...
102 KB (6,254 words) - 13:39, 30 April 2024
Аксиомы Пеано (redirect from Аксиома полной индукции)
арифметики Пеано доказана[англ.] в 1936 году Генценом с помощью трансфинитной индукции до ординала ϵ 0 . {\displaystyle \epsilon _{0}.} Как следует из...
13 KB (1,090 words) - 18:19, 23 March 2024
разделы теории множеств, включая теорию точечных множеств и теорию трансфинитных чисел (кардинальных и порядковых). В этих работах он не только ввёл...
28 KB (2,062 words) - 15:13, 2 June 2024
взаимно-однозначное соответствие, мощность (конечная, счётная, несчётная), трансфинитная индукция. Множества, в том числе и бесконечные, в неявной форме фигурировали...
70 KB (4,297 words) - 13:42, 6 May 2024
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
52 KB (3,324 words) - 12:51, 3 January 2024
чисел, арифметику кардинальных и порядковых чисел. Теория Кантора о трансфинитных числах первоначально была воспринята как нарушение многовековых традиций...
39 KB (2,298 words) - 15:07, 5 June 2024
финитных методов недостаточно, и добавили в число логических средств трансфинитную индукцию. В 1936 году Герхард Генцен сумел доказать[англ.] непротиворечивость...
39 KB (2,835 words) - 05:32, 6 May 2024
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
41 KB (2,728 words) - 11:34, 27 March 2024
примитивно рекурсивную арифметику с дополнительной аксиомой для трансфинитной индукции до ординала ε0. Согласно Рову (Rowe) и Грею (Gray) (см. далее),...
31 KB (1,502 words) - 09:53, 22 April 2024
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
6 KB (519 words) - 09:48, 21 April 2024
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
9 KB (522 words) - 17:18, 3 October 2023
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
6 KB (527 words) - 04:29, 14 February 2023
сопоставления с числом n + 1 {\displaystyle n+1} , откуда по принципу индукции, построенное подмножество будет биективно с N {\displaystyle \mathbb {N}...
17 KB (1,295 words) - 13:44, 1 May 2024
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
4 KB (321 words) - 18:35, 10 October 2023
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
120 KB (8,156 words) - 00:14, 12 May 2024
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
13 KB (971 words) - 04:33, 29 March 2024
примитивно рекурсивную арифметику с дополнительной аксиомой для трансфинитной индукции до ординала ε0. На практике множество элементарных логических операций...
42 KB (2,532 words) - 12:30, 2 March 2024
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
7 KB (701 words) - 04:30, 14 February 2023
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные...
22 KB (1,727 words) - 08:17, 29 January 2022
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
25 KB (2,124 words) - 12:47, 16 September 2023
другу, либо ровно одно из них изоморфно начальному отрезку другого. Трансфинитная индукция Н. К. Верещагин, А. Шень. Часть 1. Начала теории множеств // Лекции...
5 KB (274 words) - 21:39, 12 April 2024
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
37 KB (3,397 words) - 22:40, 29 June 2023
высказываний 2. О единственности «бесконечного множества» 3. Прочее Аксиоматика теории множеств Математическая индукция Трансфинитная индукция Натуральные числа...
2 KB (306 words) - 12:27, 9 March 2023
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
59 KB (4,058 words) - 11:12, 7 March 2024
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
22 KB (1,374 words) - 22:52, 29 June 2023
универсум Континуум-гипотеза Семейство Биекция Форма записи множества Трансфинитная индукция Диаграмма Венна Типы множеств Аморфное[англ.] Счётное Пустое...
18 KB (2,266 words) - 12:29, 2 December 2023