Lista dowodów matematycznych

Lista artykułów z dowodami matematycznymi :

Twierdzenia, których dowodzeniu poświęcone są artykuły

Zobacz też: Kategoria: Dowody artykułów

• i dowód Bertranda
• Estymacja macierzy kowariancji
• Małe twierdzenie Fermata i kilka dowodów
• Twierdzenie Gödla o zupełności i jego oryginalny dowód
• Indukcja matematyczna i dowód
• Dowód, że 0,999... równa się 1
• Dowód, że 22/7 przekracza π
• Dowód, że e jest niewymierne
• Dowód, że π jest niewymierne
• Dowód, że suma odwrotności liczb pierwszych jest różna

Artykuły poświęcone twierdzeniom, których dowód (szkic) jest podany

Zobacz też: Kategoria: Artykuły zawierające dowody

• Twierdzenie Banacha o punkcie stałym
• Paradoks Banacha-Tarskiego
• Problem z Bazyleą
• Twierdzenie Bolzano-Weierstrassa
• Twierdzenie Brouwera o punkcie stałym
• Twierdzenie Buckinghama π (dowód w toku)
• Lemat Burnside'a
• Twierdzenie Cantora
• Twierdzenie Cantora-Bernsteina-Schroedera
• Formuła Cayleya
• Twierdzenie Cayleya
• Problem z kliką (do zrobienia)
• Twierdzenie o zwartości (dowód bardzo zwarty)
• Twierdzenie Erdősa – Ko – Rado
• Formuła Eulera
• Tożsamość czterech kwadratów Eulera
• Twierdzenie Eulera
• Twierdzenie o pięciu kolorach
• Pięć lematów
• Podstawowe twierdzenie arytmetyki
• Twierdzenie Gaussa-Markowa (krótkie wskazanie dowodu)
• Twierdzenie Gödla o niezupełności
  • Pierwsze twierdzenie Gödla o niezupełności
  • Drugie twierdzenie Gödla o niezupełności
• Twierdzenie Goodsteina
• Twierdzenie Greena (do zrobienia)
  • Twierdzenie Greena, gdy D jest regionem prostym
• Twierdzenie Heinego-Borela
• Twierdzenie o wartości pośredniej
• Lemat Ito
• Lemat Kőniga
• Twierdzenie Kőniga (teoria mnogości)
• Twierdzenie Kőniga ( teoria grafów )
• Twierdzenie Lagrange'a ( teoria grup )
• Twierdzenie Lagrange'a (teoria liczb)
• Twierdzenie Liouville'a (złożona analiza)
• Nierówność Markowa (dowód uogólnienia)
• Twierdzenie o wartości średniej
• Wielowymiarowy rozkład normalny (do zrobienia)
• Funkcje holomorficzne są analityczne
• twierdzenie Pitagorasa
• Równanie kwadratowe
• Reguła ilorazowa
• Twierdzenie Ramseya
• Twierdzenie Rao-Blackwella
• Twierdzenie Rice'a
• Twierdzenie Rolle'a
• Dzielący lemat
• twierdzenie o ściśnięciu
• Reguła sumy w różniczkowaniu
• Reguła sumy w całkowaniu
• Twierdzenia Sylowa
• Transcendencja e i π (jako następstwa Lindemanna – Weierstrassa)
• Twierdzenie Tychonowa (zrobić)
• Lemat o ultrafiltrze
• Twierdzenie ultrarównoległe
• Lemat Urysohna
• Twierdzenie Van der Waerdena
• Twierdzenie Wilsona
• Lemat Zorna

Artykuły poświęcone algorytmom, w których udowodniono ich poprawność

• Algorytm Bellmana-Forda (do zrobienia)
• Algorytm euklidesowy
• Algorytm Kruskala
• Algorytm Gale'a-Shapleya
• Algorytm Prima
• Algorytm Shora (niekompletny)

Artykuły, w których udowodniono przykładowe stwierdzenia

Zobacz też: Kategoria: Artykuły zawierające dowody

• Podstawa (algebra liniowa)
• Logika Burrowsa-Abadiego-Needhama
• Bezpośredni dowód
• Generowanie przestrzeni wektorowej
• Niezależność liniowa
• Wielomian
• Dowód
• Lemat o pompowaniu
• Reguła Simpsona

Inne artykuły zawierające dowody

Zobacz też: Kategoria: Artykuły zawierające dowody

• Punkt akumulacji
• Dodatek w N
  • łączność dodawania w N
  • przemienność dodawania w N
  • niepowtarzalność dodawania w N
• Algorytmiczna teoria informacji
• Boolowska
  • przemienność pierścienia boolowskiego
• Boolowski problem spełnialności
  • NP-zupełność boolowskiego problemu spełnialności
• Argument diagonalny Cantora
  • zbiór jest mniejszy niż jego zbiór mocy
  • nieprzeliczalność liczb rzeczywistych
• Pierwszy dowód niepoliczalności Cantora
  • niepoliczalność liczb rzeczywistych
• Kombinatoryka
• Logika kombinacyjna
• Współ-NP
• Coset
• Policzalna
  • policzalność podzbioru zbioru policzalnego (do zrobienia)
• Kąt równoległości
• Grupa Galois
  • Podstawowe twierdzenie teorii Galois (do zrobienia)
• Liczba Gödla
  • Twierdzenie Gödla o niezupełności
• Grupa (matematyka)
• Problem stopu
  • nierozwiązywalność problemu stopu
• Szereg harmoniczny (matematyka)
  • rozbieżność (standardowego) szeregu harmonicznego
• Wysoce złożona liczba
• Pole sektora hiperbolicznego , podstawa kąta hiperbolicznego
• nieskończonych szeregów
  • szeregu geometrycznego z pierwszym wyrazem 1 i stosunkiem 1/2
• Partycja liczb całkowitych
• Liczba niewymierna
  • irracjonalność logarytmu ₂ 3
  • irracjonalność pierwiastka kwadratowego z 2
• • Tożsamość sumy
  indukcyjnej matematycznej
• • Różniczka x ⁿ
  reguły potęgowej
• Reguły iloczynu i ilorazu
• Wyprowadzenie reguł iloczynu i ilorazu dla różniczkowania.
• Liczba pierwsza
  • Nieskończoność liczb pierwszych
• Prymitywna funkcja rekurencyjna
• Zasada biwalencji
  • żadne zdania nie są ani prawdziwe, ani fałszywe w logice intuicjonistycznej
• rekurencja
• Algebra relacyjna (do zrobienia)
• Rozwiązywalna grupa
• Pierwiastek kwadratowy z 2
• Tetris
• Algebra zbiorów
  • idempotentne prawa dla sumy i przecięcia zbiorów

Artykuły, które wspominają o zależnościach twierdzeń

• Wzór całkowy Cauchy'ego
• Twierdzenie całkowe Cauchy'ego
• Geometria obliczeniowa
• Podstawowe twierdzenie algebry
• rachunek lambda
• Niezmienność dziedziny
• Nierówność Minkowskiego
• Twierdzenie Nasha o osadzeniu
• Twierdzenie o otwartym odwzorowaniu ( analiza funkcjonalna )
• Topologia produktu
• Całka Riemanna
• Twierdzenie o hierarchii czasu
  • Deterministyczne twierdzenie o hierarchii czasu

Artykuły przedstawiające dowody matematyczne w ramach modelu fizycznego

• Twierdzenie o braku klonowania
• Moment obrotowy

Zobacz też

• Dowód ontologiczny Gödla
• Nieważny dowód
• Lista twierdzeń
• Lista niekompletnych dowodów
• Lista długich dowodów