Solomon Feferman
Solomon Feferman · Ciencia y medicina
Solomon Feferman, lógico matemático estadounidense en Stanford, hizo profundas contribuciones a la teoría de la demostración y a la predicatividad, desarrollando sistemas que miden la fuerza de las teorías matemáticas.
1928, Nueva York, Estados Unidos — 2016, Stanford, California, Estados Unidos
Estados Unidos
Solomon Feferman, lógico matemático estadounidense en Stanford, hizo profundas contribuciones a la teoría de la demostración y a la predicatividad, desarrollando sistemas que miden la fuerza de las teorías matemáticas. También editó las obras completas de Kurt Gödel. Es judío.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jews in Mathematics
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Solomon Feferman, lógico matemático estadounidense en Stanford, hizo profundas contribuciones a la teoría de la demostración y a la predicatividad, desarrollando sistemas que miden la fuerza de las teorías matemáticas.
Fuente: Jinfo.org — Jews in Mathematics
Contribuidores similares
Georg Kreisel
Eugene Wigner
Paul Bernays
Saharon Shelah
Adolf Lindenbaum
