Solomon Feferman
Solomon Feferman · Nauka i medycyna
Solomon Feferman był amerykańskim logikiem matematycznym na Stanfordzie, który wniósł głęboki wkład w teorię dowodu i predykatywność, budując systemy mierzące siłę teorii matematycznych.
1928, New York City, United States — 2016, Stanford, California, United States
United States
Solomon Feferman był amerykańskim logikiem matematycznym na Stanfordzie, który wniósł głęboki wkład w teorię dowodu i predykatywność, budując systemy mierzące siłę teorii matematycznych. Opracował także edycję dzieł zebranych Kurta Gödla. Jest Żydem.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jews in Mathematics
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Solomon Feferman był amerykańskim logikiem matematycznym na Stanfordzie, który wniósł głęboki wkład w teorię dowodu i predykatywność, budując systemy mierzące siłę teorii matematycznych.
Źródło: Jinfo.org — Jews in Mathematics
Podobni twórcy
Georg Kreisel
Paul Bernays
Saharon Shelah
Adolf Lindenbaum
Albert Schwarz
