Formalismo de Russell

El descubrimiento de Bertrand Russell de una contradicción oculta en el intento de Friedrich Frege de formalizar la teoría de conjuntos hizo que algunos matemáticos se preguntaran cómo podía asegurarse de que no existían otras contradicciones. El programa de Hilbert, llamado formalismo, debía concentrarse en el lenguaje formal de la matemática y estudiar su sintaxis. En particular, la consistencia de la matemática, que puede ser tomada, por ejemplo, como la afirmación metamatemática de que la afirmación matemática 0 = 1 no es demostrable, debía ser demostrable dentro de la sintaxis de la matemática. Este proyecto de formalización sólo tenía sentido si la sintaxis de la matemática era consistente, pues de lo contrario toda afirmación sintáctica sería demostrable, incluso aquella que afirma la consistencia de la matemática.

Desafortunadamente, una consecuencia del teorema de incompletitud de Gödel es que la consistencia de la matemática puede ser probada solamente en un lenguaje que es más fuerte que el lenguaje de la matemática misma. Sin embargo, el formalismo no está muerto -de hecho, la mayoría de los matemáticos puros son formalistas tácitos- pero el intento ingenuo de probar la consistencia de la matemática en un sistema más débil tuvo que ser abandonado.

Aunque nadie, excepto un intuicionista extremista, negará la importancia del lenguaje de la matemática, la mayoría de los matemáticos son también filosóficos realistas que creen que las palabras de este lenguaje denotan entidades en el mundo real. Siguiendo al matemático suizo Paul Bernays (1888-1977), esta posición también se llama platonismo, ya que Platón creía que las entidades matemáticas realmente existen.

Paul Isaac Bernays

 

Read Full Post »

Lógica en los fundamentos de la matemática

La prominencia de la lógica en los fundamentos de la matemática llevó a algunas personas, llamadas logicistas, a sugerir que la matemática es una rama de la lógica. Los conceptos de pertenencia e igualdad podían ser incorporados razonablemente a la lógica, pero ¿qué pasa con los números naturales? Kronecker había sugerido que, mientras todo lo demás era hecho por el hombre, los números naturales eran dados por Dios. Los logicistas, sin embargo, creían que los números naturales eran también hechos por el hombre, en la medida en que se puede decir que las definiciones son de origen humano.

Leopold Kronecker

Russell propuso que el número se definiera como el conjunto de todos los conjuntos de dos elementos, es decir, si y sólo si tiene elementos distintos e , y cada elemento de es o .

Bertrand Russell

El matemático norteamericano nacido húngaro John von Neumann (1903-1957) sugirió una definición aún más simple, a saber, que si y sólo si o , donde es el conjunto vacío y es el conjunto que consiste de solo . Ambas definiciones requieren un axioma extra-lógico para hacerlas funcionar: el axioma del infinito, que postula la existencia de un conjunto infinito. Puesto que el conjunto infinito más simple es el conjunto de los números naturales, no se puede decir realmente que la aritmética haya sido reducida a la lógica.

John von Neumann

La mayoría de los matemáticos siguen a Peano, que prefiere introducir los números naturales directamente postulando las propiedades cruciales de y la operación sucesor , entre las cuales se encuentra el principio de inducción matemática.

Giuseppe Peano

El programa logicista podía ser salvado por una construcción del siglo XX generalmente atribuida a Church, aunque había sido anticipada por el filósofo austriaco Ludwig Wittgenstein (1889-1951). Según Church, el número es el proceso de iteración; es decir, es la función que a cada función asigna su iterado , donde . Hay algunas dificultades de tipo teórico con esta construcción, pero éstas pueden ser superadas si se permite la cuantificación sobre los tipos.

Alonzo Church

Ludwig Wittgenstein

Read Full Post »

Comienzos de la Teoría de Conjuntos

El descubrimiento en el siglo XIX de geometrías alternativas consistentes precipitó una crisis. Se demostró que la geometría euclidiana, basada en aparentemente supuestos axiomáticos más intuitivamente obvios, no se correspondía con la realidad como los matemáticos creían. Esto, junto con los audaces descubrimientos del matemático alemán Georg Cantor en la teoría de conjuntos, dejó claro que, para evitar más confusión y responder satisfactoriamente a resultados paradójicos, era necesario un fundamento nuevo y más riguroso para la matemática.

Los matemáticos del siglo XIX descubrieron que el lenguaje de la matemática podía reducirse al de la teoría de los conjuntos (desarrollada por Cantor), tratando la pertenencia y la igualdad , junto con una aritmética rudimentaria que contenía al menos símbolos para cero  y sucesor . Subyacentes a todo ello se encuentran los conceptos lógicos básicos: la conjunción , la disyunción , la implicación , la negación  y los cuantificadores universal  y existencial  (formalizados por el matemático alemán Friedrich Ludwig Gottlob Frege (1848-1925). La notación moderna se debe más a la influencia del lógico inglés Bertrand Arthur William Russell (1872-1970) y al matemático italiano Giuseppe Peano (1858-1932) que a Frege.

Friedrich Ludwig Gottlob Frege

Bertrand Arthur William Russell

Giuseppe Peano

Durante algún tiempo, los lógicos estuvieron obsesionados con un principio de parsimonia, llamado navaja de Ockham, que los justificó en la reducción del número de estos conceptos fundamentales, por ejemplo, definiendo como  o incluso como . Si bien esta definición, aunque innecesariamente engorrosa, es legítimamente clásica, no está permitida en la lógica intuicionista. En el mismo espíritu, muchos matemáticos adoptaron la definición de Wiener-Kuratowski del par ordenado  como , donde es el conjunto cuyo único elemento es .

La lógica había sido estudiada por los antiguos, en particular por Aristóteles y los filósofos estoicos. Filón de Megara (hacia 250 a.C.) había observado (o postulado) que $p\supset q$ es falso si y sólo si es verdadero y es falso. Sin embargo, la conexión íntima entre la lógica y la matemática tuvo que esperar la intuición de los pensadores del siglo XIX, en particular de Frege.

Frege fue capaz de explicar la mayoría de las nociones matemáticas con la ayuda de su esquema de comprensión, que afirma que para todo (fórmula o enunciado) debería existir un conjunto tal que, para todo , si y sólo si es verdadera. Por otra parte, por el axioma de extensionalidad, este conjunto está determinado únicamente por . Un defecto en el sistema de Frege fue descubierto por Russell, quien señaló algunas contradicciones obvias que implican conjuntos que se contienen como elementos, por ejemplo, tomando como . Russell ilustró esto por lo que ha llegado a ser conocido como la Paradoja del Barbero: Un barbero establece que afeita a todos los que no se afeitan a sí mismos. ¿Quién afeita al barbero? Cualquier respuesta contradice la declaración del barbero. Para evitar estas contradicciones, Russell introdujo el concepto de tipos, una jerarquía (no necesariamente lineal) de elementos y conjuntos de tal manera que las definiciones siempre proceden de elementos más básicos a conjuntos más inclusivos, esperando que las auto-referencias y las definiciones circulares serían excluidas. Con este tipo de distinción, sólo si es de un tipo superior más apropiado.

La teoría de tipos propuesta por Russell, desarrollada posteriormente en colaboración con el matemático inglés Alfred North Whitehead (1861-1947) en su monumental Principia Mathematica (1910-1913), resultó ser demasiado engorrosa para atraer a los matemáticos y lógicos, quienes lograron evitar la paradoja de Russell de otras maneras.

Alfred North Whitehead

Los matemáticos hicieron uso de la teoría de conjuntos de Neumann-Gödel-Bernays, que distingue entre conjuntos pequeños y clases grandes, mientras que los lógicos prefieren un lenguaje de primer orden esencialmente equivalente, los axiomas de Zermelo-Fraenkel, que permiten construir nuevos conjuntos sólo como subconjuntos de conjuntos dados. Cabe mencionar también el sistema del filósofo americano Willard Van Orman Quine (1908-2000), que admite un conjunto universal. (Cantor no había permitido tal conjunto «más grande», ya que el conjunto de todos sus subconjuntos tendría que ser aún más grande.) Aunque la teoría de tipos fue simplificada en gran medida por Alonzo Church y el matemático estadounidense Leon Henkin (1921-2006), sólo comenzó a destacarse con el advenimiento de la teoría de categorías.

Read Full Post »