Соломон Феферман
Соломон Феферман · Наука и медицина
Соломон Феферман был американским математическим логиком в Стэнфорде, внёсшим глубокий вклад в теорию доказательств и предикативность и построившим системы, измеряющие силу математических теорий.
1928, New York City, United States — 2016, Stanford, California, United States
United States
Соломон Феферман был американским математическим логиком в Стэнфорде, внёсшим глубокий вклад в теорию доказательств и предикативность и построившим системы, измеряющие силу математических теорий. Он также подготовил собрание сочинений Курта Гёделя. Он еврей.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jews in Mathematics
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Соломон Феферман был американским математическим логиком в Стэнфорде, внёсшим глубокий вклад в теорию доказательств и предикативность и построившим системы, измеряющие силу математических теорий.
Источник: Jinfo.org — Jews in Mathematics