Property |
Value |
dbo:abstract
|
- 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 »). À 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) 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, (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. Une méthode de forcing, basé sur les ensembles parfaits, porte son nom (le forcing de Sacks). (fr)
- 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 »). À 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) 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, (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. Une méthode de forcing, basé sur les ensembles parfaits, porte son nom (le forcing de Sacks). (fr)
|
dbo:almaMater
| |
dbo:award
| |
dbo:birthPlace
| |
dbo:citizenship
| |
dbo:deathPlace
| |
dbo:doctoralAdvisor
| |
dbo:doctoralStudent
| |
dbo:employer
| |
dbo:occupation
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 4676 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1966 (xsd:integer)
- 1990 (xsd:integer)
- 1999 (xsd:integer)
- 2003 (xsd:integer)
- 2009 (xsd:integer)
|
prop-fr:annéePremièreÉdition
|
- 1963 (xsd:integer)
- 1972 (xsd:integer)
|
prop-fr:fr
|
- Stephen G. Simpson (fr)
- Stephen G. Simpson (fr)
|
prop-fr:isbn
| |
prop-fr:langue
| |
prop-fr:lireEnLigne
| |
prop-fr:numéroD'édition
| |
prop-fr:pagesTotales
| |
prop-fr:titre
|
- Degrees of unsolvability (fr)
- Higher Recursion theory (fr)
- Mathematical Logic in the 20th Century (fr)
- Saturated Model Theory (fr)
- Selected Logic Papers (fr)
- Degrees of unsolvability (fr)
- Higher Recursion theory (fr)
- Mathematical Logic in the 20th Century (fr)
- Saturated Model Theory (fr)
- Selected Logic Papers (fr)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Springer (fr)
- Princeton University Press (fr)
- World Scientific (fr)
- Springer (fr)
- Princeton University Press (fr)
- World Scientific (fr)
|
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- 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 »). À 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) 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). (fr)
- 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 »). À 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) 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). (fr)
|
rdfs:label
|
- Gerald E. Sacks (de)
- Gerald E. Sacks (fr)
- Gerald Sacks (en)
- Gerald Sacks (pt)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:doctoralAdvisor
of | |
is dbo:doctoralStudent
of | |
is dbo:influenced
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is prop-fr:directeurDeThèse
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |