Jeff Paris

Jeff Paris Jeff Paris v Berkeley Životopis

Narození	15. listopadu 1944
Jméno v rodném jazyce	Jeffrey Bruce Paris
Státní příslušnost	britský
Výcvik	University of Manchester Victoria University of Manchester
Činnosti	Matematik , univerzitní profesor
Dítě	Jasmine paris

Jiná informace

Pracoval pro	Manchester University
Pole	Matematická logika
Člen	Britská akademie
Dozorce	Robin Gandy
webová stránka	www.maths.manchester.ac.uk/~jeff
Ocenění	Člen ceny Britishhead Whitehead Prize (1983)

Jeffrey Bruce Paris (* 1944 ) je britský matematik známý svou prací v logice , zejména v nerozhodnutelnosti aritmetiky Peano, neurčitém uvažování a induktivní logice , se zvláštním důrazem na zásady racionality a zdravého rozumu.

Životopis

Doktorát strávil u Robina Gandyho v Manchesteru v roce 1969 obhájením práce s názvem Velký kardinál a hypotéza generálního kontinua .

Je profesorem logiky na univerzitě v Manchesteru a v roce 1999 byl zvolen členem Britské akademie .

Ve spolupráci s Leem Harringtonem v roce 1977 demonstroval takzvanou Paris-Harringtonovu větu, která poskytuje první příklad „přirozeného“ výroku vyjádřitelného v prvním pořadí, „pravdivého“, ale neprokazatelného aritmetikou Peano ( aritmetika prvního řádu). Věta o neúplnosti Gödel vykazuje takové prohlášení k aritmetice prvního řádu, ale používá dokazatelnost přes aritmetické kódování, zatímco prohlášení o Paříži a Harrington je více „přirozený“ v tom smyslu, není metamathematic jako Gödel. V tomto případě jde o výsledek kombinatoriky, (silnější) varianty konečné Ramseyho věty , která je prokázána (například) v teorii množin .

Ve spolupráci s Laurence Kirbym Jeff Paris také v roce 1982 prokázal, že Goodsteinova věta , poměrně jednoduchý výsledek teorie čísel, je také nezávislá na Peanově aritmetice.

Ocenění

Whitehead Award (1983)

Poznámky a odkazy

(fr) Tento článek je částečně nebo zcela převzat z anglického článku Wikipedie s názvem „  Jeff Paris  “ ( viz seznam autorů ) .

1. Členové Britské akademie .
2. Gödelova věta o neúplnosti je obecnější, platí například pro všechny teorie, které rozšiřují Peanovu aritmetiku.

Bibliografie

• J. Paris a L. Harrington, „Matematická neúplnost v Peano Arithmetic“, Handbook for Mathematical Logic (ed. Jon Barwise ), Amsterdam, Nizozemsko: North-Holland, 1977, s. 1133-1142.
• L. Kirby a J. Paris, „  Dostupné výsledky nezávislosti pro aritmetiku Peano  “, Bulletin London Mathematical Society , sv. 14, 1982, s. 285-293.
• JB Paris, Společník nejistého myslitele: matematická perspektiva , Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994 ( ISBN  0521460891 )

Podívejte se také

Související články

• Paris-Harringtonova věta  (in)
• Kirby-Parisova věta

Externí odkaz

• Autoritní záznamy  :
  • Virtuální mezinárodní autoritní soubor
  • Mezinárodní standardní identifikátor jména
  • Francouzská národní knihovna ( údaje )
  • Knihovna Kongresu
  • Gemeinsame Normdatei
  • Nizozemská královská knihovna
  • Polská univerzitní knihovna
  • ID WorldCat
  • WorldCat

(en) Stránka Jeffa Paříže na webových stránkách University of Manchester