Teoría de la demostración

Teoría de la demostración
Para otros usos de este término, véase Demostración.

La 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 su análisis mediante técnicas matemáticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas lógicos. En este sentido, la teoría de la demostración se ocupa de la sintaxis, en contraste con la teoría de modelos, que trata con la semántica. Junto con la teoría de modelos, la teoría de conjuntos axiomática y la teoría de la recursión, la teoría de la demostración es uno de los "cuatro pilares" de los fundamentos de las matemáticas.


Wikimedia foundation. 2010.

См. также в других словарях:

  • Demostración inválida — Saltar a navegación, búsqueda En matemáticas, hay múltiples demostraciones matemáticas de contradicciones obvias. A pesar de que las demostraciones son erróneas, los errores son sutiles, y la mayor parte de las veces, intencionados. Estas… …   Wikipedia Español

  • Demostració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… …   Wikipedia Español

  • Demostración — Saltar a navegación, búsqueda Demostración puede referirse a: Demostración matemática Demostración automática Demostración inválida Demostración por inducción Demostración por contraposición Demostración (merchandising) Teoría de la demostración… …   Wikipedia Español

  • Demostració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… …   Wikipedia Español

  • Teoría de la justificación — La teoría de la justificación es la parte de la teoría del conocimiento (también llamada a veces epistemología o gnoseología) que se ocupa del fundamento, apoyo o respaldo que presenta el contenido de verdad de una creencia o proposición, una… …   Wikipedia Español

  • Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés …   Wikipedia Español

  • demostración — sustantivo femenino 1. Manifestación externa de emociones o sentimientos: Cuando el perro nos vio empezó a hacer muchas demostraciones de cariño. 2. Ostentación o manifestación pública de algo: Ayer los alumnos hicieron una demostración de sus… …   Diccionario Salamanca de la Lengua Española

  • Teoría de la relatividad: disputas de prioridad — Saltar a navegación, búsqueda La física relativística reconoce su principal mentor en Albert Einstein. Este sabio proveyó la mayor síntesis conceptual inicial en la disciplina, a la que prácticamente dedicó toda su vida científica. No obstante,… …   Wikipedia Español

  • Demostració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… …   Wikipedia Español

  • demostración — (Del lat. demonstratĭo, ōnis). 1. f. Acción y efecto de demostrar. 2. Señalamiento, manifestación. 3. Ostentación o manifestación pública de fuerza, poder, riqueza, habilidad, etc. 4. Fil. Prueba de algo, partiendo de verdades universales y… …   Diccionario de la lengua española


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»