Jeffrey Paris

Jeffrey Paris
Jeff Paris in Berkeley

Jeffrey B. Paris (* 1944) ist ein britischer Mathematiker, der sich mit mathematischer Logik beschäftigt. Er ist Professor an der University of Manchester, wo er 1969 bei Robin Gandy promoviert wurde (Large Cardinals and the Generalized Continuum Hypothesis).

Inhaltsverzeichnis

Leben und Wirken

Bekannt wurde er durch das Paris-Harrington-Theorem von 1977[1][2] mit Leo Harrington, in dem zum ersten Mal die Nichtbeweisbarkeit eines wahren Satzes der elementaren Arithmetik aus den Peano-Axiomen der Arithmetik gezeigt wurde. Die Existenz solcher wahrer, aber nicht beweisbarer Sätze war nach dem Unvollständigkeitssatz von Gödel allgemein für (genügend reichhaltige) formale Systeme bekannt, aber Paris und Harrington lieferten erstmals ein elementares Beispiel, das aus der Ramsey-Theorie stammte. 1982 zeigte er mit Laurie Kirby, dass der Satz von Goodstein nicht mit Methoden der Peano-Arithmetik beweisbar ist (Satz von Kirby und Paris).[3]

1983 erhielt er den Whitehead-Preis. 1999 wurde er in die British Academy gewählt.

Schriften

  • The uncertain reasoner’s companion: a mathematical perspective, Cambridge University Press, 1994, ISBN 0521460891

Weblinks

Verweise

  1. Jeff Paris, Leo Harrington: A Mathematical Incompleteness in Peano Arithmetic. In Jon Barwise (Herausgeber): Handbook of Mathematical Logic, North-Holland, Amsterdam 1977, S. 1133–1142
  2. dargestellt auch in Craig Smoryński: Some rapidly growing functions, Mathematical Intelligencer 2, 1979/80, S. 149–154
  3. Laurie Kirby, Jeff Paris: Accessible independence results for Peano Arithmetic, Bulletin London Mathematical Society 14, 1982, S. 285–293

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

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

  • Jeffrey Shaw — (born 1944, Melbourne, Australia) is a pioneering new media artist and researcher. From 1965 to 2002 he lived in Milan, London, Amsterdam and Karlsruhe, and returned to Australia in 2003 to assume the Directorship of the iCinema Research Centre… …   Wikipedia

  • Jeffrey Grice — Jeffrey Grice, né à Christchurch en Nouvelle Zélande, est un pianiste néo zélandais. Biographie Diplômé de l université d Auckland, Jeffrey Grice poursuit ses études de piano à Paris, grâce à une bourse du gouvernement français, et obtient la… …   Wikipédia en Français

  • Jeffrey Smart — (born 1921 in Adelaide), is an expatriate Australian painter, who is known for his modernist depictions of urban landscapes.His first goal was to become an architect; however, he went on to become an art teacher after studying at Adelaide Teacher …   Wikipedia

  • Jeffrey Black — (born in Brisbane, Queensland, Australia), is an internationally acclaimed opera singer. He studied singing at the Queensland Conservatorium of Music, and appeared in many of the operas staged by the Conservatorium students and post graduate… …   Wikipedia

  • Jeffrey Archer — Jeffrey Howard Archer, Baron Archer of Weston super Mare (né le 15 avril 1940 à Londres) est un écrivain et ancien homme politique britannique. Il est membre du Parlement britannique pour le Parti conservateur et devient pair à vie en 1992. Sa… …   Wikipédia en Français

  • Jeffrey Skidmore — (believed to be born 1951) is the conductor and artistic director of Ex Cathedra, a choir and early music ensemble based in Birmingham in the West Midlands, England. An active participant in musical education and a pioneer in researching and… …   Wikipedia

  • Jeffrey Masson — Jeffrey Moussaieff Masson (* 28. März 1941 als Jeffrey Lloyd Masson in Chicago, Illinois) ist ein amerikanischer, in Neuseeland lebender Autor und Psychoanalytiker, der vor allem durch seine Kritik an den theoretischen Konzepten Sigmund Freuds… …   Deutsch Wikipedia

  • Paris Handball — Paris HB Généralités …   Wikipédia en Français

  • Jeffrey Alan Hoffman — Jeffrey Hoffman Land (Organisation): USA (NASA) Datum der Auswahl: 16. Januar 1978 (8. NASA Gruppe) Anzahl der Raumflüge: 5 …   Deutsch Wikipedia

  • Jeffrey Grice — is a New Zealand musician.Resident in France, Jeffrey Grice has performed regularly in Europe and France as a soloist and chamber musician. In 1999 he was made an Officier de l ordre des Arts et des Lettres by the French government for services… …   Wikipedia

Share the article and excerpts

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