Liste over matematiske beviser - List of mathematical proofs
En liste over artikler med matematiske beviser :
Teoremer om hvilke artikler der primært er afsat til at bevise dem
- Bertrands postulat og et bevis
- Estimering af kovariansmatricer
- Fermats lille sætning og nogle beviser
- Gödel's fuldstændighedssætning og dens originale bevis
- Matematisk induktion og et bevis
- Bevis for, at 0,999 ... er lig med 1
- Bevis for, at 22/7 overstiger π
- Bevis for, at e er irrationel
- Bevis for, at π er irrationel
- Bevis for, at summen af gensidigheden af primtalerne adskiller sig
Artikler afsat til sætninger, hvoraf der gives (skitse af a) bevis
- Banach sætning med fast punkt
- Banach – Tarski paradoks
- Basel-problem
- Sætning Bolzano – Weierstrass
- Brouwer sætning med fast punkt
- Buckingham π sætning (bevis pågår)
- Burnsides lemma
- Cantor's sætning
- Sætning Cantor – Bernstein – Schroeder
- Cayleys formel
- Cayleys sætning
- Klikproblem (at gøre)
- Kompaktitetssætning (meget kompakt bevis)
- Erdős – Ko – Rado sætning
- Eulers formel
- Eulers firkantede identitet
- Eulers sætning
- Teorem med fem farver
- Fem lemma
- Grundlæggende sætning af aritmetik
- Gauss – Markov sætning (kort pointer til bevis)
-
Gödel's ufuldstændighedssætning
- Gödel's første ufuldstændighedssætning
- Gödel's anden ufuldstændighedssætning
- Goodsteins sætning
-
Green's sætning (at gøre)
- Green's sætning, når D er en simpel region
- Heine – Borel sætning
- Mellemværdi sætning
- Itôs lemma
- Kőnigs lemma
- Kőnigs sætning (sætteori)
- Kőnigs sætning (grafteori)
- Lagranges sætning (gruppeteori)
- Lagranges sætning (talteori)
- Liouville's sætning (kompleks analyse)
- Markovs ulighed (bevis for en generalisering)
- Gennemsnitlig værdi sætning
- Multivariat normalfordeling (at gøre)
- Holomorfe funktioner er analytiske
- Pythagoras sætning
- Kvadratisk ligning
- Kvotientregel
- Ramseys sætning
- Rao – Blackwell sætning
- Ris sætning
- Rolle's sætning
- Opdelende lemma
- klem sætning
- Sommeregel i differentiering
- Sommeregel i integration
- Sylow sætninger
- Transcendens af e og π (som følger af Lindemann – Weierstrass)
- Tychonoffs sætning (at gøre)
- Ultrafilter-lemma
- Ultraparallel sætning
- Urysohns lemma
- Van der Waerden's sætning
- Wilsons sætning
- Zorns lemma
Artikler afsat til algoritmer, hvori deres korrekthed er bevist
- Bellman – Ford algoritme (at gøre)
- Euklidisk algoritme
- Kruskals algoritme
- Gale – Shapley-algoritme
- Prims algoritme
- Shors algoritme (ufuldstændig)
Artikler, hvor eksempler på udsagn er bevist
- Basis (lineær algebra)
- Burrows – Abadi – Needham-logik
- Direkte bevis
- Generere et vektorrum
- Lineær uafhængighed
- Polynom
- Bevis
- Pumpende lemma
- Simpsons regel
Andre artikler, der indeholder bevis
-
Tilføjelse i N
- associativitet af tilsætning i N
- kommutativitet af tilføjelse i N
- unikhed ved tilføjelse i N
- Algoritmisk informationsteori
-
Boolsk ring
- kommutativitet af en boolsk ring
-
Boolsk tilfredsstillelsesproblem
- NP-fuldstændighed af det boolske tilfredshedsproblem
-
Cantors diagonale argument
- sættet er mindre end dets effekt
- utalligheden af de reelle tal
-
Cantors første utallige bevis
- utalligheden af de reelle tal
- Kombinatorik
- Kombinationslogik
- Co-NP
- Coset
-
Tælles
- tællbarhed af et delsæt af et tællesæt (at gøre)
- Vinkel af parallelisme
-
Galois-gruppen
- Grundlæggende sætning af Galois-teorien (at gøre)
-
Gödel-nummer
- Gödel's ufuldstændighedssætning
- Gruppe (matematik)
-
Problemer med at standse
- standsningsproblemets uopløselighed
-
Harmonisk serie (matematik)
- divergens i den (standard) harmoniske serie
- Meget sammensat nummer
- Område med hyperbolsk sektor , basis for hyperbolsk vinkel
-
Uendelig serie
- konvergens af den geometriske serie med første periode 1 og forholdet 1/2
- Heltals partition
-
Irrationelt nummer
- irrationalitet af log 2 3
- irrationalitet af kvadratroden af 2
- Grænsepunkt
-
Matematisk induktion
- sum identitet
-
Magtregel
- forskellen på x n
- Produkt- og kvotientregler
- Afledning af produkt- og kvotientregler til differentiering.
-
primtal
- Uendelighed af primtalene
- Primitiv rekursiv funktion
-
Princippet om bivalens
- ingen propositioner er hverken sande eller falske i intuitionistisk logik
- Rekursion
- Relationsalgebra (at gøre)
- Løselig gruppe
- Kvadratrod af 2
- Tetris
-
Algebra af sæt
- idempotente love til indstillet union og kryds
Artikler, der nævner afhængigheder af sætninger
- Cauchys integrerede formel
- Cauchy integreret sætning
- Beregningsgeometri
- Grundlæggende sætning af algebra
- Lambda-beregning
- Invariation af domæne
- Minkowski ulighed
- Teori til indlejring af Nash
- Åben kortlægningssætning (funktionel analyse)
- Produkttopologi
- Riemann integreret
-
Tidshierarki sætning
- Deterministisk tidshierarki sætning