Un esqueleto es simplemente una descripción general de cómo podríamos probar algo. Supongamos que queremos demostrar que cualquier polinomio donde el primer término tiene un multiplicador de 1, tiene soluciones enteras o irracionales.
También es una buena programación decir dar un resumen de cómo los programas realmente pueden hacer sus cosas.
Podríamos dar la prueba así:
- ¿Cómo explicarías la ecuación de Kolmogorov a tu madre?
- Si [math] \ dfrac {7 + x} {14 + x + y} = \ dfrac {3} {8} [/ math] y [math] x + y \ gt 0 [/ math], ¿cómo muestro que cada par de enteros que admite esto viene dado por [math] (3n + 2, 5n + 8) [/ math] donde n es cualquier entero mayor que -1?
- Si encuentra un algoritmo, que le dice por qué enteros (2, 3, ..n) CUALQUIER número aleatorio puede dividirse, y si el algoritmo puede crecer sistemáticamente para calcular desviaciones más grandes, ¿este algoritmo tendrá prueba aritmética? para p = np?
- ¿Qué tiene de malo este razonamiento secuencial de una fórmula para a_n?
- ¿Qué es una red de Petri?
1. Probar que los polinomios con coeficientes enteros están cerrados.
2, Que hay un módulo relativo establecido del polinomio para esto.
3 .. Que tales números 1, x, x ^ 2, …, x ^ n representan un conjunto cerrado a la multiplicación
4, no hay un conjunto finito de números racionales, no enteros, cerrados a la multiplicación
5, por lo tanto, la solución a cualquier polinomio en enteros, donde el primer término, no puede ser racional si no es entero.
Entonces dices
6. Podemos probar simplemente escribiendo x ^ 2 = 7 o lo que sea que las raíces de cualquier número sean enteras o irracionales.
Luego, en lugar de resolver el problema completo, trabajas con los seis pasos como se indica arriba.