Académique Documents
Professionnel Documents
Culture Documents
La teora de la demostracin o teora de la prueba es una rama de la lgica matemtica que trata a las
demostraciones como objetos matemticos, facilitando
su anlisis mediante tcnicas matemticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente denidas que se construyen de acuerdo con
los axiomas y reglas de inferencia de los sistemas lgicos.
En este sentido, la teora de la demostracin se ocupa de
la sintaxis, en contraste con la teora de modelos, que trata
con la semntica. Junto con la teora de modelos, la teora
de conjuntos axiomtica y la teora de la recursin, la teora de la demostracin es uno de los cuatro pilares de
los fundamentos de las matemticas[cita requerida] .
La teora de la demostracin formal se ocupa de las propiedades de los sistemas deductivos, su complejidad, el
poder expresivo de dichos sistemas y est ntimamente
conectada a la lgica matemtica, la teora de modelos
y la fundamentacin de las matemticas. Por el contrario el desarrollo de demostraciones informales es un terreno altamente creativo y si bien existen familias enteras
de esquemas de demostracin en diferentes reas, son un
ejercicio bsicamente humano en el que no existen algoritmos generales para construir demostraciones.
Entre los problemas de fundamentacin por ejemplo estaba el uso de los innitesimales[1] que vagamente relacionados con algo innitamente pequeo (lo cual era
una nocin demasiado imprecisa). La eliminiacin de los
innitesimales mediante el uso de lmites signic un
gran progreso para establecer las matemticas existentes
sobre un fundamente ms rme y claro. Otro problema
sin fudamentar era lo innitamente grande. Las investigaciones sobre unicidad de representacin de Georg Cantor forzaron a este matemtico a desarrollar una nueva
teora de lo innitamente grande. Uno de los puntos centrales de la teora de Cantor era la posibilidad de considerar incluso una coleccin no nita de objetos y formar un
objeto matemtico con esta coleccin. Estos objetos
fueron denominados por Cantor en alemn como Mengen
y el trmino se tradujo como 'conjunto' en espaol. Debido a eso Cantor denomin a su teora Mengenlehre que
es el origen de la teora de conjuntos. La posibilidad de
REFERENCIAS
formar conjuntos sin restricciones, produca ciertas con- 2.3 Los teoremas de incompletitud de Gtradicciones u antinomias. Un ejemplo notable de estas
del
antinomias es la paradoja de Russell sobre el conjunto de
conjuntos que no son miembros de s mismos. As si se El teorema de incompletitud de Gdel establece que ninpudiera denir el conjunto:
guna teora consistente, con un nmero nito de axiomas
recursivamente enumerable (en un lenguaje por lo menos tan potente como la aritmtica), puede incluir todos
R := {x|x
/ x}
las proposiciones verdaderas. Sin embargo, la aritmtica
es una teora completable aadiendo un conjunto de aximas innito y no recursivo. En otras palabras el teorema
sera una contradaccin ya que por construccin se tende Gdel slo establece que si T (A) es un tipo de teora
dra:
aritmtica:
RRR
/R
Estas paradojas y probablemente tambin el hecho aparentemente paradjico de que el axioma de eleccin ofreca la posibilidad de que cualquier conjunto pudiera ser
un conjunto bien ordenado, crearon la sensacin de incertidumbre entre la comunidad matemtica. Hermann
Weyl en su artculo "ber die neue Grundlagenkrise der
Mathematik"[2] apunt que la circularidad de las deniciones causaban paradojas y antinomias tambin en la
teora de conjuntos que se usaba en anlisis matemtico. Este matemtico introdujo el trmino nueva crisis
de fundamentos en la discusin de la poca. En su libro
Das Kontinuum ya haba propuesto desarrollar matemticas libres de deniciones circulares.[3]
3 Detalles formales
2.2
El programa de Hilbert
Las diversas paradojas surgidas en la teora de conjuntos y los problemas de fundamentacin del concepto de
innito, llevaron a la llamada crisis fundacional de las
matemticas a principios del siglo XX. Frente a este debate entre los matemticos, David Hilbert y algunos de
sus colaboradores consideraron elaborar un programa de
formalizacin completo, para demostrar la consistencia
de numerosas ramas de la matemtica. Esta propuesta de
formalizacin se conoci como programa de Hilbert.
4 Referencias
[1] W. Pohlers, 2009, pp. 1-8
[2] H. Weyl. "ber die neue Grundlagenkrise der Mathematik, Mathematishche Zeitschrift, 10, pp. 39-79, 1921.
[3] H. Weyl: Das Kontinuum, Veit & Co. Leipzig, 1918.
5.1
Texto
Teora de la demostracin Fuente: https://es.wikipedia.org/wiki/Teor%C3%ADa_de_la_demostraci%C3%B3n?oldid=84483122 Colaboradores: Petronas, Chobot, KnightRider, CEM-bot, JMCC1, Davius, Thijs!bot, Lauranrg, Botones, Egaida, Muro Bot, PaintBot, STBot~eswiki, HUB, Alexbot, Raulshc, UA31, DumZiBoT, Luckas-bot, Ptbotgourou, Jorge 2701, Jkbw, EmausBot, ZroBot, Rezabot,
KLBot2, Acratta, Agusavior, CivilianVictim, Julian Grillo, Gibrann, Jsteani y Annimos: 10
5.2
Imgenes
5.3
Licencia de contenido