En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación...

{\displaystyle P\,} . La demostración está basada en el axioma denominado principio de la inducción matemática.[1]​ La inducción matemática demuestra que podemos...

razón, el resultado correcto es: 1 > 0. (Véase la demostración correcta en "Demostración matemática)". Sean a y b dos cantidades iguales. Se sigue que:...

El término demostración puede referirse, en esta enciclopedia, a alguno de los siguientes conceptos: demostración matemática demostración automática demostración...

automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador. Las técnicas de demostración automática de teoremas consisten...

teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando...

formales. La teoría de la demostración y la matemática inversa son dos de los razonamientos más recientes de la lógica matemática abstracta. Debe señalarse...

demás.[1]​ Los pilares estructurales de la matemática son: la definición, el teorema y la demostración matemática. Las definiciones señalan con precisión...

La demostración por casos es un método de demostración matemática en el cual la proposición a ser probada se divide en un número finito de casos, y cada...

del verdadero significado de demostración matemática, en relación con la verdad.[3]​ Otros tópicos incluyen la matemática en la educación y algunas consideraciones...

Discurso y demostración matemática, en torno a dos nuevas ciencias (el título original en italiano es Discorsi e dimostrazioni matematiche, intorno à...

que la matemática es una ciencia que investiga patrones.[5]​[6]​[7]​[8]​[9]​ Las ciencias naturales han hecho un uso extensivo de la matemática para explicar...

música y la poesía. Bertrand Russell expresa la belleza matemática con estas palabras: La matemática posee no solo verdad, sino también belleza suprema; una...

La matemática discreta es un área de la matemática encargada del estudio de los conjuntos discretos: finitos o infinitos numerables. En oposición a la...

La matemática griega, o matemática helénica, es la matemática escrita en griego desde el 600 a. C. hasta el 300 d. C.[1]​ Los matemáticos griegos vivían...

necesariamente falsa. La demostración por reducción al absurdo es un tipo de argumento muy empleado en demostraciones matemáticas. Consiste en demostrar...

La historia de la matemática es el área de estudio de investigaciones sobre los orígenes de descubrimientos en la matemática, de los métodos de la evolución...

encontrado una demostración, no se ha podido encontrar ninguna entre sus escritos tras su muerte. Esta conjetura burló a la comunidad matemática durante más...

La matemática computacional comprende la investigación matemática en las áreas de la ciencia; donde la informática juega un papel central y esencial, a...

cálculo sistemático que obtienen el valor de π. Lo que sigue es una demostración matemática moderna que demuestra que 22/7 > π, utilizando solamente las técnicas...

chequeo automatizadas de las demostraciones matemáticas; la Demostración automática de teoremas y el uso de Demostración interactiva de teoremas en el...

La matemática pura se refiere al estudio de las matemáticas, in se y per se, es decir, ‘por sí mismas’ y ‘como tales’, sin referencia a las aplicaciones...

Se entiende por rigor matemático (o también, «precisión matemática», aunque en un contexto algo diferente) una manera lógica y clara de trabajar dentro...

En matemática, el término trivial se usa frecuentemente para los objetos (por ejemplo, cuerpos o espacios topológicos) que tienen una estructura muy simple...

teoría de la demostración matemática fue motivado por el deseo de proveer demostraciones de coherencia finita para todas las matemáticas como parte del...

la unidad de la matemática. La búsqueda por los fundamentos de la matemática es una pregunta central de la filosofía de las matemáticas; la naturaleza...

también conocido como método de la diagonal, es una argumentación o demostración matemática vislumbrada por Georg Cantor hacia 1891 para demostrar que el conjunto...

La demostración interactiva de teoremas es un campo de la ciencia computacional y la lógica matemática relativo a las herramientas para desarrollar pruebas...

conjetura para convertirse en un teorema tras su demostración matemática en 2006[1]​ por el matemático Grigori Perelmán. El teorema sostiene que la esfera...

La matemática china fue independiente de la matemática desarrollada por griegos, asiáticos, egipcios y babilonios. Sólo a partir de la expansión del Islam...

pregunta sobre objetos y estructuras matemáticas que requiere una explicación y demostración (véase demostración matemática); como ecuaciones a un problema...