Sistemas formales

Lo que sigue es un extracto de Sistema formal

Un sistema formal o sistema l�gico es un sistema abstracto compuesto por un
lenguaje formal, axiomas, reglas de inferencia y a veces una sem�ntica formal, que
se utiliza para deducir o demostrar teoremas y dar una definici�n rigurosa del
concepto de demostraci�n. Un sistema formal es una formalizaci�n rigurosa y
completa del concepto de sistema axiom�tico, los cuales se pueden expresar en
lenguaje formal o en lenguaje natural formalizado. Al crear un sistema formal se
pretende capturar y abstraer la esencia de determinadas caracter�sticas del mundo
real, en un modelo conceptual expresado en un determinado lenguaje formal. Algunos
de los sistemas formales m�s conocidos son la l�gica proposicional, la l�gica de
primer orden y la l�gica modal.

En la teor�a de la demostraci�n, las demostraciones formales se pueden expresar en

el lenguaje de los sistemas formales, consistentes en axiomas y reglas de
inferencia. Los teoremas pueden ser obtenidos por medio de demostraciones formales.
Este punto de vista de las matem�ticas ha sido denominado formalista; aunque en
muchas ocasiones este t�rmino conlleva una acepci�n peyorativa. En ese sentido,
David Hilbert cre� la metamatem�tica para estudiar los sistemas formales,
entendiendo que el lenguaje utilizado para ello, denominado metalenguaje era
distinto del lenguaje del sistema formal que se pretend�a estudiar, al que se llama
lenguaje objeto.

Un sistema as� es la reducci�n de un lenguaje formalizado a meros s�mbolos,

lenguaje formalizado y simbolizado sin contenido material alguno; un lenguaje
reducido a mera forma que se expresa mediante f�rmulas que reflejan las relaciones
sint�cticas entre los s�mbolos y las reglas de formaci�n y transformaci�n que
permiten construir las f�rmulas del sistema y pasar de una f�rmula a otra.2?

Una teor�a axiom�tica es un conjunto de f�rmulas en un determinado lenguaje formal

y todas las f�rmulas deducibles de dichas expresiones mediante las reglas de
inferencia posibles en dicho sistema formal. El objetivo de las teor�as axiom�ticas
es construir sistemas formales que representen las caracter�sticas esenciales de
ramas enteras de las matem�ticas. Si se selecciona un conjunto m�s amplio o menos
amplio de axiomas el conjunto de teoremas deducibles cambian. El inter�s de la
teor�a de modelos es que en un modelo en que satisfagan los axiomas de determinada
teor�a tambi�n se satisfacen los teoremas deducibles de dicha teor�a. Es decir, si
un teorema es deducible en una cierta teor�a, entonces ese teorema es
universalmente v�lido en todos los modelos que satisfacen los axiomas. Esto es
interesante porque en principio la clase de modelos que satisface una cierta teor�a
es dif�cil de conocer, ya que las teor�as matem�ticas interesantes en general
admiten toda clase infinita de modelos no isomorfos, por lo que su clasificaci�n en
general resulta dif�cilmente abordable si no existe un sistema formal y un conjunto
de axiomas que caracterice los diferentes tipos de modelos.

En el siglo XX, Hilbert y otros sostuvieron que la matem�tica es un sistema formal.

Pero en 1931, Kurt G�del demostr� que ning�n sistema formal con suficiente poder
expresivo para capturar la aritm�tica de Peano puede ser a la vez consistente y
completo. El teorema de la incompletitud de G�del, junto con la demostraci�n de
Alonzo Church de que la matem�tica tampoco es decidible, termin� con el programa de
Hilbert. Sin embargo, a pesar de sus limitaciones, el enfoque sigue siendo
ampliamente usado, b�sicamente porque no se ha encontrado ninguna alternativa mejor
al enfoque formalista de Hilbert y la pretensi�n de trabajar en el seno de teor�as
matem�ticas expl�citamente axiomatizadas, aun con sus limitaciones.

Los sistemas formales tambi�n han encontrado aplicaci�n dentro de la inform�tica,

la teor�a de la informaci�n y la estad�stica.
Metal�gica
Lo que sigue es un extracto de Metal�gica
La metal�gica es la rama de la l�gica que estudia las propiedades y los componentes
de los sistemas formales.3? Las propiedades m�s importantes que se pueden demostrar
de los sistemas formales son la consistencia, decidibilidad y completitud.4?
Ejemplos de teoremas metal�gicos importantes son los teoremas de incompletitud de
G�del, el teorema de completitud de G�del y el teorema de L�wenheim-Skolem. Otra
propiedad es la compacidad.
Teor�a de modelos
Lo que sigue es un extracto de Teor�a de modelos
En matem�tica, teor�a de modelos es el estudio de (clases de) estructuras
matem�ticas tales como grupos, cuerpos, grafos, o incluso universos de teor�a de
conjuntos, en relaci�n con las teor�as axiom�ticas y la l�gica matem�tica. La
teor�a de modelos permite atribuir una interpretaci�n sem�ntica a las expresiones
puramente formales de los lenguajes formales. Adem�s permite estudiar en s� mismos
los conjuntos de axiomas, su completitud, consistencia, independencia mutua, y
permiten introducir un importante n�mero de cuestiones metal�gicas.
Al mismo tiempo los lenguajes en los que se ha estructurado la noci�n de verdad y
de los que habla la teor�a de modelos son, por lo general, sistemas matem�ticos.
Las �cosas� representadas en dichos lenguajes son tambi�n sistemas matem�ticos. Por
esto, la teor�a de modelos es una teor�a sem�ntica que pone en relaci�n unos
sistemas matem�ticos con otros sistemas matem�ticos. Dicha teor�a nos proporciona
algunas pistas con respecto a aquella sem�ntica que pone en relaci�n los lenguajes
naturales con la realidad. Sin embargo, ha de tenerse siempre presente que no hay
ning�n sustituto matem�tico para los problemas genuinamente filos�ficos. Y el
problema de la verdad es un problema netamente filos�fico.

Padilla Galvez, Jes�s Padilla G�lvez (2007). Verdad y demostraci�n. Universidad de

Castilla-La Mancha. p. 229. ISBN 9788496780194. OCLC 427520428. Consultado el 28 de
febrero de 2019.
Teor�a de la computabilidad
Lo que sigue es un extracto de Teor�a de la computabilidad

VEB Robotron Elektronik Dresden.

La teor�a de la computabilidad es la parte de la computaci�n que estudia los
problemas de decisi�n que se pueden resolver con un algoritmo o equivalentemente
con una m�quina de Turing. Las preguntas fundamentales de la teor�a de la
computabilidad son:

�Qu� problemas puede resolver una m�quina de Turing?

�Qu� otros formalismos equivalen a las m�quinas de Turing?
�Qu� problemas requieren m�quinas m�s poderosas?
�Qu� problemas requieren m�quinas menos poderosas?
La teor�a de la complejidad computacional clasifica las funciones computables seg�n
el uso que hacen de diversos recursos en diversos tipos de m�quina.
Teor�a de conjuntos
Lo que sigue es un extracto de Teor�a de conjuntos

Un diagrama de Venn que ilustra la intersecci�n de dos conjuntos.

La teor�a de conjuntos es una rama de la l�gica matem�tica que estudia las
propiedades y relaciones de los conjuntos: colecciones abstractas de objetos,
consideradas como objetos en s� mismas. Los conjuntos y sus operaciones m�s
elementales son una herramienta b�sica en la formulaci�n de cualquier teor�a
matem�tica.5?

La teor�a de los conjuntos es lo suficientemente rica como para construir el resto

de objetos y estructuras de inter�s en matem�ticas: n�meros, funciones, figuras
geom�tricas,...; gracias a las herramientas de la l�gica, permite estudiar los
fundamentos. En la actualidad se acepta que el conjunto de axiomas de la teor�a de
Zermelo-Fraenkel es suficiente para desarrollar toda la matem�tica.
Adem�s, la propia teor�a de conjuntos es objeto de estudio per se, no s�lo como
herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos
infinitos. En esta disciplina es habitual que se presenten casos de propiedades
indemostrables o contradictorias, como la hip�tesis del continuo o la existencia de
un cardinal inaccesible. Por esta raz�n, sus razonamientos y t�cnicas se apoyan en
gran medida en la l�gica.

El desarrollo hist�rico de la teor�a de conjuntos se atribuye a Georg Cantor, que

comenz� a investigar cuestiones conjuntistas �puras� del infinito en la segunda
mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influido por
Richard Dedekind. El descubrimiento de las paradojas de la teor�a cantoriana de
conjuntos, formalizada por Gottlob Frege, propici� los trabajos de Bertrand
Russell, Ernst Zermelo, Abraham Fraenkel
Teor�a de la demostraci�n
Lo que sigue es un extracto de Teor�a de la 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 computabilidad, la teor�a de la demostraci�n es uno de
los �cuatro pilares� de los fundamentos de las matem�ticas.[cita requerida]
Historia
El uso m�s temprano de matem�ticas y de geometr�a en relaci�n con la l�gica y la
filosof�a se remonta a los griegos antiguos tales como Euclides, Plat�n, y
Arist�teles. Muchos otros fil�sofos antiguos y medievales aplicaron ideas y m�todos
matem�ticos a sus afirmaciones filos�ficas.

En el siglo XVIII se hicieron algunos intentos de tratar las operaciones l�gicas

formales de una manera simb�lica por parte de algunos fil�sofos matem�ticos como
Lambert, pero su labor permaneci� desconocida y aislada. Tambi�n por parte de
Leibniz ) que desarroll� la idea de un calculus ratiocinator, un sistema de reglas
para simplificar oraciones compuestas.

Siglo XIX
A partir de la segunda mitad del siglo XIX, la l�gica ser�a revolucionada
profundamente. En 1847, George Boole public� un breve tratado titulado El an�lisis
matem�tico de la l�gica, y en 1854 otro m�s importante titulado Las leyes del
pensamiento. La idea de Boole fue construir a la l�gica como un c�lculo en el que
los valores de verdad se representan mediante el F (falsedad) y la V (verdad), y a
los que se les aplican operaciones matem�ticas como la suma y la multiplicaci�n.

En el �ltimo tercio del siglo XIX la l�gica va a encontrar su transformaci�n m�s

profunda de la mano de las investigaciones matem�ticas y l�gicas, junto con el
desarrollo de la investigaci�n de las estructuras profundas del lenguaje, la
ling��stica, convirti�ndose definitivamente en una ciencia formal. Es una ciencia
formal, ya que estudia las ideas y constituye una herramienta conceptual para todas
las otras ciencias y �reas del conocimiento. y forma parte de un conjunto
sistem�tico de conocimientos racionales y coherentes, que se ocupan del estudio de
los procesos l�gicos y matem�ticos,

Al mismo tiempo, Augustus De Morgan publica en 1847 su obra L�gica formal, donde
introduce las leyes de De Morgan e intenta generalizar la noci�n de silogismo. Otro
importante contribuyente ingl�s fue John Venn, quien en 1881 public� su libro
L�gica Simb�lica, donde introdujo los famosos diagramas de Venn.

Charles Sanders Peirce y Ernst Schr�der tambi�n hicieron importantes

contribuciones.

Sin embargo, la verdadera revoluci�n de la l�gica vino de la mano de Gottlob Frege,

quien frecuentemente es considerado como el l�gico m�s importante de la historia,
junto con Arist�teles. En su trabajo de 1879, la Conceptograf�a, Frege ofrece por
primera vez un sistema completo de l�gica de predicados y c�lculo proposicional.
Tambi�n desarrolla la idea de un lenguaje formal y define la noci�n de prueba.
Estas ideas constituyeron una base te�rica fundamental para el desarrollo de las
computadoras y las ciencias de la computaci�n, entre otras cosas. Pese a esto, los
contempor�neos de Frege pasaron por alto sus contribuciones, probablemente a causa
de la complicada notaci�n que desarroll� el autor. En 1893 y 1903, Frege publica en
dos vol�menes Las leyes de la aritm�tica, donde intenta deducir toda la matem�tica
a partir de la l�gica, en lo que se conoce como el proyecto logicista. Su sistema y
su aplicaci�n a la teor�a de conjuntos, sin embargo, conten�a una contradicci�n (la
paradoja de Russell).

L�gica matem�tica fue el nombre dado por Giuseppe Peano para esta disciplina. En
esencia, es la l�gica de Arist�teles, pero desde el punto de vista de una nueva
notaci�n, m�s abstracta, tomada del �lgebra.