Jeff Paris

Jeff Paris
Jeff Paris in Berkeley

Jeffrey Bruce 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 (Boolean extensions and large cardinals).

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
PND: kein individualisierter Datensatz vorhanden (Stand: 26. Januar 2011)

Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

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

  • Jeff Paris — Jeff B. Paris is a British mathematician known for his work on mathematical logic, in particular provability in arithmetic, uncertain reasoning and inductive logic with an emphasis on rationality and common sense principles.He is professor of… …   Wikipedia

  • Jeff Paris — Pour les articles homonymes, voir Paris (homonymie). Jeff Paris à Berkeley Jeffrey Bruce Paris (né en 1944) est un mathématicien bri …   Wikipédia en Français

  • Paris (Name) — Paris ist ein Familienname, und ein zumeist männlicher, seltener auch weiblicher Vorname. Inhaltsverzeichnis 1 Bekannte Namensträger 1.1 Fiktive Figuren 1.2 Vorname 1.3 Kü …   Deutsch Wikipedia

  • Paris (homonymie) —  Pour l’article homophone, voir Pari. Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Paris (homonymie)&# …   Wikipédia en Français

  • Paris–Harrington theorem — In mathematical logic, the Paris–Harrington theorem states that a certain combinatorial principle in Ramsey theory is true, but not provable in Peano arithmetic. This was the first natural example of a true statement about the integers that could …   Wikipedia

  • Jeff Cowen — (born Jan 9, 1966, New York, New York) is an American art photographer known for painterly photo mural collages and street photography. FamilyCowen is the great grandson of a founder of the Cowen Group, a brokerage.Art and CareerHis work often… …   Wikipedia

  • Jeff Koons — 2009 Naissance 21 janvier  …   Wikipédia en Français

  • PARIS ONE — DJ Webradio Création 29 juillet 2003 Propriétaire Association Paris One Slogan « The Next Deejayneration » Langue Français Pays …   Wikipédia en Français

  • PARIS ONE DJ — Webradio Création 29 juillet 2003 Propriétaire Association Paris One Slogan « The Next Deejayneration » Langue Français Pays …   Wikipédia en Français

  • PARIS ONE DJWEBRADIO — Paris One DJ Webradio Création 29 juillet 2003 Propriétaire Association Paris One Slogan « The Next Deejayneration » Langue Français Pays …   Wikipédia en Français

Share the article and excerpts

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