イルゼ・リスル・ノヴァク・ガール(1924年1月17日 - 2024年10月7日)[ 1 ]は、オーストリア生まれのアメリカの数学者で、集合論とガロア理論への貢献で知られています。[ 2 ]彼女はコーネル大学で数学の終身在職権を持つ最初の女性であり、[ 3 ]ミネソタ大学の名誉准教授でもありました。[ 4 ]ガールは2024年に100歳で亡くなりました。[ 5 ]
ガールの博士論文は数学の基礎に関するものでした。この論文は、それまで基礎的とされていた2つの異なる集合論体系が等価無矛盾であることを証明しました。つまり、両方とも妥当であるか、両方とも矛盾を生じるかのいずれかです。この2つの体系は、ツェルメロ集合論とフォン・ノイマン集合論です。フォン・ノイマンがツェルメロの理論にクラスの概念を追加した点が、両者の相違点です。クラスとは、ある性質によって定義されるものの、必ずしも集合を形成するとは限らない数学的対象の集合です。(多くの場合、直感的に、真のクラスは集合を形成するには「大きすぎる」ものです。例えば、ラッセルのパラドックスにより、すべての集合の集合自体は集合にはなり得ませんが、クラスにはなり得ます。)ガールの研究は、このクラスという追加概念の導入は安全なステップであり、体系に新たな矛盾をもたらさないことを示しまし た。[ 2 ]
ガアルは次の 2 冊の本の著者でもあります。
ハールは1924年1月17日、ウィーンで生まれました[ 1 ]。婦人科医の娘で、シカゴで医師となったガートルード・M・ノヴァクの妹でした。彼女と二人の姉妹はナチス・ドイツから逃れ、家族と共にニューヨーク市に移住しました[ 8 ]。
1944年にハンター大学で学士号を取得した後、 [ 1 ] 、ガールはラドクリフ大学を経て1948年にハーバード大学で博士号を取得した。彼女の博士論文「クラスと集合論におけるゲーデルの公理の、より弱い公理集合に対する一貫性について」は、リン・ハロルド・ルーミスとウィラード・ヴァン・オーマン・クワインの共同指導を受けた。[ 2 ] [ 3 ] [ 9 ]
ガールは1950年から1951年までカリフォルニア州バークレーに住んでいた。[ 2 ]彼女と夫で数学者のスティーブン・ガールは共にコーネル大学に移り、1953年に講師として着任し、1954年には助教授に昇進した。これはコーネル大学数学科が女性に終身在職権を与えた初めてのケースであった。彼女はまた、コーネル大学で数学専攻の学生アンジェロ・マルガリスの博士課程を指導した初の女性となった。[ 3 ]
1957年にガール夫妻は再びミネソタ大学に移り[ 3 ]、彼女は名誉准教授になった[ 2 ] 。
後年、ガールは石版画家となり、数学のテーマとミネソタの風景を組み合わせた版画を制作した。[ 10 ] [ 11 ] 彼女の著書『数学のギャラリー』には、彼女の数学的なイラストがいくつか収録されている。[ 7 ]
{{citation}}: CS1 maint: 無題の定期刊行物 (リンク){{citation}}: CS1 maint: 無題の定期刊行物 (リンク)