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, Autriche — 2015, Salzburg, Autriche
Royaume-Uni · Stanford, Californie
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
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
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
Eugene Wigner
Paul Bernays
Saharon Shelah
Adolf Lindenbaum
