теорема
81Теорема Тарского о невыразимости истины — Теорема Тарского о невыразимости арифметической истины теорема, доказанная Альфредом Тарским в 1936 году, важный ограничивающий результат в математической логике, основаниях математики и формальной семантике. Теорема гласит, что множество… …
82Теорема Пуанкаре — Бендиксона — теорема в теории динамических систем, описывающая возможные типы предельного поведения траектории векторного поля на плоскости или на сфере. Теорема утверждает, что предельное поведение траекторий в этом случае регулярно, и не может быть… …
83Теорема Александера о предбазе — Теорема Александера о предбазе[1] (англ. Alexander Subbase Theorem) теорема общей топологии, устанавливающая критерий компактности топологического пространства. Компактным называется пространство, допускающая выделение из каждого своего… …
84Теорема Гамильтона-Кэли — Теорема Гамильтона Кэли  известная теорема из теории матриц, названная в честь Уильяма Гамильтона и Артура Кэли Теорема Гамильтона Кэли Любая квадратная матрица удовлетворяет своему характеристическому уравнению. (Если …
85Теорема Гудстейна — Теорема Гудстейна  теорема математической логики о натуральных числах, доказанная Рубеном Гудстейном.[1] Утверждает, что все последовательности Гудстейна заканчиваются нулём. Как показали Л. Кирби и Дж. Парис (англ.),[2][3] Теорема… …
86Теорема Крейна — Мильмана — важный факт из выпуклого анализа в линейных топологических пространствах. Для бесконечномерных пространств данная теорема, как и многие другие результаты, не может быть доказана без применения аксиомы выбора …
87Теорема Абеля — Теорема Абеля  Руффини утверждает, что общее уравнение степени при неразрешимо в радикалах. Содержание 1 Подробности …
88Теорема Пэли — Винера  совокупность всех целых функций экспоненциального типа , для которых совпадает с множеством функций , допускающих представление , где …
89Теорема Редфилда — Теорема (теория) Редфилда Пойа классический результат перечислительной комбинаторики. Впервые эта теорема была получена и опубликована Редфилдом в 1927 году, но работа была сочтена весьма специальной и осталась незамеченной. Пойа независимо… …
90Теорема Рауса — Теорема Рауса  Гурвица предоставляет возможность определить, является ли данный многочлен устойчивым по Гурвицу. Была доказана в 1895 году и названа в честь Эдварда Джона Рауса (англ.) и Адольфа Гурвица. Содержание 1 Условные… …
