Los cinco volúmenes de las Collected Works of Kurt Gödel, publicados por la Oxford University Press entre 2001 y 2013, sirven como un ejemplo principal de las contribuciones académicas de Solomon Feferman a la historia de la lógica. Como matemático y filósofo radicado en la Universidad de Stanford, navegó por las complejas intersecciones de la teoría de la demostración, la teoría de la computabilidad y la teoría de conjuntos a lo largo de una carrera de décadas.
Base académica
Nacido en 1928 en la ciudad de Nueva York, Feferman se mudó con su familia a Los Ángeles y se graduó de la escuela secundaria a los 16 años. Obtuvo una licenciatura en ciencias (B.S.) del Instituto de Tecnología de California en 1948. Tras servir en el Ejército de los Estados Unidos de 1953 a 1955, completó su doctorado en matemáticas en la Universidad de California en Berkeley en 1957. Sus estudios de doctorado se llevaron a cabo bajo la supervisión de Alfred Tarski.
Carrera en Stanford
En 1956, Feferman se incorporó a los departamentos de Matemáticas y Filosofía de la Universidad de Stanford. Pasó la mayor parte de su vida profesional en esta institución, alcanzando eventualmente el puesto de profesor Patrick Suppes de Humanidades y Ciencias. Su carrera incluyó periodos como investigador postdoctoral en el Instituto de Estudios Avanzados de Princeton, profesor visitante en el MIT e investigador visitante en el Wolfson College de Oxford.
Lógica y predicativismo
Feferman se ganó la reputación de ser un defensor del predicativismo, manteniendo una perspectiva antiplatónica dentro de la filosofía de las matemáticas. Inspirado por los escritos de Hermann Weyl, buscó aclarar los fundamentos matemáticos. Este trabajo lo llevó a introducir el ordinal de Feferman-Schütte, una métrica utilizada para medir la fuerza de ciertos sistemas predicativos.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Proyectos editoriales e históricos
Más allá de su investigación técnica, Feferman se dedicó a una extensa documentación histórica sobre el desarrollo de la lógica. Actuó como editor en jefe de las Collected Works of Kurt Gödel. En 2004, colaboró con su esposa, Anita Burdman Feferman, para publicar la biografía Alfred Tarski: Life and Logic. Estos proyectos se centraron en contextualizar las vidas y las producciones intelectuales de figuras destacadas en el campo.
Datos rápidos
- Nacimiento: 1928, Ciudad de Nueva York - Fallecimiento: 26 de julio de 2016, Stanford - Director de tesis doctoral: Alfred Tarski - Institución principal: Universidad de Stanford - Premio clave: Premio Rolf Schock en Lógica y Filosofía (2003) - Condición profesional: Miembro de la Sociedad Americana de Matemáticas (2013) - Grado académico: Doctorado, Universidad de California en Berkeley (1957) - Educación: Instituto de Tecnología de California (1948)
Preguntas que hacen los lectores
### ¿Cuál era la postura de Feferman sobre la filosofía de las matemáticas?
Era un firme defensor del predicativismo y sostenía una perspectiva antiplatónica.
### ¿Qué gran proyecto editorial dirigió?
Se desempeñó como editor en jefe de los cinco volúmenes de las Collected Works of Kurt Gödel.
