Loading article…
ジェフ・パリス | |
|---|---|
.jpg/500px-Jeffrey_Paris,_1974_(re-scanned;_portion_A;_cropped).jpg) 1974年のパリ | |
| 生まれる | ジェフリー・ブルース・パリス 1944年11月15日[2] |
| 母校 | マンチェスター大学 |
| 知られている | |
| 子供たち | ジャスミンを含む6人 |
| 受賞歴 | ホワイトヘッド賞(1983) |
| 科学者としてのキャリア | |
| フィールド | 数学的論理 |
| 機関 | マンチェスター大学 |
| 論文 | 大きな基数と一般化連続体仮説 (1969) |
| 博士課程の指導教員 | ロビン・ガンディ[1] |
| Webサイト | 古いwww.ma.man.ac.uk/~jeff/ |
ジェフリー・ブルース・パリス（ FBA、1944年11月15日生まれ）は、イギリスの数学者であり、マンチェスター大学数学部の論理学教授である。[3] [4] [5] [6]
教育
パリスは1969年にマンチェスターでロビン・ガンディの指導のもと、 「大基数と一般化連続体仮説」に関する論文で 博士号を取得した。[1]
研究とキャリア
パリスは数理論理学、特に合理性と常識原理を重視した 算術の証明可能性、不確実性推論、帰納的論理に関する研究で知られています。
パリス・ハリントン定理[7]は、ペアノ算術で表現できるが、このシステム内では証明できない自然なラムゼー理論的命題であり、ゲーデルの第一不完全性定理の例証である。
受賞と栄誉
パリスは1983年にホワイトヘッド賞を受賞し、1999年に英国学士院（FBA）の会員に選出された。 [2] [8]
私生活
パリスは1983年にアレーナ・ヴェンツォフスカと結婚するまでマルヴィン・ロレイン・ブラックバーンと結婚していた。彼にはランナーのジャスミン・パリスを含む3人の息子と3人の娘がいる。[2]
参考文献
- ^ ab 数学系譜プロジェクトのジェフ・パリス
- ^ abc Anon (2007). 「パリ、ジェフリー・ブルース教授」。Who 's Who (オンライン版オックスフォード大学出版 局). オックスフォード: A & C Black. doi :10.1093/ww/9780199540884.013.U30030. (定期購読または英国の公共図書館の会員登録が必要です。)
- ^ Kirby, L.; Paris, J. (1982). 「ペアノ算術のアクセス可能な独立性結果」(PDF) .ロンドン数学会誌. 14 (4): 285. CiteSeerX 10.1.1.107.3303 . doi :10.1112/blms/14.4.285.
- ^ パリス・JB：不確実推論者の伴侶：数学的観点、ケンブリッジ理論計算機科学論文集 39、ケンブリッジ大学出版局、1994年、ISBN 0-521-46089-1
- ^ Paris, JB; Kirby, LAS (1978). 「算術におけるΣnコレクションスキーマ」。論理コロキウム '77。論理と数学の基礎の研究。第96巻。p. 199。doi :10.1016/S0049-237X(08)72003-2。ISBN 9780444851789。
- ^ Scopus書誌データベースに索引付けされた Jeff Paris の出版物。(サブスクリプションが必要)
- ^ パリ、ジェフ、ハリントン、レオ(1977)。「ペアノ算術における数学的不完全性」。バーワイズ、ジョン、ケイスラー、H. ジェローム (編)。『数学論理ハンドブック』。アムステルダム、ニューヨーク: ノースホランド。pp. 1133–1142。ISBN 978-0-7204-2285-6。
- ^ 「Elections to Ordinary Fellowship」。2007年10月23日時点のオリジナルよりアーカイブ。 2007年5月17日閲覧。