Una lista de artículos con pruebas matemáticas :
Teoremas cuyos artículos se dedican principalmente a probarlos
- Postulado de Bertrand y prueba
- Estimación de matrices de covarianza
- El pequeño teorema de Fermat y algunas demostraciones
- Teorema de completitud de Gödel y su demostración original
- Inducción matemática y prueba
- Prueba de que 0,999 ... es igual a 1
- Prueba de que 22/7 supera π
- Prueba de que e es irracional
- Prueba de que π es irracional
- Prueba de que la suma de los recíprocos de los primos diverge
Artículos dedicados a teoremas de los cuales se da un (bosquejo de a) prueba
- Teorema del punto fijo de Banach
- Paradoja de Banach-Tarski
- Problema de Basilea
- Teorema de Bolzano-Weierstrass
- Teorema del punto fijo de Brouwer
- Teorema π de Buckingham (prueba en curso)
- Lema de Burnside
- Teorema de cantor
- Teorema de Cantor-Bernstein-Schroeder
- Fórmula de Cayley
- Teorema de Cayley
- Problema de camarilla (hacer)
- Teorema de la compacidad (prueba muy compacta)
- Teorema de Erdős-Ko-Rado
- Fórmula de Euler
- La identidad de cuatro cuadrados de Euler
- Teorema de euler
- Teorema de los cinco colores
- Cinco lema
- Teorema fundamental de la aritmética
- Teorema de Gauss-Markov (breve referencia a la demostración)
- Teorema de incompletitud de Gödel
- El primer teorema de incompletitud de Gödel
- Segundo teorema de incompletitud de Gödel
- Teorema de goodstein
- Teorema de Green (hacer)
- Teorema de Green cuando D es una región simple
- Teorema de Heine-Borel
- Teorema del valor intermedio
- El lema de Itô
- Lema de Kőnig
- Teorema de Kőnig (teoría de conjuntos)
- Teorema de Kőnig (teoría de grafos)
- Teorema de Lagrange (teoría de grupos)
- Teorema de Lagrange (teoría de números)
- Teorema de Liouville (análisis complejo)
- Desigualdad de Markov (prueba de una generalización)
- Teorema del valor medio
- Distribución normal multivariante (por hacer)
- Las funciones holomorfas son analíticas
- Teorema de pitágoras
- Ecuación cuadrática
- Regla del cociente
- Teorema de ramsey
- Teorema de Rao-Blackwell
- Teorema de Rice
- Teorema de rolle
- Lema de división
- teorema del emparedado
- Regla de suma en diferenciación
- Regla de suma en integración
- Teoremas de Sylow
- Trascendencia de e y π (como corolarios de Lindemann-Weierstrass)
- Teorema de Tychonoff (hacer)
- Lema de ultrafiltro
- Teorema ultraparalelo
- Lema de Urysohn
- Teorema de van der Waerden
- Teorema de wilson
- Lema de Zorn
Artículos dedicados a algoritmos en los que se demuestra su corrección
- Algoritmo de Bellman-Ford (hacer)
- Algoritmo euclidiano
- Algoritmo de Kruskal
- Algoritmo de Gale-Shapley
- Algoritmo de Prim
- Algoritmo de Shor (incompleto)
Artículos donde se prueban declaraciones de ejemplo
- Base (álgebra lineal)
- Lógica de Burrows-Abadi-Needham
- Prueba directa
- Generando un espacio vectorial
- Independencia lineal
- Polinomio
- Prueba
- Lema de bombeo
- Regla de Simpson
Otros artículos que contienen pruebas
- Suma en N
- asociatividad de adición en N
- conmutatividad de la adición en N
- unicidad de la adición en N
- Teoría algorítmica de la información
- Anillo booleano
- conmutatividad de un anillo booleano
- Problema de satisfacibilidad booleano
- NP-completitud del problema de satisfacibilidad booleano
- El argumento diagonal de Cantor
- el conjunto es más pequeño que su conjunto de potencia
- incontables números reales
- La primera prueba de incontabilidad de Cantor
- incontables números reales
- Combinatoria
- Lógica combinatoria
- Co-NP
- Coset
- Contable
- contabilidad de un subconjunto de un conjunto contable (hacer)
- Ángulo de paralelismo
- Grupo Galois
- Teorema fundamental de la teoría de Galois (hacer)
- Número de Gödel
- Teorema de incompletitud de Gödel
- Grupo (matemáticas)
- Detener el problema
- insolubilidad del problema de la detención
- Serie armónica (matemáticas)
- divergencia de la serie armónica (estándar)
- Número altamente compuesto
- Área del sector hiperbólico , base del ángulo hiperbólico
- Series infinitas
- convergencia de la serie geométrica con primer término 1 y razón 1/2
- Partición entera
- Numero irracional
- irracionalidad de log 2 3
- irracionalidad de la raíz cuadrada de 2
- Punto límite
- Inducción matemática
- suma identidad
- Regla de poder
- diferencial de x n
- Reglas de producto y cociente
- Derivación de reglas de producto y cociente para diferenciar.
- número primo
- Infinitud de los números primos
- Función recursiva primitiva
- Principio de bivalencia
- ninguna proposición es verdadera ni falsa en la lógica intuicionista
- Recursividad
- Álgebra relacional (hacer)
- Grupo solucionable
- Raíz cuadrada de 2
- Tetris
- Álgebra de conjuntos
- Leyes idempotentes para unión e intersección de conjuntos
Artículos que mencionan dependencias de teoremas
- Fórmula integral de Cauchy
- Teorema de la integral de Cauchy
- Geometría Computacional
- Teorema fundamental del álgebra
- Cálculo lambda
- Invarianza de dominio
- Desigualdad de Minkowski
- Teorema de incrustación de Nash
- Teorema de mapeo abierto (análisis funcional)
- Topología de producto
- Integral de Riemann
- Teorema de la jerarquía temporal
- Teorema de la jerarquía de tiempo determinista
Artículos que dan pruebas matemáticas dentro de un modelo físico.
- Sin teorema de clonación
- Esfuerzo de torsión
Ver también
- Prueba ontológica de Gödel
- Prueba inválida
- Lista de teoremas
- Lista de pruebas incompletas
- Lista de pruebas largas