Злоупотребление обозначениями Злоупотребление нотацией происходит, когда автор использует математическую нотацию не совсем формально корректным способом. Концепция формальной/синтаксической корректности зависит от […]
Тогда и только тогда, когда “If and only if” (iff) является логической связкой, обозначающей эквивалентность двух утверждений. Связка является двоякой
Исключительный объект Исключительные объекты в математике и математической физике имеют необычные свойства и связи с другими явлениями. Примеры исключительных объектов
Почти везде “Почти везде” – свойство, которое истинно для почти всех точек измеряемого пространства. В математическом анализе, “почти везде” часто
Игрушечная теорема И игрушечная теорема является упрощенным примером более общей теоремы, полезным для представления или доказательства общей теоремы. Введение упрощающих
Метатеорема Метатеорема – утверждение о формальной системе, доказанное на метаязыке. В отличие от теорем, метатеоремы доказываются в рамках метатеории. Формальная
Определение Определение – это описание значения термина или понятия. Определение может быть условным, описательным или уточняющим. Рекурсивные определения определяют слово,
Математическая модель Математические модели используются в различных областях, включая физику, инженерию и информатику. Физические теории часто выражаются с помощью математических
Пропорциональность (математика) Две последовательности чисел пропорциональны или прямо пропорциональны, если их соответствующие элементы имеют постоянное соотношение. Это соотношение называется коэффициентом
Доказательство с помощью бесконечного спуска Бесконечный спуск – метод доказательства, основанный на бесконечной последовательности шагов. Метод бесконечного спуска использовался древними
Тетрадное число Тетрадное число – число, которое остается неизменным при переворачивании различными способами. Единственные числа, которые остаются неизменными при переворачивании,
Коэффициент Коэффициент – мультипликативный множитель в члене многочлена, ряда или выражения. В общем случае коэффициенты могут быть любыми выражениями, включая
Лемма (математика) Лемма в математике, неформальной логике и сопоставлении аргументов – незначительное, доказанное утверждение, используемое как ступенька к более крупному
Неравенство (математика) Неравенства используются в математике для определения величин, которые не могут быть легко вычислены. Некоторые неравенства имеют названия, такие
Универсальное свойство Категория – это математическая структура, объединяющая объекты и морфизмы. Функтор – это отображение между категориями, сохраняющее структуру. Тензорная
Математическая формула Математические формулы – книга Джузеппе Пеано, выражающая фундаментальные теоремы математики на символическом языке. Автору помогали другие математики, включая
Словарь математического жаргона Статья обсуждает красоту математической теории и ее связь с эстетическими качествами изложения. Математики признают красоту теоремы, когда
Проекция (математика) Проекция в математике – это идемпотентное отображение множества в подмножество или подструктуру. Ограничение на подпространство проекции также называется
