доказываемое утверждение
1Доказательство одноцветности всех лошадей — Доказательство одноцветности всех лошадей  ошибочное доказательство того, что все лошади одного цвета, придуманное венгерским математиком Пойа[1]. Доказательство призвано продемонстрировать ошибки, возникающие при неправильном использовании… …
2СИНТЕЗ — (от греч. соединение, сочетание, составление), соединение различных элементов, сторон предмета в единое целое (систему), которое осуществляется как в практич. деятельности, так и в процессе познания. В этом значении С. противоположен… …
3Положение — ср. 1. Местонахождение кого либо, чего либо в пространстве. отт. Расположение какого либо пункта или участка земной поверхности. 2. Расположение, постановка тела или частей его; поза. отт. Расположение предметов. 3. Состояние, обусловленное… …
4СИНТАКСИС — в математической логике описание и изучение формальной аксиоматич. теории как чисто знаковой системы (в отличие от семантики, исследующей смысл и содержание объектов формальной теории). Различие между С. и семантикой особенно существенно в… …
5Венгерский алгоритм — Венгерский алгоритм  алгоритм оптимизации, решающий задачу о назначениях за полиномиальное время (см. исследование операций). Он был разработан и опубликован Харолдом Куном в 1955 году. Автор дал ему имя «венгерский метод» в связи с тем, что …
6Теорема о 9 точках на кубике — Иллюстрация к теореме о 9 точках Теорема о 9 точках на кубике  теорема аналитической геометрии, которая гласит, что[1] …
7ДОСТАТОЧНОГО ОСНОВАНИЯ ПРИНЦИП — принцип, требующий, чтобы в случае каждого утверждения указывались убедительные основания, в силу которых оно принимается и считается истинным. Требование достаточных или убедительных оснований столь же старо, как и само теоретическое мышление. В …
8Теорема Хаусдорфа — Теорема (или парадокс) Хаусдорфа  доказываемое в теории множеств утверждение о существовании счётного подмножества двумерной сферы , дополнение которого может быть представлено в виде объединения трёх непересекающихся множеств , и ,… …
9Парадокс Хаусдорфа — Теорема (или парадокс) Хаусдорфа доказываемое в теории множеств утверждение о существовании счётного подмножества T двумерной сферы S2, дополнение которого может быть представлено в виде объединения трёх непересекающихся множеств A, B и C,… …
10Конструктивная математика — У этого термина существуют и другие значения, см. конструктивизм. Конструктивная математика абстрактная наука о конструктивных процессах[прояснить], человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание …
