Progetto:Matematica/Elenco di dimostrazioni matematiche
Elenco di voci dedicate a dimostrazioni matematiche.
Voci dedicate esclusivamente a una dimostrazione
modifica- Postulato di Bertrand e sua dimostrazione
- Piccolo teorema di Fermat e alcune sue dimostrazioni
- Teorema di completezza di Gödel e sua dimostrazione originale
- Induzione matematica e una sua dimostrazione
- Dimostrazione della divergenza della serie dei reciproci dei primi
- Dimostrazione della irrazionalità di e
- Dimostrazione della trascendenza di e
- Semplice dimostrazione che 22/7 è maggiore di Pi
Voci dedicate a teoremi di cui è data una dimostrazione
modifica- Paradosso di Banach-Tarski
- Problema di Basilea
- Teorema di Bolzano - Weierstrass
- Teorema di Brouwer
- Teorema pi greca di Buckingham (dimostrazione in progresso)
- Lemma di Burnside
- Teorema di Cantor
- Teorema di Cantor - Bernstein - Schroeder
- Principio di localizzazione di Cantor
- Teorema di Cayley
- Problema della cricca (da fare)
- Teorema di compattezza (con una dimostrazione molto compatta)
- Formula di Eulero
- Identità dei quattro quadrati di Eulero
- Teorema di Eulero
- Lemma cinque
- Teorema fondamentale dell'aritmetica
- Teorema di Gauss-Markov
- Teorema di incompletezza di Gödel
- Primo teorema di incompletezza di Gödel
- Secondo teorema di incompletezza di Gödel
- Teorema di Goodstein
- Teorema di Green
- Teorema di Green per una regione semplice
- Teorema di Heine-Borel
- Teorema dei valori intermedi
- Lemma di Itō
- Lemma di König
- Teorema di König
- Teorema di Lagrange
- Teorema di Liouville (breve rinvio a una dimostrazione)
- Disuguaglianza di Markov (dimostrazione di una generalizzazione)
- Teorema del valor medio
- Distribuzione normale multivariata (da fare)
- Dimostrazione che le funzioni olomorfe sono analitiche
- Teorema di Pitagora
- Forma quadratica
- Regola del quoziente
- Teorema di Ramsey
- Teorema di Rao - Blackwell
- Teorema di Rice
- Teorema di Rolle
- Lemma splitting
- Teorema di compressione
- Regola della somma per la differenziazione
- Regola della somma per la integrazione
- Teorema di Sylow
- trascendenza di e e π (come corollari di Lindemann - Weierstrass)
- Teorema di Tychonoff
- Lemma dell'ultrafiltro
- Lemma di Urysohn
- Teorema di estensione di Tietze
- Teorema di Van der Waerden
- Teorema di Wilson
- Lemma di Zorn
Voci dedicate ad algoritmi e alla dimostrazione della loro correttezza
modifica- Algoritmo di Bellman-Ford
- Algoritmo euclideo
- Algoritmo di Kruskal
- Algoritmo di Prim
- Algoritmo di Shor (incompleto)
- Algoritmo di Karmarkar (incompleto)
Voci con dimostrazioni di enunciati esempio
modificaAltre voci contenenti dimostrazioni
modifica- Addizione in N
- Associatività dell'addizione in N
- Commutatività dell'addizione in N
- Unicità dell'addizione in N
- Teoria dell'informazone algoritmica
- Anello booleano
- cerchio
- Commutatività di un anello booleano
- Problema di soddisfacibilità booleana
- NP-completezza del problema di soddisfacibilità booleana
- Calcolo infinitesimale con polinomi
- Argomento diagonale di Cantor
- Un insieme è meno numeroso del suo insieme delle parti
- Non numerabilità dell'insieme dei numeri reali
- Combinatorica
- Logica combinatoria
- Co-NP
- Classe laterale
- Contabile
- Contabilità di un sottoinsieme di un insieme contabile (da fare)
- Contatore
- Gruppo di Galois
- Teorema fondamentale della teoria di Galois (da fare)
- Numero di Gödel
- Teorema di incompletezza di Gödel
- Gruppo (matematica)
- Problema dell'arresto
- Insolubilità del problema dell'arresto
- Serie armonica
- Divergenza della serie armonica (standard)
- Numero altamente composito
- Serie geometrica
- convergenza della serie geometrica con primo termine 1 e rapporto 1/2
- Partizione di un intero
- Numero irrazionale
- Irrazionalità di log23
- Irrazionalità della radice quadrata di 2
- Punto limite
- Induzione matematica
- Identità della somma
- Numero primo
- Infinitezza dei numeri primi
- Funzione ricorsiva primitiva
- Principio di bivalenza
- Nella logica intuizionistica nessuna proposizione è né vera né falsa
- Ricorsione
- Algebra relazionale
- Gruppo risolubile
- Tetris
Voci che richiamano dipendenze di teoremi
modifica- Formula integrale di Cauchy
- Teorema integrale di Cauchy
- Geometria computazionale
- Teorema fondamentale dell'algebra
- Lambda calcolo
- Invarianza di dominio
- Disuguaglianza di Minkowski
- Teorema di immersione di Nash
- Teorema della funzione aperta (analisi funzionale)
- Topologia prodotto
- Integrale di Riemann
- Teorema della gerarchia TIME