De Russell a Frege – Carta de 1902

contacta     ·     sobre     ·     azar     ·     buchaca     ·     manifiestos    ·   

  • Forma

    La intención, la mirada, la propuesta. Dónde yace lo que parece haber cuajado en un proceso de meditación-acción.

La carta que Russel mandó a Frege constatando la inconsitencia de 10 años de trabajo. Tela.
https://gazeta.gt/de-russell-a-frege-la-carta-de-la-inconsistencia-i/

Aquí se puede leer la carta de Russell traducida tal cuál se la mandó a Frege.

El interés total por esta carta es que supuso el desmontaje del trabajo de 10 años a Frege por parte de Russell respecto a lograr encontrar los fundamentos de las matemáticas por la aritmética (creo que iba así). Sin duda cuando lo leí por primera vez me marcó mucho ese ánimo de ponerte a lograr demostrar algo y darle duro durante 10 años (joder, que son 10 años) para que a última hora a otro matemático se le encienda una luz con una reflexión que te desmonta absolutamente todo. Y aún me queda buscar más información sobre cómo se tomó esto Frege pero por un lado imagino que de todo lo mal que pudo ser al inicio, al final del todo, alguien que ama tanto la investigación debió sentirse de alguna forma (aunque extraña) feliz porque se había progresado en la ciencia.

Querido colega:
He sabido de tu Grundgesetze desde hace un año y medio, pero solo ha sido ahora que he podido encontrar tiempo para el detallado estudio que pretendo dedicar a tus escritos. Estoy totalmente de acuerdo contigo en todos sus puntos principales, en particular en tu rechazo de todo elemento psicologicista en lógica, y en el valor que asignas a una notación conceptual para la los fundamentos de las matemáticas y de la lógica formal que, de paso, a duras penas pueden distinguirse. […] He encontrado una dificultad tan solo en un punto. Afirmas (p. 17) que una función puede también constituir el elemento indeterminado. Esto es lo que solía creer yo, pero este punto de vista me parece ahora dudoso debido a la siguiente contradicción: Sea w el predicado de ser un predicado que no puede ser predicado de sí mismo. ¿Puede w ser un predicado de sí mismo? De ambas respuestas se sigue una contradicción. Debemos por tanto concluir que w no es un predicado. Igualmente, no hay una clase (en su totalidad) de todas las clases que, en su totalidad, no sean miembros de sí mismas. De esto concluyo que bajo ciertas circunstancias un conjunto definible no forma un conjunto completo.

Hagamos de esto una conversación

Deja un comentario

blogroll

Licencia de producción de pares excepto en lo que no sea de mi puño y bit.

Descubre más desde Comunicación Abierta

Suscríbete ahora para seguir leyendo y obtener acceso al archivo completo.

Seguir leyendo