Richard A. Shore


Richard A. Shore

Richard Arnold Shore (* 18. August 1946) ist ein US-amerikanischer mathematischer Logiker, der sich vor allem mit Rekursionstheorie beschäftigt.

Shore promovierte 1972 am Massachusetts Institute of Technology bei Gerald E. Sacks (Priority Arguments in Alpha-Recursion Theory), wo er ab 1968 Assistent war. Als Post-Doc war er bis 1974 Instructor an der University of Chicago und danach erst Assistant Professor, ab 1978 Associate Professor und ab 1983 Professor an der Cornell University. Er war unter anderem Gastwissenschaftler und Gastprofessor an der Harvard University, der Hebrew University, in Chicago, am MIT, in Singapur, in Siena und am MSRI.

Shore widerlegte die Homogenitäts-Vermutung von Hartley Rogers, indem er zeigte, dass es Turing-Grade a, b gibt, für die die Struktur der Turing-Grade oberhalb von a,b nicht isomorph ist.[1] Mit Theodore A. Slaman bewies er 1999, dass Turing-Sprünge in der Struktur der Turing-Grade definierbar sind.[2]

Er war Invited Speaker auf dem ICM in Warschau 1983 (The Degrees of Unsolvability: the Ordering of Functions by Relative Computability). 2009 war er Gödel-Lecturer (Reverse Mathematics: the playground of logic). 1984 bis 1993 war er Herausgeber des Journal of Symbolic Logic und 1993 bis 2000 des Bulletin of Symbolic Logic.

Schriften

  • mit Anil Nerode: Logic for Applications, Springer 1993
  • alpha-Recursion theory, in Jon Barwise (Herausgeber): Handbook of mathematical logic, North Holland 1977, S.653

Weblinks

Einzelnachweise

  1. Shore The homogenity conjecture, Proceedings National Academy of Sciences, Bd.76, 1979, S. 4218-4319
  2. Slaman, Shore, Defining the Turing jump, Math.Research Letters, Bd.6, 1999, S.711-722, pdf Datei

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Shore — steht für den Werkstoffkennwert Shore Härte, siehe Härte#Härteprüfung nach Shore die Droge Heroin Shore oder Schore ist der Familienname folgender Personen: Allan N. Schore (* 1943), US amerikanischer Psychologe Daryl Shore (* 1970), US… …   Deutsch Wikipedia

  • Richard Shore — Infobox academic name = Richard A. Shore box width = image width = caption = birth date = birth place = death date = death place = residence = citizenship = USA nationality = ethnicity = field = Mathematics work institutions = Cornell University… …   Wikipedia

  • Richard III of England — Richard III von England Richard III. (* 2. Oktober 1452; † 22. August 1485) war von 1483 bis 1485 König von England. Er war der letzte aus dem Haus Plantagenet, dessen Nebenlinien, die Häuser York und Lancaster einen jahrzehntelangen Machtkampf… …   Deutsch Wikipedia

  • Richard Colley-Wellesley — Richard Colley Wellesley, 1. Marquess Wellesley Sir Richard Colley Wesley, später Wellesley, 1. Marquess Wellesley (* 20. Juni 1760 in Dangan Castle, County Meath, Irland; † 26. September 1842 in Kingston House bei Brompton) war ein britischer… …   Deutsch Wikipedia

  • Richard Wellesley, 1. Marquess Wellesley — Richard Colley Wellesley, 1. Marquess Wellesley Sir Richard Colley Wesley, später Wellesley, 1. Marquess Wellesley (* 20. Juni 1760 in Dangan Castle, County Meath, Irland; † 26. September 1842 in Kingston House bei Brompton) war ein britischer… …   Deutsch Wikipedia

  • Richard Leveridge — (19 July 1670 – 22 March 1758) was an English bass singer of the London stage and a composer of baroque music, including many popular songs. He was born in in the parish of St Martin in the Fields, London, in 1670, and in 1695 became the leading… …   Wikipedia

  • Richard Arthur — (25 October 1865 – 21 May 1932) was an Australian politician, social reformer and medical practitioner.Early lifeArthur was born in Aldershot, England and educated at Dover College. He received a Master of Arts from the University of St Andrews… …   Wikipedia

  • Richard Dore — (1749 1800) was an attorney, deputy judge advocate and secretary to the governor of colony of New South Wales, Australia in the late 18th century. He was the second person to hold office as deputy judge advocate, a position akin to the position… …   Wikipedia

  • Richard III. (England) — Richard III. von England Unterschrift von König Richard III …   Deutsch Wikipedia

  • Richard Norwood — (1590? – 1675) was an English mathematician, diver, and surveyor, connected with Isaac Newton. He has also been called Bermuda’s outstanding genius of the seventeenth century . [ [http://homepages.rootsweb.com/ norwood/id52.htm Bermuda, Today and …   Wikipedia