Loading article…
ジョン・ケネス・トラス（1947年4月生まれ）はイギリスの数学者です。リーズ大学の純粋数学の名誉教授であり、数学論理、無限置換群、同質構造、モデル理論を専門としています。[ 1 ]トラスはオックスフォード大学でジュニア研究員としてキャリアをスタートし、その後いくつかの学術職を経て、最後にリーズ大学に加わりました。離散数学（1991年）と数学解析（1997年）に関する著書があり、2003年6月までロンドン数学会誌の共同編集長を務めていました。彼はイギリスの元首相、リズ・トラスの父親です。
ジョン・トラスは1947年4月に生まれた。[ 2 ] [ 3 ]彼は1968年にケンブリッジ大学キングス・カレッジを卒業し、1973年にリーズ大学で「選択公理を用いない基数に関するいくつかの結果」というタイトルの論文で博士号を取得した。この論文はフランク・ドレイクの指導を受けた。[ 4 ] 1969年、彼は看護師のプリシラ・メアリー・グラスビーと結婚した。 [ 5 ]二人はケンブリッジ大学の学生時代に出会った。[ 5 ]二人の間には娘のリズ・トラスと3人の息子がいる。[ 6 ]リズ・トラスは両親の政治を「労働党より左派」と表現している。[ 7 ]トラス夫妻はともに核軍縮キャンペーンの支持者だった。[ 8 ]二人は2003年に離婚した。[ 5 ]
トラスは、2010年の英国総選挙で娘が保守党の南西ノーフォーク選挙区の候補者に選ばれた際、娘の選挙活動に同行することを拒否した。[ 9 ]
トラスの最初の学術職は、オックスフォード大学数学研究所のジュニア研究員でした。 [ 10 ]その後、ウスターシャー州キダーミンスターの学校で教鞭を執り、[ 11 ] 1979年から1985年までペイズリー工科大学で講師を務めました。 [ 5 ] 1987年には、カナダのブリティッシュコロンビア州にあるサイモンフレーザー大学で働き、 [ 12 ]その後リーズ大学に移り、1988年にはフランク・ドレイクと共に、 1986年にハル大学で開催されたLogic Colloquium '86の論文集を編集しました。[ 13 ]
1990年、ピーター・キャメロンは、ロンドン数学会講義ノートシリーズ第152号のオリゴモルフィック置換群に関するノートで、トラスが「軽率な予想を立てるのを（反証することで）救ってくれた」こと、そして「特に」 Mの自己同型群の可能なサイクル構造とは何かという問題への貢献に対して、トラスに敬意を表した。[ 14 ] 1991年、トラスは『Discrete Mathematics for Computer Scientists』を出版した。ジョン・ベイリスは『 The Mathematical Gazette』で、この本を「見事かつ徹底的」で「非常に興味深いトピックの核心に素早く到達している」と評したが、著者が主張するコンピュータ科学者向けの本というよりは、数学者向けの本だと感じた。それにもかかわらず、ベイリスは、トラスが資料を整理して提示する際に取ったアプローチは、数学のさまざまな分野を凝縮する上で非常に成功しており、著者は「離散数学は成熟期を迎え、もはやばらばらのトピックの集まりではない」ことを示したと感じた。[ 15 ]
1999年、トラスとリーズ大学のS.バリー・クーパーは、 1997年7月にリーズで開催された記号論理学会のヨーロッパ会議から生まれた、集合と証明[ 16 ] [ 17 ]とモデルと計算可能性[ 16 ]に関する論文集2巻をロンドン数学会講義ノートシリーズで共同編集した。これらの巻は、クイーンズランド大学の哲学者グラハム・プリーストに歓迎され、哲学やコンピュータ科学の性質を持つ内容はほとんどなく、数学部門で実践されている論理学に焦点を当てているが、その結果として、会議論文集としては通常のものより一貫性がある可能性があると指摘した[ 16 ] 。当時、トラスとジョナサン・パーティングトンは、ロンドン数学会誌の共同編集者であった[ 18 ]。2003年6月6日、フランシス・バーストールとジョン・トーランドが後任となった。[ 19 ]