Gerald E. Sacks

Gerald Enoch Sacks (né en 1933 à Brooklyn) est un mathématicien logicien américain qui travaille principalement en théorie de la récursion.

Gerald E. Sacks obtient un Ph. D. en 1961 sous la direction de John Barkley Rosser à l'université Cornell (« On Suborderings of Degrees of Recursive Unsolvability »[1]). À partir de 1962 il est professeur assistant, puis professeur associé à l'université Cornell. En 1961/62 et aussi en 1974/75 il est à l'Institute for Advanced Study. À partir de 1967 il est professeur au Massachusetts Institute of Technology (depuis 2006 il est professeur émérite[2]) et en même temps depuis 1972 professeur à l'université Harvard. Il est professeur invité au Caltech (en 1983/84) et à l'université de Chicago (en 1988/89).

En 1966/67 Gerald E. Sacks est Guggenheim Fellow et en 1979 Senior Fulbright-Hayes Scholar. Il est, en 1970, conférencier invité au Congrès international des mathématiciens à Nice (Recursion in objects of finite type) et en 1962 à Stockholm (Recursively enumerable degrees).

Parmi ses élèves, il y a Harvey Friedman, Sy Friedman, Leo Harrington, Richard A. Shore, Theodore A. Slaman, Stephen G. Simpson (de), Lenore Blum, R. W. Robinson (professeur à l'université de Georgie).

Sacks a principalement travaillé en théorie de la récursion. Son théorème de densité dit que les degrés de Turing récursivement énumérables sont denses[3]. Une méthode de forcing, basé sur les ensembles parfaits[4], porte son nom (le forcing de Sacks)[5]^,[6].

Publications

Degrees of unsolvability, Princeton University Press, 1966 (1^re éd. 1963), 174 p. (ISBN 978-0-691-07941-7, lire en ligne).
Saturated Model Theory, World Scientific, 2009, 2^e éd. (1^re éd. 1972 Benjamin).
Higher Recursion theory, Springer, 1990.
Selected Logic Papers, World Scientific, 1999.
Mathematical Logic in the 20th Century, World Scientific, 2003.

Notes et références

(en) « Gerald Enoch Sacks », sur le site du Mathematics Genealogy Project
« Professor Gerald Sacks Retires from MIT », Integral: News from the Mathematics Department at MIT, automne 2006, p. 6.
Gerald E. Sacks, « The recursively enumerable degrees are dense », Annals of Mathematics, vol. 80,‎ 1964, p. 300-312 (DOI 10.2307/1970393,).
(en) Lorenz J. Halbeisen, Combinatorial Set Theory : With a Gentle Introduction to Forcing, London/New York, Springer, coll. « Springer Monographs in Mathematics », 2011, 453 p. (ISBN 978-1-4471-2173-2, lire en ligne), p. 380–381.
Gerald E. Sacks, « Forcing with perfect closed sets », dans Axiomatic Set Theory (Proc. Sympos. Pure Math. Vol. XIII, Part I), Los Angeles, Amer. Math. Soc., Providence, R.I., 1971 (Math Reviews 0276079), p. 331-355.
Robert I. Soare, Recursively Enumerable Sets and Degrees : A Study of Computable Functions and Computably Generated Sets, Springer, coll. « Perspectives in Mathematical Logic », 1987, 437 p. (ISBN 978-3-540-15299-6, lire en ligne), p. 245.

Liens externes

Portail des mathématiques
Portail de l'informatique théorique
Portail de la logique

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] (en) « Gerald Enoch Sacks », sur le site du Mathematics Genealogy Project

[2] « Professor Gerald Sacks Retires from MIT », Integral: News from the Mathematics Department at MIT, automne 2006, p. 6.

[3] Gerald E. Sacks, « The recursively enumerable degrees are dense », Annals of Mathematics, vol. 80,‎ 1964, p. 300-312 (DOI 10.2307/1970393,).

[4] (en) Lorenz J. Halbeisen, Combinatorial Set Theory : With a Gentle Introduction to Forcing, London/New York, Springer, coll. « Springer Monographs in Mathematics », 2011, 453 p. (ISBN 978-1-4471-2173-2, lire en ligne), p. 380–381.

[5] Gerald E. Sacks, « Forcing with perfect closed sets », dans Axiomatic Set Theory (Proc. Sympos. Pure Math. Vol. XIII, Part I), Los Angeles, Amer. Math. Soc., Providence, R.I., 1971 (Math Reviews 0276079), p. 331-355.

[6] Robert I. Soare, Recursively Enumerable Sets and Degrees : A Study of Computable Functions and Computably Generated Sets, Springer, coll. « Perspectives in Mathematical Logic », 1987, 437 p. (ISBN 978-3-540-15299-6, lire en ligne), p. 245.