TEMAS DE MATEMTICAS (Oposiciones de Secundaria)

TEMA 71 LA CONTROVERSIA SOBRE LOS FUNDAMENTOS DE LA MATEMTICA. LAS LIMITACIONES INTERNAS DE LOS SISTEMAS FORMALES.

1. Las Paradojas. 1.1. Paradojas Lgicas. 1.2. Paradojas Semnticas. 1.3. Observaciones. 2. El Logicismo. 2.1. El principio de crculo vicioso. 2.2. La reduccin de los trminos matemticos en trminos lgicos. 3. El formalismo. 3.1. El programa de Hilbert. 3.1.1. Elaboracin del sistema formal. 3.1.2. Teora de la demostracin. 4. El intuicionismo. 4.1. La lgica intuicionista. 4.2. Comparacin con el logicismo 4.3. Comparacin con el formalismo. Bibliografa Recomendada

1/10

TEMA 71 LA CONTROVERSIA SOBRE LOS FUNDAMENTOS DE LA MATEMTICA. LAS LIMITACIONES INTERNAS DE LOS SISTEMAS FORMALES.

1. LAS PARADOJAS. El trmino paradoja viene del griego (para y doxos) y significa "ms all de lo creble". En la actualidad la palabra "paradoja" tiene numerosos significados: 1) Afirmacin que parece falsa, aunque en realidad es verdadera. 2) Afirmacin que parece verdadera, pero en realidad es falsa. 3) Cadena de razonamientos aparentemente impecables, que conducen sin embargo a contradicciones lgicas. (Las paradojas de esta clase suelen llamarse falacias.) 4) Declaracin cuya veracidad o falsedad es indecible. 5) Verdad que se vuelve patas arriba para llamar la atencin. Las paradojas matemticas, como las cientficas, pueden ser mucho ms que amenidades, y llevarnos hasta nociones muy profundas. A los primeros pensadores griegos les resultaba tan paradjico como insoportable que la diagonal de un cuadrado de lado unidad no pudiera ser medida exactamente por finas que se hicieran las graduaciones de la regla. Este hecho perturbador sirvi para abrir el vasto dominio de los nmeros irracionales. Los matemticos del siglo pasado encontraban enormemente paradjico que todos los miembros de un conjunto infinito puedan ponerse en correspondencia biunvoca con los miembros de algn subconjunto del dado, mientras por otra parte podan existir conjuntos infinitos entre los cuales es imposible establecer una correspondencia biunvoca. Tales paradojas condujeron a desarrollar la moderna teora de conjuntos, que a su vez ha ejercido profunda influencia sobre la filosofa de la ciencia. Mucho podemos aprender de las paradojas. Al igual que los buenos trucos de ilusionismo, nos causan tanto asombro que inmediatamente queremos saber como se han hecho. Los ilusionistas no revelan jams como hacen lo que hacen, pero los matemticos no tienen necesidad de guardar el secreto. Despus del descubrimiento de las geometras no eucldeas, ningn hecho ha influido de forma tan importante en el desarrollo de los fundamentos de la Matemtica como la aparicin de las paradojas. Las paradojas estimularon los esfuerzos de los matemticos para que las explicaran y superaran. Adems, era un punto muy delicado con el que en adelante tenan que enfrentarse todas las teoras de fundamentacin de la Matemtica.

1.1. Paradojas Lgicas. Entre las primeras, cronolgicamente hablando, tenemos la paradoja de Cantor (1899). Cantor fue el creador de la teora de conjuntos. Sea U el conjunto universal, es decir, el conjunto formado por todos los conjuntos. Sea P(U) el conjunto de las partes de U, o lo que es lo mismo, el conjunto formado por todos los subconjuntos de U.

2/10

El teorema de Cantor dice que el cardinal de un conjunto es menor que el cardinal del conjunto formado por todos los subconjuntos de dicho conjunto. Es decir |U| < |P(U)| (1)

Pero como P(U) es un conjunto se debe verificar que P(U) U verificndose que |P(U)| |U| (2)

Y aqu nos encontramos con la paradoja, ya que no puede suceder de forma simultnea (1) y (2). Probablemente la paradoja ms conocida corresponde a B. Russell, publicada a comienzos del siglo XX, y que ha dado lugar a numerosas variantes. Para que se pueda entender la paradoja, tengamos en cuenta que existen clases o conjuntos que pueden pertenecer a s mismos. Por ejemplo, el conjunto de todos los conjuntos debe ser un elemento de s mismo, al ser otro conjunto. De forma anloga, podemos indicar que si colocamos en un armario un catlogo de tapas azules que cataloga todos los libros de tapas azules, deber catalogarse a s mismo. Sea W el conjunto de todos los conjuntos C que no se pertenecen a s mismos. entonces tendremos que CW CC Pero entonces WW lo cual significa que WW. Recprocamente, si WW, ha de verificarse que WW. En cualquier caso, ha de verificarse de forma simultnea que W pertenece y no pertenece a W.

1.2. Paradojas Semnticas. La paradoja de Richard (1905) se refiere a la imposibilidad de una enumeracin de las funciones de la teora de nmeros, a pesar de la aparente posibilidad de llevarlo a cabo. Se consideran las funciones f tales que a todo nmero natural n se le hace corresponder un nmero natural f(n). Supongamos que para escribir correctamente en castellano sean necesarios y suficientes 35 signos (entre letras, acento, espaciado y dems smbolos de puntuacin). Entonces, una expresin con m signos no es ms que una combinacin con repeticin de los 35 signos. Es claro que todas estas expresiones (con una cantidad finita de signos) se pueden ordenar, comenzando con los formados por un solo signo, despus los de dos, y as sucesivamente, siguiendo el orden lexicogrfico.

3/10

Una vez ordenadas todas las expresiones en correcto castellano hacemos una lista, es decir, numeramos (manteniendo el orden) con E , E2 , ... todas aquellas que definan 1 una funcin en la teora de nmeros y suprimimos todas las dems expresiones. Llamemos fk (n) la funcin definida por la expresin Ek . Dado que la sucesin E1 , E2 , ... es infinita, la correspondiente a funciones f (n), f (n), ... tambin lo es. Consideremos 1 2 ahora la siguiente expresin de Richard: La funcin que para todo nmero natural toma, aumentando en una unidad, el valor que para ese mismo nmero natural toma la funcin que ocupa en la lista el lugar indicado por este mismo nmero natural Es claro que esta expresin es equivalente a la expresin matemtica: La funcin que para todo nmero natural n toma el valor fn (n)+1 Ahora bien, la expresin de Richard define una funcin y, por tanto, ocupa un lugar en la lista. Sea la expresin Ep y sea fp (n) la funcin correspondiente. Entonces en virtud de la misma definicin, resulta que para todo n, fp (n) = fn (n)+1, lo cual es imposible, pues para n=p tendra que ser fp (p)=fp (p)+1. La paradoja de Berry (1906) surge al considerar las cualidades sintctica y semntica de la siguiente expresin: El menor nmero natural que no puede ser nombrado con menos de treinta slabas Resulta que la expresin de Berry nombra en menos de treinta slabas un nmero natural que no puede ser nombrado en menos de treinta slabas.

1.3. Observaciones. Las paradojas lgicas pueden ser formalizadas en sistemas formales lgicos (los cuales deben ser inconsistentes) sin que en estas tengan que figurar trminos primitivos ajenos a la teora de conjuntos. Mientras que las paradojas semnticas para poder ser formalizadas requieren la introduccin de algn trmino como definir, nombrar, verdad, etc que son ajenos a la teora de nmeros. Para la fundamentacin de la matemtica, las paradojas semnticas no son peligrosas. De hecho, no pueden ser formalizadas en el lenguaje de la lgica simblica. Ninguna de las paradojas formuladas tiene una solucin trivial. Veremos como las teoras de Logicismo, Formalismo e Intuicionismo evitan caer en las paradojas.

2. EL LOGICISMO. El Logicismo es una doctrina sobre los fundamentos de la matemtica que considera la lgica como anterior o ms fundamental que la matemtica, y efecta la reduccin de

4/10

los conceptos y mtodos de inferencia matemtica a los correspondientes de la lgica, concluyendo que la matemtica no es ms que una rama de la lgica, sin duda extensa y con vida propia, pero cuyo mtodo se identifica con el propio mtodo de la lgica. El primero en desarrollarla con considerable extensin y con todo rigor fue G. Frege (1848-1925). Con mayor extensin aun, lo hizo J. Peano (1858-1932). Y finalmente tambin lo hicieron Whitehead (1861-1947) y B. Russell (1872-1970), que son considerados los introductores del Logicismo. Una de las tareas fundamentales del Logicismo es la reduccin de los conceptos matemticos a conceptos lgicos y de igual manera los teoremas de la matemtica deben ser demostrados como teoremas de la lgica.

2.1. El principio de crculo vicioso. Un somero examen de las paradojas nos sugiere inmediatamente que no se ha de poder permitir utilizar, por lo menos en matemticas y lgica, conjuntos tan grandes y con elementos tan arbitrarios como los conjuntos U y W de Cantor y Russell, que sin embargo satisfacen las precisas condiciones de conjuntos, que estableci Cantor. Sin duda alguna, el anlisis del concepto de conjunto, de sus estrictas y justas limitaciones para su empleo en lgica y matemticas parece ser un problema ms difcil que el de evitar las paradojas. Poincar y Russell vieron que en todas las paradojas hay una especie de crculo vicioso en cuanto que, en todas ellas, hay una definicin que contiene lo definido. Uno de los requisitos de toda teora de los fundamentos ha de ser evitar que puedan surgir paradojas; Russell formul y guard el siguiente principio de exclusin de crculo vicioso: Ninguna totalidad puede contener miembros definibles solamente en trminos de esa totalidad, o miembros que impliquen o presupongan esta totalidad.

2.2. La reduccin de los trminos matemticos en trminos lgicos. Los tres volmenes de Principia Mathematica de A.N. Whitehead y B. Russell empiezan como si fuera un tratado de lgica avanzada mediante operaciones lgicas y definiciones explcitas hasta dar todos los elementos fundamentales de la matemtica. Los autores pretenden que es imposible sealar una lnea de separacin entre la lgica y la matemtica. Ello requiere dos reducciones: la primera es la definicin explcita de los trminos o conceptos matemticos mediante trminos lgicos y la segunda reduccin es reducir los teoremas matemticos mediante deducciones lgicas o teoremas de la lgica. Las entidades primitivas en las que termina la reduccin lgica son en primer lugar los del clculo proposicional, es decir, las cuatro conectivas lgicas de conjuncin, disyuncin, negacin e implicacin y variables proposicionales; luego los

5/10

cuantificadores y las variables del clculo funcional, es decir, propiedades y relaciones con sus argumentos y finalmente la relacin de igualdad. Los axiomas lgicos fundamentales para la reduccin lgica de los teoremas son los mismos axiomas del clculo de predicados; y las dos reglas de inferencia lgica son las de sustitucin y de modus ponens o implicacin. Los autores de la Principia pretenden logificar todos los teoremas matemticas en el sentido de reducirlos a proposiciones lgicas verdaderas, formadas exclusivamente por smbolos primitivos lgicos y por otros signos definidos explcitamente, los cuales a su vez pueden ser sustituidas por otras y as sucesivamente hasta poder conseguir que las proposiciones lgicas equivalentes a los teoremas matemticos contenga solamente los smbolos lgicos primitivos. Ahora bien, para llevar a cabo esta reduccin los autores admiten como verdaderos los tres axiomas de infinitud, de seleccin y de reducibilidad. Este ltimo axioma permite introducir propiedades del primer orden que tengan la misma extensin lgica que propiedades de orden superior, con lo cual se consigue poder formar definiciones predicativas, que sin este axioma seran impredicativas (definiciones que contienen lo definido). Pero este axioma es difcilmente justificable. El postulado de infinitud establece que para todo nmero natural existe otro mayor. Es obvio que este postulado u otro equivalente o ms fuerte ha de figurar en todo sistema axiomtico que incluya un tratamiento de nmeros naturales, pero no parece que su admisin constituya una logificacin. Finalmente podran hacerse consideraciones respecto al axioma de seleccin. Adems, el empleo de este axioma parece implicar que si se hiciera la reduccin de un teorema matemtico a su expresin lgica exclusivamente mediante los smbolos lgicos primitivos se obtendran expresiones no solo con infinitos smbolos, sino incluso con infinitud no numerable. Esta conclusin tampoco parece satisfactoria y aun menos si se considera desde el punto de vista del logicismo.

3. EL FORMALISMO. D. Hilbert (1862-1943) llev a cabo la fundamentacin de la geometra, especificando claramente su axiomatizacin, y haciendo patente su consistencia relativa respecto de la aritmtica y el anlisis. Todas las dificultades en los fundamentos de la matemtica nacen del hecho de que en las matemticas a menudo se hace uso del infinito actual, es decir, que se suponen como existentes y manejables conjuntos que contienen infinitos elementos. No obstante, en la deduccin de los teoremas matemticos si bien es verdad que se maneja el infinito el nmero de pasos lgicos que se realizan en cualquier demostracin de cualquier teorema es necesariamente finito. La idea fundamental de Hilbert al crear la teora formalista para la fundamentacin de la matemtica consiste en la intuicin de que ha de ser posible establecer ms all de toda duda la validez de las matemticas clsicas, incluso de las no constructivas,

6/10

apelando al carcter finitista o finitario de las demostraciones matemticas. Para ello se idealizarn las demostraciones matemticas, algo as como la introduccin de puntos en el infinito es una idealizacin del concepto de punto; los sistemas formales sern precisamente esta idealizacin simplificadora de las demostraciones matemticas. Luego, mediante el establecimiento de un criterio, a saber, la consistencia del sistema formal, se establecer a travs de razonamientos finitos y, por tanto, fuera de toda duda, la validez del contenido de todos los teoremas matemticos. En un sistema axiomtico formal los elementos primitivos (smbolos o trminos) carecen en absoluto de contenido esencial explcito y son las piezas de un puro juego sin sentido material en s mismo, cuyo manejo o nico sentido formal viene definido implcitamente por las reglas del juego constituidas por los axiomas y las reglas de inferencia. Por tanto, en un sistema formal tendremos trminos, frmulas, demostraciones, teoremas que son diversas combinaciones de los elementos primitivos de acuerdo con ciertas reglas fijas, pero carece de sentido hablar de verdad o falsedad. El juego del ajedrez nos suministra un ejemplo: se puede preguntar si una situacin dada es alcanzable (demostrable), pero no parece que tenga sentido preguntar si es verdadera o falsa en s misma. Es importante tener en cuenta que las matemticas tratan de entidades existentes y en particular los teoremas de existencia son fundamentales.

3.1. El programa de Hilbert. 3.1.1. Elaboracin del sistema formal. En la elaboracin de un sistema formal en orden a demostrar la validez de los mtodos matemticos clsicos, podemos distinguir tres etapas que podemos caracterizar con estas tres palabras: smbolos, frmulas y teoremas del sistema. Hay que determinar en primer lugar cuales son los smbolos a emplear. Podrn ser de diversas clases: smbolos que representan variables o constantes, funciones y predicados que corresponden a entidades matemticas y luego smbolos que correspondan a las conexiones lgicas del discurso matemtico y a los cuantificadores. Con estos smbolos formales se podrn formar sucesiones finitas que llamaremos expresiones formales. Las frmulas constituyen una parte de las expresiones formales. Son aquellas en las que la sucesin de smbolos guarda ciertas reglas. Pero dichas frmulas no siempre sern expresiones verdaderas (Ej.: = + + =). Finalmente hay que especificar los axiomas y reglas de inferencia que permiten obtener sucesiones de frmulas de modo que cada una sea un axioma o una inferencia lgica de frmulas precedentes. A tales sucesiones de frmulas formales las llamaremos demostraciones (formales) de la ltima frmula de la sucesin, la cual se llamar teorema (formal).

7/10

3.1.2. Teora de la demostracin. Hilbert admite que el empleo del infinito actual en las matemticas puede, en efecto, representar un salto en lo incomprensible y carecer de evidencia y ser la razn primitiva de la aparicin de paradojas. Por consiguiente hay que emplear una teora de la demostracin que, empleando exclusivamente razonamientos evidentes y, por tanto, finitarios, demuestre tericamente que los mtodos de las matemticas conducen a teoremas verdaderos y son por tanto mtodos vlidos. De este modo, la pieza fundamental de la teora de la demostracin es la nocin de consistencia de un sistema formal. Supongamos que, en efecto, se ha construido un sistema formal, cuyos teoremas formales se corresponden mutuamente con los teoremas matemticos de una cierta rama de la matemtica. Si los teoremas matemticos son verdaderos y tienen un sentido objetivo innegable y el mtodo empleado para obtenerlos es vlido, entonces ser necesario que el sistema formal sea consistente. Pues a cada teorema matemtico deber corresponder uno formal y a la frmula contradictoria de la que expresa un teorema tendr que corresponder una frmula formalmente indemostrable, de tal manera que en el sistema formal no sea posible que una frmula y su negacin sean al mismo tiempo formalmente indemostrable (condicin de consistencia). Inversamente, Hilbert estima que si se demuestra que un sistema formal es consistente y en dicho sistema formal son demostrables formalmente las frmulas que corresponden a los teoremas de una rama de las matemticas, ello es suficiente garanta de que los teoremas de esta rama de la demostracin de consistencia del sistema formal constituye la clave de la fundamentacin formalista de las matemticas. De lo dicho se desprende el propsito de la teora de la demostracin: demostracin de la absoluta veracidad de las matemticas. Hoy da hay que admitir que la teora de la demostracin de Hilbert no ha conseguido sus fines. Ello ha contribuido a quitar importancia a la propiedad de consistencia de un sistema formal.

4. EL INTUICIONISMO. Brouwer fue el fundador del intuicionismo. El principio de construccin o de constructibilidad, que es el principio bsico del intuicionismo matemtico que afirma que la matemtica es el estudio de un cierto tipo matemtico de construccin mentales. El trabajo del intuicionista consiste en desarrollar esa construccin mental, descubrirla, suscitarla en otras, incluso estructurarla y formalizarla lo mejor posible, pero a sabiendas de que todo eso no es ms que un proceso de aproximacin. La construccin mental matemtica no puede ser reducida o fundada en algo matemtico anterior, que sea ms radical o primitivo. A. Heyting afirma que un teorema matemtico expresa un hecho puramente emprico. Adems, el pensamiento matemtico se caracteriza porque se ocupa solo de la construccin mental y no implica verdad alguna en lo relativo al mundo exterior. La matemtica intuicionista procede por tanto por va exclusiva y simultneamente gentica y existencial, en cierta manera categrica, empezando precisamente por la

8/10

construccin matemtica- de los nmeros naturales. Llevada a cabo una construccin matemtica, la entidad matemtica resultante goza de aquellas propiedades, y no ms, que le han sido otorgadas por la construccin matemtica. Un segundo elemento fundamental del intuicionismo, es la intuicin matemtica misma, cuya actividad, potencia y manera de ser condiciona, evidentemente, el carcter de las entidades matemticas construidas. Hay que sealar que la descripcin y estudio de la construccin mental y de la intuicin matemtica no forman parte de la matemtica intuicionista propiamente, sino que estn en un plano prematemtico o mejor de filosofa de las matemticas. Brouwer seala cono intuicionismo el apriorismo de las formas de la sensibilidad del espacio y tiempo en Kant.

4.1. La lgica intuicionista. La formalizacin de la lgica intuicionista llevada a cabo por Heyting, introduce en el clculo proposicional las cuatro conectivas de conjuncin , de disyuncin , de implicacin y de negacin . Aunque los smbolos son los mismos que en el clculo proposicional, su significado es distinto. Salvo el significado de las conectivas, coinciden, por ejemplo, las f.b.f.s. (frmulas bien formadas o formales, las reglas del modus ponens, las reglas de inferencia, demostracin formal, el empleo del signo de demostrabilidad formal, etc.). Pero los axiomas no, ya que dependen del significado de las conectivas. La interpretacin de los signos de conjuncin y de disyuncin es la siguiente: si y B son f.b.f.s., entonces A B es verdadero solo cuando A y B sean verdaderos; y AB es verdadero solo cuando A o B sean verdaderos (o ambos). La validez de esa formalizacin es evidente si se considera que de la construccin o demostracin de A y de la de B resulta inmediata la construccin de A y B y de forma anloga para la disyuncin. La interpretacin del smbolo de implicacin es la siguiente. Si A y B son f.b.f.s., entonces A B ser verdadera en la interpretacin intuicionista slo cuando podamos dar una demostracin constructiva de la f.b.f. B en la hiptesis de que tengamos una demostracin constructiva de la f.b.f. A. Y por ltimo la negacin . Hay que tener presente que A, al igual que A, es tambin una proposicin intuicionista y por lo tanto ha de connotar una construccin. Supongamos que afirmamos A, de modo que tenemos A. Entonces por definicin, el significado de esta afirmacin es que partiendo de la hiptesis de una construccin mental matemtica de A podemos llevar a cabo una construccin que nos lleve a un contradiccin. 4.2. Comparacin con el logicismo. El logicismo presenta la lgica como fundamento exclusivo de la matemtica clsica. Pero para el intuicionismo, la lgica matemtica desarrollada por Frege, Peano 9/10

y Russell no es sino una continuacin de la de Platn y Aristteles. Y la reduccin lgica de la matemtica llevada a cabo por los logicistas conserva todava una esencial referencia al mundo y a un realismo muy elaborado, pero conservando rasgos de ingenuidad. Russell lleg a escribir: La lgica se ocupa del mundo real tan verdaderamente como la zoologa, aunque de sus rasgos ms abstractos y generales Por el contrario, el intuicionismo, lejos de reducir la matemtica a la lgica, considera esta como una elaboracin posterior. Para la matemtica intuicionista, el mundo exterior no es sino ocasin o aplicacin.

4.3. Comparacin con el Formalismo. Para los formalistas, la matemtica empieza en los smbolos, en el papel. En su aspecto esencial la matemtica se identifica con la ciencia de los sistemas formales: El formalista desea como definicin de la actividad matemtica algo claro, bien definido y bien cortado. El intuicionista aplica su intuicin, elabora con cierta imprecisin y oscuridad la nocin de nmero natural y luego finalmente empieza su actividad El intuicionista es impreciso y oscuro en sus primeras actividades todava prematemticas, pero nunca arbitrario. Busca lo que haya y descubre lo que encuentre en su actividad constructiva.

BIBLIOGRAFA RECOMENDADA Fundamentos de la Matemtica. Aut.: Alberto Dou Edit.: NCL

10/10