Harvey Friedman
Harvey Friedman · Наука и медицина
Фридман — американский логик, помогавший создать обратную математику, программу, устанавливающую, какие именно аксиомы нужны для доказательства математических теорем, и исследовавший границы доказуемости и силу больших кардиналов.
1948, Chicago, Illinois, USA
United States
Фридман — американский логик, помогавший создать обратную математику, программу, устанавливающую, какие именно аксиомы нужны для доказательства математических теорем, и исследовавший границы доказуемости и силу больших кардиналов. В университет и в науку он пришёл в поразительно раннем возрасте. Его еврейское происхождение документировано.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jews in Mathematics
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Фридман — американский логик, помогавший создать обратную математику, программу, устанавливающую, какие именно аксиомы нужны для доказательства математических теорем, и исследовавший границы доказуемости и силу больших кардиналов.
Источник: Jinfo.org — Jews in Mathematics
Похожие деятели
Adolf Lindenbaum
Andrzej Mostowski
Georg Kreisel
Laszlo Kalmar
Solomon Feferman
