En lgica y matemticas, un sistema axiomtico consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas.

Ejemplos de sistemas axiomticos deductivos son la geometra euclidiana compilada por Euclides en los Elementos 1 y el sistema axiomtico de la lgica proposicional. Sistemas axiomticos formales e informales Un sistema axiomtico puede tener expresados sus axiomas de manera formal o de manera informal: Una axiomatizacin formal usa un lenguaje formal y en l cada axioma es una cadena finita de signos en el alfabeto del lenguaje formal, siguiendo reglas combinatorias que hacen de la secuencia una frmula bien formada. Una axiomatizacin informal usa una lengua natural y definiciones no ambiguas, los libros de matemtica y otras disciplinas formales normalmente redactan los axiomas de esta manera. Los sistemas de axiomas formales son ms sencillos de estudiar y son preferibles para caracterizar las propiedades de los sistemas matemticos. En particular admiten una caracterizacin semntica muy clara en la teora de modelos y sus propiedades deductivas pueden ser tratadas en la teora de la demostracin. Por el contrario, las axiomatizaciones informales slo son tiles cuando se tiene un modelo concreto en mente y se pretenden buscar propiedades que se cumplen en el modelo Modelos para un sistema axiomtico formal Si un conjunto de proposiciones (frmulas bien formadas) de un sistema axiomtico formal admiten una S-estructura donde se satisfacen, entonces se dice que dicha estructura es un modelo para el conjunto de proposiciones. Un sistema de axiomas que admite un modelo es un sistema de axiomas consistente. Un sistema formal bien construido satisface "teorema de validez" que viene a afirmar que cualquier proposicin deducible de los axiomas o teorema del sistema axiomtico, se satisface tambin, en todos los modelo que sean un modelo en el que se satisfacen los axiomas. La propiedad recproca no siempre se cumple, una proposicin que se satisface en todos los modelos de una teora no tiene porqu ser deducible del sistema de aximas. Este ltimo punto es ilustrado por los teoremas de incompletitud de Gdel, que viene a afirmar que una sistema formal de ciertos sistemas matemticos con un conjunto de axiomas que satisface determinada propiedad formal (ser un recursivamente enumerables) admitir un modelo en el que algunas proposiciones sern ciertas pero no sern deducibles. Es decir, la teora asociada al sistema axiomtico formal ser esencialmente incompleta. Ejemplos La teora de grupos es un sistema axiomtico se puede basar en el siguiente conjunto de tres axiomas G1, G2 y G3: (G1) para todo x, y y z: (G2) para todo x: (G3) para todo x, existe un y tal que Este conjunto de axiomas no es nico, ya que pueden ser substituidos por otros equivalentes. En teora de grupos el asunto importante es que el conjunto de teoremas sean los mismos en dos axiomatizaciones diferentes. Eso implica que las dos clase de modelos que satisfacen los dos sistemas de axiomas coindiden. Los tres axiomas anterior pueden escribirse sin usar ninguna lengua natural usando slo smbolos de una lenguaje de primer orden como: (G1) (G2) (G3) Donde f debe interpretarse como la funcin definida sobre GxG que da un elemento de G dando operacin de grupo, xi son signos de variables (puede definirse una coleccin infinita numeralbe de las mismas) y c1 es una constante que requiere la teora que se interpretar como el elemento neutro (es decir, los axiomas postulan que dicho elemento existe). Heurstica como un arte, tcnica o procedimiento prctico o informal, para resolver problemas. 1 Alternativamente, se puede definir como un conjunto de reglas metodolgicas no necesariamente formalizadas, positivas y negativas, que sugieren o establecen cmo proceder y problemas a evitar a la hora de generar soluciones y elaborar hiptesis.2 Es generalmente considerado que la capacidad heurstica es un rasgo caracterstico de los humanos 3 desde cuyo punto de vista puede describirse como el arte y la ciencia del descubrimiento y de la invencin o de resolver problemas mediante la creatividad y el pensamiento lateral o pensamiento divergente. Segn el matemtico George Plya4 la base de la heurstica est en la experiencia de resolver problemas y en ver cmo otros lo hacen. Consecuentemente se dice que hay bsquedas ciegas, bsquedas heursticas (basadas en la experiencia) y bsquedas racionales. En la matemtica, la heurstica existe desde la Grecia antigua. Sin embargo, la formalizacin y el alto grado de rigor en matemtica le ha restado importancia al estudio del descubrimiento, considerndolo ms bien de inters para la psicologa. Aunque existe el campo de la teora de la demostracin, ste nada tiene que ver con encontrar patrones de demostracin o reglas para encontrar las demostraciones de los teoremas. La palabra heurus proviene del griego erus. Hay trabajos de Poincar, Hadamard y Polya sobre la creacin en matemtica. Al respecto el libro "Razonamiento plausible " de George Polya, describe las posibilidades de creacin en la diversas ramas de la matemtica y trabajos concretos de algunos matemticos. La heurstica como metodologa cientfica L a c a p a c i d a d h e u r s t i c a e s u n r a s g o c a r a c t e r i s t i c o d e l o s h u m a n o s e s e l a r t e y ciencia del descubrimiento, de lai n v e n c i n , d e r e s o l v e r p r o b l e m a s mediante la creatividad y pensamiento lateral o pensamiento d i v e r g e n t e c o m o e s e m p l e a e n l a r e s o l u c i n d e l o s problemas matemticos? QU ES UN PROBLEMA? P r o b l e m a e s l a b s q u e d a c o n s c i e n t e , c o n a l g u n a a c c i n apropiada , paralograr una meta c l a r a m e n t e c o n c e b i d a , p e r o n o inmedia ta de alca nzar (G. Polya, AHORA INTENTA, A PARTIR DEL PROBLEMA ANTERIOR, CREAR UNO PARECIDO El problema de caperucita Cierto da caminaba Caperucita Rojaporelbosque,cuandodeprontoellobolaatac, y en la huida dej abandonada la cesta con pastelillos que su mam hizopara la abuela. Llora ndo la encontr el le ador, quie n le pregunt: cu ntos pastelillosllevabas? Y ella respondi: No s, solo s que al agruparlos de 2 en 2, de 3 en 3, de 4 en 4 o de 5 en 5 me sobraban 1 , 2 , 3 4 . Cuntos pastelillos llevaba caperucita Teorema de Lwenheim-Skolem Saltar a: navegacin, bsqueda En lgica matemtica, el teorema de Lwenheim-Skolem o teorema de Lwenheim-Skolem-Tarski es un teorema que establece que si una teora de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable.1 Ms precisamente: sea T un subconjunto consistente de un lenguaje de primer orden (con identidad): si T es finito o numerable, entonces tiene al menos un modelo con dominio finito o numerable. 2 Esto significa que las teoras de primer orden no pueden controlar la cardinalidad de sus modelos: ninguna teora consistente puede tener slo modelos isomrficos.

La primera versin del teorema se debe a Leopold Lwenheim en 1915, aunque su demostracin tena una pequea laguna. 1 Thoralf Skolem demostr una segunda versin del teorema en 1919.1 Desde entonces han aparecido otras versiones. En general el teorema de Lwenheim-Skolem no se sostiene en lgicas ms fuertes, como la lgica de segundo orden. El teorema de Lwenheim-Skolem descendente Sea un lenguaje de primer orden de cardinalidad K, donde K es un cardinal infinito. El teorema de Lwenheim-Skolem descendente establece que si tiene un modelo de cardinalidad K, entonces tambin tiene al menos un modelo de cardinalidad menor o igual a K. La demostracin del teorema emplea el teorema de la existencia de modelos dentro de la demostracin de completitud para la lgica de primer orden. El teorema establece una conexin entre la cardinalidad del lenguaje y la cardinalidad de sus modelos, e impone serias restricciones sobre la representacin de estructuras infinitas. Si E es una estructura para un lenguaje de cardinalidad mayor que la cardinalidad de , ningn conjunto de oraciones de podr representar a E hasta el isomorfismo ya que, segn el teorema, cualquier conjunto de oraciones de que tenga modelos, tendr algn modelo de cardinalidad menor que la cardinalidad de E; y este modelo no puede ser isomorfo con E. El teorema de Lwenheim-Skolem descendente es una propiedad clave, junto con el teorema de compacidad, para caracterizar a la lgica de primer orden. El teorema de Lwenheim-Skolem ascendente De nuevo, sea un lenguaje de primer orden de cardinalidad K, donde K es un cardinal infinito. El teorema de Lwenheim-Skolem ascendente establece que si tiene un modelo de cardinalidad K, entonces tambin tiene al menos un modelo de cardinalidad menor o igual a K. La demostracin emplea el teorema de compacidad para lenguajes de primer orden. Este segundo teorema elimina cualquier esperanza de representar cualquier estructura infinita hasta el isomorfismo. Pues si un conjunto de frmulas de un lenguaje de primer orden tiene un modelo infinito, entonces tendr otros de cardinalidad mayor y, por tanto, no isomorfos. El teorema de Lwenheim, Skolem y Tarski Si un conjunto de frmulas de un lenguaje de primer orden tiene un modelo infinito, entonces tiene un modelo de cada cardinalidad infinita mayor o igual que la cardinalidad de . Este teorema es un resultado reforzado del teorema de Lwenheim y Skolem, que se puede obtener combinando los otros dos resultados. Godel El Crculo de Viena puso a Gdel en contacto con Rudolf Carnap, filsofo de la ciencia, y Karl Menger, matemtico. Le ayud a familiarizarse con la bibliografa de la lgica matemtica y de la filosofa. En particular, el Crculo se hallaba enfrascado en los escritos de Ludwig Wittgenstein, cuya preocupacin por el metalenguaje (en qu medida el lenguaje puede hablar acerca del lenguaje) pudo haber inducido a Gdel a sondear cuestiones similares en matemtica. Algunos de los miembros del Crculo, entre ellos Carnap, Hanh y el fsico Hans Thirring, estaban investigando los fenmenos parapsicolgicos, asunto por el que tambin Gdel mostraba agudo inters. (Aos ms tarde, Gdel le hara notar a un amigo ntimo, el economista Oskar Morgenstern, que en el futuro sera tenido por fenmeno extrao que los cientficos del siglo XX hubieran descubierto las partculas fsicas elementales y ni siquiera se les hubiera ocurrido considerar la posibilidad de factores psquicos elementales.) En su tesis doctoral, "La completitud de los axiomas del clculo funcional de primer orden", resolva un problema pendiente, que David Hilbert y Wilhelm Ackermann haban planteado en un libro que escribieron conjuntamente en 1928, Grundzge der theoretischen Logik ("Fundamentos de la Lgica Terica"). La cuestin consita en si las reglas al uso, enunciadas en el libro, para la manipulacin de expresiones que contengan conectivas lgicas ("y", "o", y similares) y cuantificadores ("para todo" y "existe", aplicadas a variables que recorren nmeros o conjuntos) permitiran, adjuntados a los axiomas de una teora matemtica, la deduccin de todas y slo todas las proposicioes que fueran verdaderas en cada estructura que cumpliera los axiomas. En lenguaje llano, sera realmente posible demostrar todo cuanto fuera verdadero para todas las interpretaciones vlidas de los smbolos? El teorema de completitud de Gdel enuncia que es posible demostrar todos aquellos enunciados que se siguen de los axiomas. Existe, sin embargo, una dificultad: si algn enunciado fuese verdadero para los nmeros naturales, pero no lo fuese para otro sistema de entidades que tambin satisface los axiomas, entonces no podra ser demostrado. Ello no parece constituir un problema serio, porque los matemticos confiaban en que no existieran entidades que se disfrazasen de nmeros para diferir de ellos en aspectos esenciales. Por este motivo, el teorema de Gdel que vino a continuacin provoc autntica conmocin. Este ltimo resultado apen muchisimo a Hilbert, quien haba contemplado un programa para fijar los fundamentos de las matemticas por medio de un proceso "autoconstructivo", mediante el cual la consistencia de teoras matemticas complejas pudiera deducirse de la consistencia de ms sencillas y evidentes. Gdel, por otra parte, no consideraba que sus teoremas de incompletitud demostrasen la inadecuacin del mtodo axiomtico, sino que hacan ver que la deduccin de teoremas no pueden mecanizarse. A su modo de ver, justificaban el papel de la intuicin en la investigacin matemtica. Los logros en la teora de conjuntos entraaban la resolucin de algunos de los aspectos ms controvertidos de la teora de colecciones de objetos. A finales del siglo XIX, el matemtico alemn Georg Cantor haba introducido la nocin de tamao ("cardinal") para conjuntos infinitos. Segn tal concepto, un conjunto A tiene menor cardinal que un conjunto B si, cualquiera que seal la forma en que a cada elemento de A otro le sea asigado en B, quedan siempre elementos de B que no tienen correspondiente. Valindose de esta nocin, Cantor demostr que el conjunto de los nmeros naturales es menor que el conjunto de todos los nmeros reales (el conjunto de todos los nmeros decimales). Cantor conjetur tambin que entre un conjunto y otro no existen conjuntos de tamao intermedio, enunciado que lleg a ser conocido como la hiptesis del continuo. En 1908, Ernst Zermelo, formul una lista de axiomas para la teora de conjuntos. Entre ellos se encontraba el teorema de eleccin, el cual (en una de sus versiones) afirma que dada una coleccin infinita de conjuntos disjuntos, cada uno de los cuales contiene al menos un elemento, existe un conjunto que contiene exactamente un elemento de cada uno de los conjuntos de la coleccin. Aunque su aspecto parece incuestionable -por qu no habramos de ser capaces de extraer un elemento de cada conjunto?- el axioma de eleccin entraa una multitud de consecuencias contrarias a la intuicin. De l se deduce, por ejemplo, la posibilidad de descomponer una esfera en un nmero finito de piezas, que separadas y vueltas a ensamblar aplicando tan slo movimientos rgidos, forme una nueva esferea de volumen doble que la primera.