Jeff Paris
Jeff Paris
Berkeley'de Jeff Paris
| Doğum | 15 Kasım 1944 |
|---|---|
| Ana dilde isim | Jeffrey Bruce Paris |
| Milliyet | ingiliz |
| Eğitim |
Manchester Üniversitesi Victoria Manchester Üniversitesi |
| Aktiviteler | Matematikçi , üniversite profesörü |
| Çocuk | Yasemin paris |
| İçin çalıştı | Manchester Üniversitesi |
|---|---|
| Alan | Matematiksel mantık |
| Üyesi | İngiliz Akademisi |
| Süpervizör | Robin gandy |
| İnternet sitesi | www.maths.manchester.ac.uk/~jeff |
| Ödüller |
British Academy Whitehead Ödülü Üyesi (1983) |
Jeffrey Bruce Paris (d. 1944 ) mantık alanındaki çalışmaları , özellikle de Peano aritmetiğindeki karar verilemezliği, belirsiz akıl yürütme ve tümevarım mantığıyla , rasyonellik ve sağduyu ilkelerine özel önem vererek tanınan İngiliz bir matematikçidir .
Biyografi
Doktorasını 1969'da Manchester'da Robin Gandy ile Büyük Kardinaller ve Genelleştirilmiş Süreklilik Hipotezi adlı bir tezi savunarak geçirdi .
Manchester Üniversitesi'nde mantık profesörüdür ve 1999'da İngiliz Akademisi üyeliğine seçilmiştir .
Leo Harrington ile işbirliği içinde , 1977'de bugün Paris-Harrington teoremini gösterdi; bu teorem, birinci sırada ifade edilebilen, "doğru" olan ancak Peano'nun aritmetiğinde kanıtlanamayan "doğal" bir ifadenin ilk örneğini sağlar ( birinci dereceden aritmetik). Eksiklik teoremi Gödel Paris ve Harrington beyanı anlamında daha "doğal" iken, kodlama aritmetik aracılığıyla sergiler böyle bir birinci düzenin aritmetik yaptığı açıklama, ancak kullanımları sağlamasının Gödel en gibi metamathematic değildir. Bu durumda , küme teorisinde (örneğin) kanıtlanmış olan sonlu Ramsey teoreminin (daha güçlü) bir varyantı olan kombinatoriklerin bir sonucudur .
Jeff Paris, Laurence Kirby ile birlikte 1982'de , sayı teorisinin oldukça basit bir sonucu olan Goodstein teoreminin Peano'nun aritmetiğinden de bağımsız olduğunu gösterdi.
Ödüller
Whitehead Ödülü (1983)
Notlar ve referanslar
(fr) Bu makale kısmen veya tamamen Wikipedia makalesinden alınmıştır İngilizce başlıklı " Jeff Paris " ( yazarların listesini görmek ) .- İngiliz Akademisi Üyeleri .
- Gödel'in eksiklik teoremi daha geneldir, örneğin Peano'nun aritmetiğini genişleten tüm teorilere uygulanır.
Kaynakça
- J. Paris ve L. Harrington, "Peano Aritmetikte Matematiksel Eksiklik ", Handbook for Mathematical Logic (ed. Jon Barwise ), Amsterdam, Hollanda: North-Holland, 1977, s. 1133-1142.
- L. Kirby ve J. Paris, " Peano aritmetiği için erişilebilir bağımsızlık sonuçları ", Bulletin London Mathematical Society , cilt. 14, 1982, s. 285-293.
- JB Paris, Belirsiz muhakemenin arkadaşı: matematiksel bir bakış açısı , Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994 ( ISBN 0521460891 )
Ayrıca görün
İlgili Makaleler
- Paris-Harrington teoremi (içinde)
- Kirby-Paris teoremi
Dış bağlantı
(tr) Jeff Paris'in sayfasını üzerine Manchester Üniversitesi web