George Boolos
George Boolos · Философия и общественные науки
Джордж Булос был философом и математическим логиком в MIT, чьи работы об основаниях математики, логике доказуемости и логицизме Фреге оказались весьма влиятельными; он создал и признанное теоретико-доказательственное исследование логики второго порядка.
1940, New York City, United States — 1996, Cambridge, Massachusetts, United States
United States
Джордж Булос был философом и математическим логиком в MIT, чьи работы об основаниях математики, логике доказуемости и логицизме Фреге оказались весьма влиятельными; он создал и признанное теоретико-доказательственное исследование логики второго порядка. Он был греческого и еврейского (немецко-еврейского) происхождения. Его труды сформировали то, как современные логики читают Фреге и понимают самореференцию.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jews in Philosophy
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Джордж Булос был философом и математическим логиком в MIT, чьи работы об основаниях математики, логике доказуемости и логицизме Фреге оказались весьма влиятельными; он создал и признанное теоретико-доказательственное исследование логики второго порядка.
Источник: Jinfo.org — Jews in Philosophy
Похожие деятели
Ruth Barcan Marcus
Saul Kripke
Kalonymus ben Kalonymus
Abner Shimony
