SF
Наука и медицина

Соломон Феферман

Поделиться
Кто

Соломон Феферман · Наука и медицина

Что

Соломон Феферман был американским математическим логиком в Стэнфорде, внёсшим глубокий вклад в теорию доказательств и предикативность и построившим системы, измеряющие силу математических теорий.

Когда

1928, New York City, United States — 2016, Stanford, California, United States

Где

United States

Биография

Соломон Феферман был американским математическим логиком в Стэнфорде, внёсшим глубокий вклад в теорию доказательств и предикативность и построившим системы, измеряющие силу математических теорий. Он также подготовил собрание сочинений Курта Гёделя. Он еврей.

Источники и внешние ссылки

Проверьте и углубитесь с помощью этих внешних источников.

Источник: Jinfo.org — Jews in Mathematics

Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.

Достижения и источники

Соломон Феферман был американским математическим логиком в Стэнфорде, внёсшим глубокий вклад в теорию доказательств и предикативность и построившим системы, измеряющие силу математических теорий.

1928

Источник: Jinfo.org — Jews in Mathematics