идея доказательства
11Теорема Хаусдорфа — Теорема (или парадокс) Хаусдорфа  доказываемое в теории множеств утверждение о существовании счётного подмножества двумерной сферы , дополнение которого может быть представлено в виде объединения трёх непересекающихся множеств , и ,… …
12ЭЛИМИНАЦИОННАЯ ТЕОРЕМА — ЭЛИМИНАЦИОННАЯ ТЕОРЕМА фундаментальная теорема доказательств теории. Термин “элиминационная теорема” введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом …
13Теорема Ирншоу — сформулирована в XIX веке английским физиком Ирншоу. Является следствием теоремы Гаусса. Теорема Ирншоу чисто классическая (не квантовая) теорема и не имеет квантового аналога (подробности см. ниже). Содержание …
14Парадокс Хаусдорфа — Теорема (или парадокс) Хаусдорфа доказываемое в теории множеств утверждение о существовании счётного подмножества T двумерной сферы S2, дополнение которого может быть представлено в виде объединения трёх непересекающихся множеств A, B и C,… …
15КАНТОРА ТЕОРЕМА — 1) Множество 2A, состоящее из всех подмножеств множества А, не равномощно ни самому А, ни его подмножеству. Идея доказательства этой теоремы, принадлежащая Г. Кантору (G.Cantor, 1878), получила название канторова диагонального метода и играет… …
16Дзета-функция Римана — Запрос «Дзета функция» перенаправляется сюда; см. также другие значения. Качественный график дзета функции Римана на действительной оси. Слева от нуля значения функции увеличены в 100 раз …
17Квадрирование квадрата — Разбиение квадрата на 21 квадрат, среди которых нет равных. Цифра внутри каждого квадрата означает длину его стороны. Соответственно, длина стороны большого квадрата равна (складывая длины сторон крайних квадратов)… …
18Симплектическое пространство — Симплектическое пространство  это векторное пространство S с заданной на нём симплектической формой , то есть билинейной кососимметрической невырожденной 2 формой …
19Косоортогональное дополнение — Симплектическое пространство это линейное пространство S с заданной на нём симплектической формой ω, то есть билинейной кососимметрической невырожденной 2 формой …
20ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ — выражение появилось в 1930 г. для обозначения философии логического или лингвистического анализа, возникшей в Великобритании в начале XX в. под влиянием Мора и Рассела. Эта философия анализа была подхвачена австрийскими философами Витгенштейном и …