demostración
11Demostración matemática — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. Una deducción o demostración matemática es una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hipótesis, permite asegurar… …
12Demostración de la irracionalidad de π — Saltar a navegación, búsqueda Símbolo del número π, popularizado por Leonhard Euler. Aunque la constante matemática conocida como π (pi) ha sido estudiada desde la antigüedad, y también el concepto de número irracional, no fue sin …
13Demostración de la predicación apostólica — Saltar a navegación, búsqueda La Demostración de la predicación apostólica (o Epideixis) es una obra de Ireneo de Lyon que se escribió en griego pero del que solo tenemos completa una versión armenia. Como casi todas las obras de Ireneo bien… …
14Demostración por inducción — Saltar a navegación, búsqueda La demostración por inducción es un método de demostración utilizado con frecuencia para comprobar igualdades , se utilizan para ello los números enteros. Se procede como sigue: Sea P(n) una proposición o afirmación… …
15Demostración (merchandising) — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. En merchandising, la demostración es una manera de promocionar un producto (objeto) probando su funcionamiento ante los visitantes de un supermercado, hipermercado …
16Demostración interactiva de teoremas — Saltar a navegación, búsqueda 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 formales para la colaboración hombre máquina. Esto involucra …
17Demostración de la irracionalidad de e — Saltar a navegación, búsqueda Artículo principal: Número e En matemática, la representación en serie del número e puede ser usado para probar que e es un número irracional. De las tantas representaciones posibles de e, esta es la serie de Taylor… …
18Demostración original del teorema de completitud de Gödel — Saltar a navegación, búsqueda En 1930 Gödel demostró la completitud de la lógica cuantificacional de primer orden. Literalmente el Teorema de completitud de Gödel establece: Para toda fórmula A de la lógica cuantificacional de primer orden, si A… …
19Demostración matemática — Una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hipótesis, permite asegurar la veracidad de una tesis. Estos pasos deben estar fundamentados teóricamente (ya sea por axiomas o por teoremas anteriormente …
20Demostración por reducción al absurdo — La demostración por reducción al absurdo es un tipo de argumento lógico muy empleado en las demostraciones matemáticas. Consiste en demostrar una proposición matemática probando que el que no lo sea conduce a una contradicción. Un ejemplo es la… …
