Georg Kreisel
Georg Kreisel · Nauka i medycyna
Georg Kreisel był logikiem matematycznym znanym z prac w teorii dowodu, teorii rekursji i z „rozwijania” dowodów w celu wydobycia jawnej treści matematycznej, a także z „interpretacji bez kontrprzykładu”.
1923, Graz, Austria — 2015, Salzburg, Austria
United Kingdom · Stanford, California
Georg Kreisel był logikiem matematycznym znanym z prac w teorii dowodu, teorii rekursji i z „rozwijania” dowodów w celu wydobycia jawnej treści matematycznej, a także z „interpretacji bez kontrprzykładu”. Pracował w Reading, w Institute for Advanced Study i w Stanfordzie, a także został członkiem Royal Society. Pochodził z rodziny żydowskiej w Grazu i przed anszlusem 1938 roku wysłano go do Wielkiej Brytanii.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jews in Mathematics
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ć.
Georg Kreisel był logikiem matematycznym znanym z prac w teorii dowodu, teorii rekursji i z „rozwijania” dowodów w celu wydobycia jawnej treści matematycznej, a także z „interpretacji bez kontrprzykładu”.
Źródło: Jinfo.org — Jews in Mathematics
Podobni twórcy
Solomon Feferman
Paul Bernays
Saharon Shelah
Adolf Lindenbaum
Albert Schwarz
