Georg Kreisel
Georg Kreisel · Sciences & médecine
Georg Kreisel était un logicien mathématicien connu pour ses travaux en théorie de la démonstration, théorie de la récursion et l'« extraction » de contenu explicite des preuves, ainsi que pour son « interprétation sans contre-exemple ».
1923, Graz, Austria — 2015, Salzburg, Austria
United Kingdom · Stanford, California
Georg Kreisel était un logicien mathématicien connu pour ses travaux en théorie de la démonstration, théorie de la récursion et l'« extraction » de contenu explicite des preuves, ainsi que pour son « interprétation sans contre-exemple ». Il travailla à Reading, à l'Institute for Advanced Study et à Stanford, et fut élu membre de la Royal Society. Issu d'une famille juive de Graz, il fut envoyé en Grande-Bretagne avant l'Anschluss de 1938.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jews in Mathematics
Georg Kreisel était un logicien mathématicien connu pour ses travaux en théorie de la démonstration, théorie de la récursion et l'« extraction » de contenu explicite des preuves, ainsi que pour son « interprétation sans contre-exemple ».
Source : Jinfo.org — Jews in Mathematics
Contributeurs similaires
Solomon Feferman
Paul Bernays
Edward Witten
James Ax
Bernard Dwork
