ロバート・ゴールドブラット

ロバート・イアン・ゴールドブラット（1949年生まれ）は、ニュージーランドのウェリントンにあるビクトリア大学数学・統計学部の名誉教授である数理論理学者です。博士課程の指導教官はマックス・クレスウェルでした。[ 1 ]彼の^最も人気のある本は、Logics of Time and ComputationとTopoi: the Categorial Analysis of Logicです。彼はまた、非標準解析の入門書である超実数に関する大学院レベルの教科書も執筆しています。

1987年に彼は「アインシュタインの列車の旅」に出て、同時性の相対性幾何学である双曲直交性を開発しました。^[2]

彼はThe Journal of Symbolic Logicの編集調整とStudia Logicaの編集長を務めた。彼はニュージーランド王立協会の会員と評議員、ニュージーランド数学会の会長に選出され、国際数学連合のニュージーランド代表を務めた。2012年、ニュージーランド王立協会は彼に数学における生涯の功績に対してジョーンズメダルを授与した。^[3]

• 1979年: Topoi : The Categorial Analysis of Logic、North-Holland。1984年改訂版。Dover Publications版2006年。インターネット版、Project Euclid。

ベンジャミン・C・ピアスは、この本を「優れた初心者向けの本」として推薦し、単純な集合論的例の使用と動機づけとなる直感を賞賛しているが、「主題のいくつかの側面で誤解を招く恐れがあり、単純な証明が利用できるのに長くて難しい証明を提示しているとして、圏論者から批判されることがある」と指摘している。 ^[4] しかし、ドーバー版の序文では、「これは圏論そのものではなく、論理に関する本である。入門的に、ある論理的アイデアが圏論的観点からどのように解明されるかを説明することを目的としている」と述べている（p. xv）。

• 1982年：コンピュータプログラミングのロジックの公理化、コンピュータサイエンスの講義ノート130、Springer-Verlag。
• 1987年：直交性と時空幾何学、Universitext Springer-Verlag ISBN  0-387-96519-X MR 0888161
• 1987:時間と計算の論理。CSLI 講義ノート、7。スタンフォード大学、言語情報研究センター MR 1191162。第 2 版 1992 年。
• 1993:モダリティの数学、CSLI出版、ISBN 978-1-881526-24-7 MR 1317099 
• 1998: 「超実数に関する講義: 非標準解析入門」 数学大学院テキスト、188。Springer-Verlag。

MathSciNetの査読者 Perry Smith 氏は次のように書いています。「序文で説明されている、分かりやすさと厳密さの両方を達成する方法に関する著者の考えは、非標準解析を教えようとしている人にとって役立つ読み物となるでしょう。」

• 2006年：「数学的様相論理：その進化の観点」『20世紀の様相』、 Dov M. GabbayとJohn Woods編『論理学の歴史ハンドブック』第7巻、Elsevier、1～98ページ。
• 2011年：Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics、ケンブリッジ大学出版局および記号論理協会。

• 非標準分析の影響

• ホームページ

• 数学系譜プロジェクトのロバート・ゴールドブラット