Список математических доказательств
Список статей с математическими доказательствами :
Теоремы, доказательствам которых в первую очередь посвящены статьи
- Постулат Бертрана и доказательство
- Оценка ковариационных матриц
- Малая теорема Ферма и некоторые доказательства
- Теорема Гёделя о полноте и ее оригинальное доказательство
- Математическая индукция и доказательство
- Доказательство того, что 0,999... равно 1
- Доказательство того, что 22/7 превышает π
- Доказательство того, что e иррационально
- Доказательство того, что π иррационально
- Доказательство того, что сумма обратных величин простых чисел расходится
Статьи, посвященные теоремам, для которых дан (набросок) доказательства
- Теорема Банаха о неподвижной точке
- Парадокс Банаха-Тарского
- Базельская проблема
- Теорема Больцано–Вейерштрасса
- Теорема Брауэра о неподвижной точке
- Теорема Букингема о π (доказательство в процессе)
- Лемма Бернсайда
- Теорема Кантора
- Теорема Кантора–Бернштейна–Шредера
- Формула Кэли
- Теорема Кэли
- Проблема клики (что делать)
- Теорема компактности (очень компактное доказательство)
- Теорема Эрдеша–Ко–Радо
- Формула Эйлера
- Четырехквадратное тождество Эйлера
- Теорема Эйлера
- Теорема о пяти цветах
- Пять лемм
- Основная теорема арифметики
- Теорема Гаусса–Маркова (краткий указатель на доказательство)
- Теорема Гёделя о неполноте
- Первая теорема Гёделя о неполноте
- Вторая теорема Гёделя о неполноте
- Теорема Гудстейна
- Теорема Грина (делать)
- Теорема Грина, когда D — простая область
- Теорема Гейне–Бореля
- Теорема о промежуточном значении
- Лемма Ито
- Лемма Кёнига
- Теорема Кёнига (теория множеств)
- Теорема Кёнига (теория графов)
- Теорема Лагранжа (теория групп)
- Теорема Лагранжа (теория чисел)
- Теорема Лиувилля (комплексный анализ)
- Неравенство Маркова (доказательство обобщения)
- Теорема о среднем значении
- Многомерное нормальное распределение (что делать)
- Голоморфные функции являются аналитическими
- Теорема Пифагора
- Квадратное уравнение
- Правило частного
- Теорема Рамсея
- Теорема Рао–Блэквелла
- Теорема Райса
- Теорема Ролля
- Лемма о расщеплении
- теорема о сжатии
- Правило суммы в дифференциации
- Правило суммы в интегрировании
- Теоремы Силова
- Трансцендентность e и π (как следствия Линдемана–Вейерштрасса)
- Теорема Тихонова (сделать)
- Лемма об ультрафильтре
- Теорема о ультрапараллельности
- Лемма Урысона
- Теорема Ван дер Вардена
- Теорема Вильсона
- Лемма Цорна
Статьи, посвященные алгоритмам, в которых доказана их корректность
- Алгоритм Беллмана–Форда (чтобы сделать)
- Алгоритм Евклида
- Алгоритм Крускала
- Алгоритм Гейла-Шепли
- Алгоритм Прима
- Алгоритм Шора (неполный)
Статьи, в которых приводятся примеры доказанных утверждений
- Базис (линейная алгебра)
- Логика Берроуза–Абади–Нидхэма
- Прямое доказательство
- Генерация векторного пространства
- Линейная независимость
- Полиномиальный
- Доказательство
- Лемма о накачке
- Правило Симпсона
Другие статьи, содержащие доказательства
- Точка накопления
- Добавление в N
- ассоциативность сложения в N
- коммутативность сложения в N
- уникальность сложения в N
- Алгоритмическая теория информации
- Булево кольцо
- коммутативность булева кольца
- Проблема выполнимости булевых уравнений
- NP-полнота задачи булевой выполнимости
- Диагональный аргумент Кантора
- набор меньше, чем его мощность набор
- несчетность действительных чисел
- Первое доказательство несчетности Кантора
- несчетность действительных чисел
- Комбинаторика
- Комбинаторная логика
- Co-НП
- Совместный класс
- исчисляемый
- счетность подмножества счетного множества (сделать)
- Угол параллельности
- Группа Галуа
- Основная теорема теории Галуа (сделать)
- Число Гёделя
- Теорема Гёделя о неполноте
- Группа (математика)
- Проблема остановки
- неразрешимость проблемы остановки
- Гармонический ряд (математика)
- расхождение (стандартного) гармонического ряда
- Очень составное число
- Площадь гиперболического сектора , основание гиперболического угла
- Бесконечный ряд
- сходимость геометрической прогрессии с первым членом 1 и отношением 1/2
- Целочисленное разбиение
- Иррациональное число
- иррациональность логарифма 2 3
- иррациональность квадратного корня из 2
- Математическая индукция
- сумма тождества
- Правило мощности
- дифференциал x n
- Правила произведения и частного
- Вывод правил произведения и частного для дифференцирования.
- Простое число
- Бесконечность простых чисел
- Примитивная рекурсивная функция
- Принцип двузначности
- Рекурсия
- Реляционная алгебра (делать)
- Разрешимая группа
- Квадратный корень из 2
- Тетрис
- Алгебра множеств
- идемпотентные законы для объединения и пересечения множеств
Статьи, в которых упоминаются зависимости теорем
- Интегральная формула Коши
- Интегральная теорема Коши
- Вычислительная геометрия
- Основная теорема алгебры
- Лямбда-исчисление
- Инвариантность домена
- неравенство Минковского
- Теорема вложения Нэша
- Теорема об открытом отображении (функциональный анализ)
- Топология продукта
- Интеграл Римана
- Теорема об иерархии времени
- Теорема о детерминированной временной иерархии
Доказательства с использованием...
топология
Статьи, дающие математические доказательства в рамках физической модели
Смотрите также
