Hispanopedia WikiUna lista de artículos con pruebas matemáticas :
Teoremas cuyos artículos se dedican principalmente a demostrarlos
- Postulado de Bertrand y demostración
- Estimación de matrices de covarianza
- El pequeño teorema de Fermat y algunas demostraciones
- El teorema de completitud de Gödel y su demostración original
- Inducción matemática y demostración
- Prueba de que 0,999... es igual a 1
- Prueba de que 22/7 excede a π
- 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 que se da un (esquema de) 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 (demostración en curso)
- Lema de Burnside
- Teorema de Cantor
- Teorema de Cantor-Bernstein-Schröder
- La fórmula de Cayley
- Teorema de Cayley
- Problema de camarilla (por hacer)
- Teorema de compacidad (prueba muy compacta)
- Teorema de Erdős–Ko–Rado
- Fórmula de Euler
- Identidad de cuatro cuadrados de Euler
- Teorema de Euler
- Teorema de los cinco colores
- Cinco lemas
- Teorema fundamental de la aritmética
- Teorema de Gauss-Markov (breve indicación de la prueba)
- Teorema de incompletitud de Gödel
- Primer teorema de incompletitud de Gödel
- Segundo teorema de incompletitud de Gödel
- Teorema de Goodstein
- Teorema de Green (para hacer)
- Teorema de Green cuando D es una región simple
- Teorema de Heine-Borel
- Teorema del valor intermedio
- 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 de compresión
- Regla de la suma en la diferenciación
- Regla de suma en la integración
- Teoremas de Sylow
- Trascendencia de e y π (como corolarios de Lindemann-Weierstrass)
- Teorema de Tichonoff (para hacer)
- Lema del ultrafiltrado
- Teorema de los ultraparalelos
- 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 (por hacer)
- Algoritmo euclidiano
- Algoritmo de Kruskal
- Algoritmo de Gale-Shapley
- Algoritmo de Prim
- Algoritmo de Shor (incompleto)
Artículos donde se prueban afirmaciones de ejemplo
- Base (álgebra lineal)
- Lógica de Burrows-Abadi-Needham
- Prueba directa
- Generando un espacio vectorial
- Independencia lineal
- Polinomio
- Prueba
- Lema de bombeo
- La regla de Simpson
Otros artículos que contienen pruebas
- Punto de acumulación
- Adición en N
- asociatividad de la adición en N
- conmutatividad de la adición en N
- Unicidad de la adición en N
- Teoría de la información algorítmica
- Anillo booleano
- conmutatividad de un anillo booleano
- Problema de satisfacibilidad booleana
- NP-completitud del problema de satisfacibilidad booleano
- El argumento diagonal de Cantor
- El conjunto es más pequeño que su conjunto de potencia
- incontabilidad de los números reales
- Primera prueba de incontabilidad de Cantor
- incontabilidad de los números reales
- Combinatoria
- Lógica combinatoria
- Co-NP
- Coset
- Contable
- Contabilidad de un subconjunto de un conjunto contable (por hacer)
- Angulo de paralelismo
- Grupo de Galois
- Teorema fundamental de la teoría de Galois (por hacer)
- Número de Gödel
- Teorema de incompletitud de Gödel
- Grupo (matemáticas)
- Problema de parada
- 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
- Serie infinita
- convergencia de la serie geométrica con primer término 1 y razón 1/2
- Partición de enteros
- Número irracional
- irracionalidad del logaritmo 2 3
- irracionalidad de la raíz cuadrada de 2
- Inducción matemática
- identidad de suma
- Regla de potencia
- diferencial de x n
- Reglas del producto y del cociente
- Derivación de las reglas del 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
- Recursión
- Álgebra relacional (por hacer)
- Grupo solucionable
- Raíz cuadrada de 2
- Tetris
- Álgebra de conjuntos
- Leyes idempotentes para la unión e intersección de conjuntos
Artículos que mencionan dependencias de teoremas
- Fórmula integral de Cauchy
- Teorema integral de Cauchy
- Geometría computacional
- Teorema fundamental del álgebra
- Cálculo lambda
- Invariancia de dominio
- Desigualdad de Minkowski
- Teorema de incrustación de Nash
- Teorema de aplicación abierta (análisis funcional)
- Topología del producto
- Integral de Riemann
- Teorema de la jerarquía temporal
- Teorema de la jerarquía temporal determinista