アブラハム・ロビンソン(本名ロビンソン、 1918年10月6日 - 1974年4月11日)は、非標準解析の開発で最も広く知られている数学者であり、非標準解析とは、無限小数と無限数を現代数学に再導入する数学的に厳密な体系である。ロビンソンの論文のほぼ半分は、純粋数学ではなく応用数学に関するものであった。[ 2 ]
彼は、強いシオニズムの信念を持つユダヤ人の家庭に、ドイツのヴァルデンブルク(現在のポーランドのワウブジフ)で生まれた。1933年、彼はイギリス委任統治領パレスチナに移住し、ヘブライ大学で学士号を取得した。第二次世界大戦中、ナチスが侵攻した際、ロビンソンはフランスに滞在しており、列車と徒歩で脱出した。ドイツ国籍のパスポートを疑うフランス兵から尋問を受けたり、彼らの地図よりも詳細な地図を見せるよう求められたりした。ロンドン滞在中、彼は自由フランス空軍に入隊し、独学で空気力学を学び、戦闘機の翼に使用される翼型に関する専門家となることで、戦争遂行に貢献した。
戦後、ロビンソンはロンドン、トロント、エルサレムで働き、1962年からはカリフォルニア大学ロサンゼルス校に勤務した。
彼は、解析学や抽象代数学の問題に取り組むために数理論理学の方法を用いるアプローチで知られるようになった。彼は「モデル理論の多くの基本概念を導入した」[ 3 ] 。これらの方法を用いて、彼は形式論理を用いて、無限数と無限小数を含む実数系の自己無矛盾な非標準モデルが存在することを示す方法を見つけた。ヴィルヘルムス・ルクセンブルクなどの他の研究者は、超フィルターを用いて同じ結果が得られることを示し、これにより形式論理の訓練を受けていない数学者にとってロビンソンの研究がより理解しやすくなった。ロビンソンの著書『非標準解析』は1966年に出版された。ロビンソンは数学の歴史と哲学に強い関心を持っており、無限小数の概念を明確に表現しようと試みた最初の数学者であるライプニッツの頭の中に入り込みたいとよく述べていた。
UCLA在籍中、同僚たちは彼が、あらゆるレベルの能力を持つ博士課程の学生に適切な難易度の研究課題を見つけることで、彼らを支えるために尽力していたことを覚えている。イェール大学から誘いを受け、最初はためらいがあったものの、1967年に同大学に移籍した。1973年春には、高等研究所のメンバーとなった。[ 4 ]彼は1974年に膵臓がんで亡くなった。
{{citation}}ISBN /日付の不一致(ヘルプ)