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