アレックス・ウィルキー

アレックス・ウィルキー
アレックス・ウィルキー
	ウィルキー、2007年撮影
生まれる	アレックス・ジェームズ・ウィルキー; 1948年（75～76歳）; ノーサンプトン、イギリス
国籍	イギリス
母校	ロンドン大学ユニバーシティ・; カレッジロンドン大学ベッドフォード・カレッジ
知られている	ウィルキーの定理
受賞歴	カープ賞 (1993); 王立協会フェロー(2001); ポリア賞 (LMS) (2017)
	科学者としてのキャリア
フィールド	数学、モデル理論
機関	マンチェスター大学
博士課程の指導教員	ウィルフリッド・ホッジス

アレックス・ジェームズ・ウィルキー FRS （1948年ノーサンプトン生まれ^{[1] ）は、}モデル理論と論理学への貢献で知られるイギリスの数学者。以前はオックスフォード大学の数理論理学の講師を務め、 2007年にマンチェスター大学の純粋数学のフィールデン教授に任命された。^[2]^[3]^[4]

教育

アレックス・ウィルキーは、アリスバーリー・グラマー・スクールに通い、 1969年にロンドン大学ユニバーシティ・カレッジで数学の理学士号を一級優等で取得し、1970年にロンドン大学で数理論理学の理学修士号を取得し、 1973年にロンドン大学ベッドフォード・カレッジでウィルフリッド・ホッジスの指導の下、 「数論モデル」と題する論文で博士号を取得しました。

1982年10月、ウィルキーはパリ第7大学数学科の研究員に任命され、翌年イギリスに戻り、マンチェスター大学で3年間のSERC（現在のEPSRC ）上級研究員となった。2年後、彼は数学科の講師に任命された。1986年に彼はオックスフォードに行き、ロビン・ガンディの退職で空席となった数理論理学の講師に任命された。彼はマンチェスターのフィールデン教授職に任命されるまでこの職に留まった。

ウィルキーは2001年に王立協会のフェローに選出された。引用文を引用すると

ウィルキーは、論理的手法と微分幾何学的手法を組み合わせて、指数関数とより一般的なパフィアン関数を使用して定義可能な集合の基本的な有限性定理を確立しました。その結果は従来の方法で得られた結果をはるかに超えており、すでにリー群への驚くべき応用がみられています。^[5]

ウィルキーは1993年にエフード・フルショフスキーと共同でキャロル・カープ賞（記号論理協会が5年ごとに授与する最高賞）を受賞した。 ^[6]^{[7] 2007年に}ロンドン数学会評議員に選出され、2006年には記号論理協会の副会長、2009年には記号論理協会の会長に就任した。2012年にはアメリカ数学会のフェローになった。^{[8] 2013年にはモティ・ギティク、ヤアコフ・ペテルジル、}ジョナサン・ピラ、セルゲイ・スタルチェンコと共同で再びカープ賞を受賞した。^[7] 2017年、ウィルキーはポリア賞を受賞した。^[9]

彼は1986年にバークレーで開催された国際数学者会議^[10]と1998年にベルリンで開催された国際数学者会議^[11]の招待講演者であった。

2015 年、ウィルキーは「ディオファントス応用で定義可能な関数の複素接続」と題するゲーデル講演を開催しました。 $\mathbb {R} _{an,exp}$

^ ウィルキー、アレックス・ジェームズ、教育界の名士、イングルウッド・ブックス、2003年
^ マンチェスターのアレックス・ウィルキーのホームページ
^ 数学系譜プロジェクトのアレックス・ウィルキー
^ Alex Wilkie の出版物はMicrosoft Academicによって索引付けされています
^ NOTICES、記号論理学会誌、第 7 巻、第 3 号、p436、2001 年
^ 通知キャロル・カープ賞、J. シンボリック・ロジック、第 58 巻、第 2 号、1993 年 6 月
^ ab 「Karp Prize Recipients」. Association for Symbolic Logic . 2017年3月6日時点のオリジナルよりアーカイブ。2018年5月10日閲覧。
^ アメリカ数学会フェロー一覧。2013年9月1日閲覧。
^ ポーリャ賞受賞者のリスト。 2019 年 10 月 10 日に取得。
^ Wilkie, AJ「算術を公理化するスキームについて」ICM 会議録、1986 年、バークレー。pp. 331–337。
^ AJ ウィルキー (1998)。「ああ、ミニマルさ」。博士。数学。（ビーレフェルト）番外編ICM ベルリン、1998 年、vol.私。 633–636ページ。