George Boolos
George Boolos · Filozofia i nauki społeczne
George Boolos był filozofem i logikiem matematycznym w MIT, którego prace o podstawach matematyki, logice dowodliwości i logicyzmie Fregego okazały się bardzo wpływowe; stworzył też cenione studium teoriodowodowe logiki drugiego rzędu.
1940, New York City, United States — 1996, Cambridge, Massachusetts, United States
United States
George Boolos był filozofem i logikiem matematycznym w MIT, którego prace o podstawach matematyki, logice dowodliwości i logicyzmie Fregego okazały się bardzo wpływowe; stworzył też cenione studium teoriodowodowe logiki drugiego rzędu. Był pochodzenia greckiego i żydowskiego (niemiecko-żydowskiego). Jego prace ukształtowały sposób, w jaki współcześni logicy czytają Fregego i rozumieją autoreferencję.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jews in Philosophy
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ć.
George Boolos był filozofem i logikiem matematycznym w MIT, którego prace o podstawach matematyki, logice dowodliwości i logicyzmie Fregego okazały się bardzo wpływowe; stworzył też cenione studium teoriodowodowe logiki drugiego rzędu.
Źródło: Jinfo.org — Jews in Philosophy
Podobni twórcy
Ruth Barcan Marcus
Saul Kripke
Kalonymus ben Kalonymus
Abner Shimony
