https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Jeff_ParisJeff Paris - Versionsgeschichte2026-06-05T20:28:29ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Jeff_Paris&diff=1639104&oldid=previmported>GT1976: Redundante Kategorie entfernt2025-03-02T15:12:47Z<p>Redundante Kategorie entfernt</p>
<p><b>Neue Seite</b></p><div>[[Datei:Jeffrey Paris.jpeg|mini|200px|Jeff Paris in [[Berkeley (Kalifornien)|Berkeley]]]]<br />
'''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 (''Large Cardinals and the Generalized Continuum Hypothesis'').<ref>{{MathGenealogyProject|id=59312}}</ref><br />
<br />
== Leben und Wirken ==<br />
Bekannt wurde er durch das Paris-Harrington-Theorem von 1977<ref>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</ref><ref>dargestellt auch in Craig Smoryński: ''Some rapidly growing functions'', Mathematical Intelligencer 2, 1979/80, S. 149–154</ref> mit [[Leo Harrington]], in dem zum ersten Mal die Nichtbeweisbarkeit eines wahren Satzes der elementaren Arithmetik aus den [[Peano-Axiom]]en der Arithmetik gezeigt wurde. Die Existenz solcher wahrer, aber nicht beweisbarer Sätze war nach dem [[Gödelscher Unvollständigkeitssatz|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 [[Goodstein-Folge|Satz von Goodstein]] nicht mit Methoden der [[Peano-Axiome|Peano-Arithmetik]] beweisbar ist (Satz von Kirby und Paris).<ref>Laurie Kirby, Jeff Paris: ''Accessible independence results for Peano Arithmetic'', Bulletin London Mathematical Society 14, 1982, S. 285–293</ref><br />
<br />
1983 erhielt er den [[Whitehead-Preis]]. 1999 wurde er in die [[British Academy]] gewählt.<br />
<br />
== Schriften ==<br />
* ''The uncertain reasoner’s companion: a mathematical perspective'', Cambridge University Press, 1994, ISBN 0-521-46089-1<br />
<br />
== Weblinks ==<br />
* [http://www.maths.manchester.ac.uk/~jeff/ Professor Jeff B. Paris] – Homepage an der University of Manchester<br />
* {{MathWorld|NaturalIndependencePhenomenon|Natural Independence Phenomenon}}<br />
* [https://zbmath.org/authors/paris.jeffrey-bruce Jeffrey Bruce Paris] in der Datenbank [[zbMATH]]<br />
<br />
== Verweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=1071099108|LCCN=n78053451|VIAF=61649292}}<br />
<br />
{{SORTIERUNG:Paris, Jeff}}<br />
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]<br />
[[Kategorie:Hochschullehrer (University of Manchester)]]<br />
[[Kategorie:Whitehead-Preisträger]]<br />
[[Kategorie:Mitglied der British Academy]]<br />
[[Kategorie:Brite]]<br />
[[Kategorie:Geboren 1944]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Paris, Jeff<br />
|ALTERNATIVNAMEN=Paris, Jeffrey Bruce (vollständiger Name)<br />
|KURZBESCHREIBUNG=britischer Mathematiker<br />
|GEBURTSDATUM=1944<br />
|GEBURTSORT=<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>GT1976