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