Robert I. Soare

Robert I. Soare

Robert Irving Soare is an American mathematician. He is currently the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science at the University of Chicago, where he has been on the faculty since 1967. He proved, together with Carl Jockusch, the low basis theorem, and has done other work in mathematical logic, primarily in the area of computability theory.

External links

* [http://people.cs.uchicago.edu/~soare/ Professional homepage]
*

References

*cite book | author = Soare, R.| title = Recursively enumerable sets and degrees | series = Perspectives in Mathematical Logic | publisher = Springer-Verlag | year = 1987 | id = ISBN 3-540-15299-7
*CG Jockusch, Jr and RI Soare, "Π(0, 1) Classes and Degrees of Theories" in Transactions of the American Mathematical Society (1972). [http://links.jstor.org/sici?sici=0002-9947(197211)173%3C33%3ACADOT%3E2.0.CO%3B2-O ]


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

  • History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …   Wikipedia

  • Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… …   Wikipedia

  • Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown …   Wikipedia

  • These de Church — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… …   Wikipédia en Français

  • Thèse Church-Turing — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… …   Wikipédia en Français

  • Thèse de Church — La thèse de Church du nom du mathématicien Alonzo Church est une hypothèse ( thèse ) concernant la définition de la notion de calculabilité. Dans une forme dite physique [1], elle affirme que la notion physique de la calculabilité, définie comme… …   Wikipédia en Français

  • Thèse de Church-Turing — Thèse de Church La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur… …   Wikipédia en Français

  • Thèse de church — La thèse de Church du nom du mathématicien Alonzo Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur (plus… …   Wikipédia en Français

  • Low basis theorem — The low basis theorem in computability theory states that every nonempty Pi^0 1 class contains a set of low degree. It was first proved by Carl Jockusch and Robert I. Soare in 1972. References *Soare, R. Recursively enumerable sets and degrees.… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”