(demostración de la falsedad)
1Demostración — (Del lat. demostratio, onis.) ► sustantivo femenino 1 Acción de mostrar la verdad o falsedad de una cosa: ■ hizo una demostración impecable de la teoría. SINÓNIMO argumentación 2 Evidencia o indicación de una cosa: ■ los besos son claras… …
2Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …
3Décimo problema de Hilbert — Saltar a navegación, búsqueda El décimo problema de Hilbert es uno de los veintitrés que David Hilbert propuso al término del siglo XIX. Su enunciado original es: Dada una ecuación diofántica con cualquier número de incógnitas y con coeficientes… …
4Cálculo — Saltar a navegación, búsqueda Para otros usos de este término, véase Cálculo (desambiguación). Para cálculo infinitesimal (diferencial o integral) véase Cálculo infinitesimal Para el estudio de los números reales, los complejos, los vectores y… …
5Número primo — Un número primo es un número natural mayor que 1, que tiene únicamente dos divisores distintos: él mismo y el 1. Se contraponen así a los números compuestos, que son aquellos que tienen algún divisor natural aparte de sí mismos y del 1. El número …
6prueba — ► sustantivo femenino 1 Acción y resultado de probar: ■ antes de lavarlo, haz una prueba con un retal a ver si destiñe; nos hizo una prueba del funcionamiento de la máquina. SINÓNIMO demostración 2 Razón, testimonio u otro medio con que se… …
7Filosofía de la matemática — Saltar a navegación, búsqueda La filosofía de las matemáticas es una rama de la filosofía. Según Michael Dummett puede considerarse que hay cuatro preguntas fundamentales sobre el contenido de la filosofía de las matemáticas: ¿Cómo sabemos que… …
8Prueba de consistencia — Saltar a navegación, búsqueda En lógica matemática, un sistema formal es consistente si no contiene una contradicción, o, en forma más precisa, no existe una proposición φ tal que se puede demostrar o deducir simultáneamente la proposición φ y su …
9Verdad — Artículo principal: Conocimiento El significado de la palabra verdad abarca desde la honestidad, la buena fe y la sinceridad humana en general, hasta el acuerdo de los conocimientos con las cosas que se afirman como realidades: los hechos o la… …
10Reducción al absurdo — Saltar a navegación, búsqueda Reducción al absurdo (del latín Reductio ad absurdum) es un método de demostración (creado y a menudo usado por Aristóteles como un argumento lógico) en el que suponemos una hipótesis y obtenemos un resultado absurdo …