Результаты поиска

...ледует существование соответствующей математической задачи. Доказательство теорем существования необходимо перед решением различных математических задач, вро == Конструктивность теорем существования == ...

== Формулировка теорем == ...

'''Теорема Шаудера — Тихонова''' — одна из теорем о [[Неподвижная точка|неподвижных точках]], являющаяся обобщением [[Теорема ...

...htarrow \overline{A}</math>) или одной из двух [[обратная теорема|обратных теорем]] (<math>A \Rightarrow B</math> и <math>B \Rightarrow A</math>; <math>\over ...

Существование недоказуемых теорем арифметики прямо вытекает из [[Теорема Гёделя о неполноте|первой теоремы Гё Данная теорема и её доказательство были опубликованы в [[1977 год в науке|1977 году]] [[Парис, Джефф|Джеффри П ...

...ра]], [[гомоморфизм]]а и [[подмножество|вложенного объекта]]. Утверждением теорем является [[изоморфизм]] некоторой пары [[группа (математика)|групп]], [[кол ...и [[линейное пространство|линейных пространств]] являются частным случаем теорем для [[модуль над кольцом|модулей]], которые и будут сформулированы. ...

...)</ref> к [[Начала Евклида|«Геометрии»]] [[Евклид]]а. Евклид одну из своих теорем доказал, делая допущение, что она является ложной. ...

...ания [[Автоматическое доказательство теорем|автоматического доказательства теорем]] со встроенным в систему Пролог [[Поиск с возвратом|механизмами перебора с ...

'''Первая теорема разложения''' — одна из теорем [[Операционное исчисление|операционного исчисления]]. Позволяет найти ориги ...

Эта конструкция используется в доказательствах теорем о [[Вариация поворота кривой|вариации поворота]], в частности [[теорема Фен ...

== Формулировка теорем == ...

...ом. В [[Автоматическое доказательство теорем|автоматическом доказательстве теорем]], это может давать большую эффективность в доказательстве теоремы, предста ...

Одна из ключевых теорем теории вероятностей — [[центральная предельная теорема]] — утверждает, что ...

'''Теоре́ма Вариньо́на''' — одна из [[теорема|теорем]] [[механика|механики]], устанавливающая равенство между суммой [[момент си ...

Ещё одно из утверждений класса {{iw|теорема о неподвижной точке|теорем о неподвижной точке|en|fixed-point theorem}} — [[теорема Кнастера — Тарског ...

'''Теорема Минковского о выпуклом теле''' — одна из теорем [[геометрия чисел|геометрии чисел]], послужившая основой выделения геометри ...

...мирования)|Пролог]], использующие механизмы автоматического доказательства теорем для поиска и логически осмысленного вывода информации ...

'''Теорема Стеклова''' — одна из фундаментальных теорем [[Математическая физика|математической физики]] и теории [[Ряд Фурье|рядов ...

...ля о полноте́ исчисле́ния предика́тов''' является одной из фундаментальных теорем [[математическая логика|математической логики]]: она устанавливает однознач == Доказательство == ...

...сиом любой аксиоматической теории множеств непротиворечива, то она, в силу теорем Гёделя и Лёвенгейма — Скулема, имеет [[Модель (теория моделей)|модель]] и, В силу теорем <math>\mathrm{ZF}</math>, вне зависимости от принятой модели в <math>\mathr ...