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 (Large Cardinals and the Generalized Continuum Hypothesis).<ref>{{#invoke:WLink|getArticleBase}} im Mathematics Genealogy Project (englisch){{#if: | {{{Kommentar}}} }} {{#if: 59312 | {{#ifeq: {{#property:P549}} | 59312 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }}</ref>

Leben und Wirken

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-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).<ref>Laurie Kirby, Jeff Paris: Accessible independence results for Peano Arithmetic, Bulletin London Mathematical Society 14, 1982, S. 285–293</ref>

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 0-521-46089-1

Weblinks

Professor Jeff B. Paris – Homepage an der University of Manchester
{{#if: | {{{author}}} | Eric W. Weisstein }}: Natural Independence Phenomenon. In: MathWorld (englisch). {{#if: | {{#ifeq: {{#property:P2812}} | {{{id}}} | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
Jeffrey Bruce Paris in der Datenbank zbMATH

Verweise

{{#ifeq: p | p | | {{#if: 1071099108n7805345161649292 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 1071099108n7805345161649292 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 1071099108 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 1071099108 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n78053451 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n78053451 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 61649292 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 61649292 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Paris, Jeff | {{#if: Paris, Jeffrey Bruce (vollständiger Name) | {{#if: britischer Mathematiker | {{#if: 1944 | {{#if: | {{#if: | {{#if: |

Personendaten
NAME	Paris, Jeff }}
ALTERNATIVNAMEN	Paris, Jeffrey Bruce (vollständiger Name) }}
KURZBESCHREIBUNG	britischer Mathematiker }}
GEBURTSDATUM	1944 }}
GEBURTSORT	}}
STERBEDATUM	}}
STERBEORT	}}

Vorlage:Wikidata-Registrierung