Диагональный аргумент (диагональный метод Кантора) — доказательство теоремы Кантора о том, что множество всех подмножеств данного множества имеет бо́льшую...
5 KB (262 words) - 08:45, 16 April 2024
аргумент к множеству всех множеств. Фактически расселовское множество есть диагональное множество Кантора s {\displaystyle s} . Диагональный аргумент...
59 KB (4,061 words) - 19:30, 25 November 2024
выделения, значение есть подмножество А. Р. Курант, Г. Роббинс Что такое математика? Глава II, § 4, С. 111—122. Диагональный аргумент Парадокс Рассела...
4 KB (321 words) - 15:43, 4 October 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
9 KB (522 words) - 22:27, 12 September 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
7 KB (630 words) - 21:14, 28 June 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
5 KB (362 words) - 17:29, 16 October 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
7 KB (701 words) - 04:30, 14 February 2023
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
5 KB (360 words) - 13:50, 18 December 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
28 KB (2,062 words) - 10:47, 18 September 2024
Есенин-Вольпин поддерживал «увеличивающий» диагональный аргумент Кантора и отвергал «уменьшающий» аргумент Гёделя; он пытался доказать непротиворечивость...
39 KB (2,303 words) - 05:34, 3 December 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
12 KB (1,133 words) - 05:41, 9 November 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
3 KB (363 words) - 17:07, 6 October 2023
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
6 KB (519 words) - 09:48, 21 April 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
6 KB (505 words) - 11:02, 8 December 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
7 KB (544 words) - 01:50, 29 February 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
3 KB (166 words) - 05:15, 6 May 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
17 KB (1,295 words) - 13:44, 1 May 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
15 KB (1,007 words) - 14:57, 3 March 2024
{\displaystyle 2^{|X|}>|X|} для любого множества X {\displaystyle X} (см. Диагональный метод Кантора). Отсюда следует, что среди кардинальных чисел нет наибольшего...
34 KB (3,076 words) - 01:13, 14 September 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
14 KB (1,086 words) - 15:52, 16 December 2023
который принимает на вход число N {\displaystyle N} , передает пару аргументов ( N , N ) {\displaystyle (N,N)} Анализатору и возвращает результат его...
8 KB (601 words) - 05:37, 6 May 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
3 KB (196 words) - 19:34, 22 December 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
8 KB (604 words) - 04:35, 14 February 2023
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
7 KB (513 words) - 04:29, 14 February 2023
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
9 KB (627 words) - 11:12, 1 July 2023
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
25 KB (2,124 words) - 15:02, 25 July 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
13 KB (971 words) - 04:33, 29 March 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
8 KB (484 words) - 09:17, 4 September 2023
обходить любое (счётное) бесконечное дерево, главным образом через диагональный аргумент[англ.] («диагональ», комбинация вертикали и горизонтали, соответствует...
32 KB (1,935 words) - 14:10, 21 October 2023
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
18 KB (2,268 words) - 12:50, 15 July 2024
Неупорядоченная пара Упорядоченная пара Кортеж Мощность Порядковый тип Диагональный аргумент Конструктивный универсум Континуум-гипотеза Семейство Биекция Форма...
22 KB (1,374 words) - 22:52, 29 June 2023