Loading article…
ヴェレーナ・フーバー・ダイソン | |
|---|---|
.jpg/500px-Verena_Huber-Dyson_(cropped).jpg) | |
| 生まれる | ヴェレーナ・エステル・フーバー 1923年5月6日 ナポリ、イタリア |
| 死亡 | 2016年3月12日（享年92歳）[1] |
| その他の名前 | ヴェレーナ・フーバー、ヴェレーナ・ヘフェリ |
| 市民権 |
|
| 教育 | チューリッヒ大学 |
| 知られている | |
| 配偶者たち |
|
| 子供たち | |
| 科学者としてのキャリア | |
| フィールド | 論理学、代数 |
| 機関 | |
| 論文 | 理論理論の抽象化における二元論的分類法 (1947) |
| 博士課程の指導教員 | アンドレアス・シュパイザー |
ヴェレーナ・エステル・フーバー＝ダイソン（1923年5月6日 - 2016年3月12日）は、群論と形式論理学の研究で知られるスイス系アメリカ人の数学者である。[1] [2]彼女は「優れた数学者」と評され、[2]群論における決定不可能性に焦点を当て、代数と論理学のインターフェースに関する研究を行った。死去当時、彼女はアルバータ州カルガリー大学の哲学部の名誉教授であった。
バイオグラフィー
幼少期と教育
フーバー・ダイソンは、1923年5月6日、イタリアのナポリでヴェレーナ・エステル・フーバーとして生まれた。両親のカール（チャールズ）・フーバー（1893年 - 1946年）とベルティ・リッフェル（1899年 - 1945年）はスイス国籍[3]で、ヴェレーナと妹のアデルハイド（「ハイジ」、1925年 - 1987年）をギリシャのアテネで育てた。2人はドイツ語圏のアテネ・ドイツ学校に通ったが、1940年に戦争によりスイスに強制送還された。
スイスの食品加工エンジニアリング会社ビューラーAGの中東事業を統括していたチャールズ・フーバーは、赤十字国際委員会（ICRC）で働き始め、捕虜収容所での戦争捕虜の扱いを監視した。インドとセイロンのICRC代表として、イギリスの収容所に収容されているイタリア人捕虜を担当したが、ヨーロッパのドイツ軍や連合軍の収容所も訪問した。1945年から46年にかけて、彼はICRCの米国代表として働き、ベレーナに「間違いなく長く深く体験するべき場所だが、決してそこに留まるべきではない」と語った。[1]
彼女はチューリッヒ大学で数学を学び、物理学と哲学を副専攻し、 1947年にアンドレアス・シュパイザーの指導の下、有限群論[4] [5] [6]の論文で数学の博士号を取得した。
キャリア
フーバー＝ダイソンは1948年にプリンストン高等研究所のポスドク研究員に任命され、 [7]群論と形式論理の研究を行った。[8] [9]また、この時期にボルチモア近郊のゴーチャー大学で教鞭をとり始めた。 [9]
彼女は娘のカタリナとともにカリフォルニアに移り、 1959年にサンノゼ州立大学で教鞭をとり、その後カリフォルニア大学バークレー校のアルフレッド・タルスキの論理学と科学の方法論のグループに参加した。[8] [10]
フーバー・ダイソンは、サンノゼ州立大学、チューリッヒ大学、モナシュ大学、カリフォルニア大学バークレー校、アデルフィ大学、カリフォルニア大学ロサンゼルス校、イリノイ大学シカゴ校の数学科と哲学科で教鞭を執った。1973年にカルガリー大学哲学科の職に就き、1988年に名誉教授となった。 [11]
1968年6月以前の学術関係
- コーネル大学
- ゴーチャーカレッジ
- サンノゼ州立大学(1959年9月)
- アデルフィ大学
- カリフォルニア大学ロサンゼルス校
- ロンドン大学
- チューリッヒ工科大学
- ウォーリック大学
- メルボルン大学
- モナッシュ大学
- キャンベラのオーストラリア国立大学
- チューリッヒ大学
- ミルズカレッジ
- カリフォルニア大学バークレー校
1968年9月以降の学術関係
- イリノイ大学シカゴ校数学科（1968年9月～1971年6月）常勤助教授
- カルガリー大学哲学科（1971年9月～1972年6月）非テニュアトラック
- イリノイ大学シカゴ校数学科（1972年9月～1973年6月）終身在職権付き准教授
- カルガリー大学哲学科（1973年9月～1975年6月）常勤助教授
- カルガリー大学哲学科（1977年9月～1981年6月）終身在職権付き准教授。
- カルガリー大学哲学科（1981年9月～1988年6月）教授
- カルガリー大学哲学科（1988年9月～2016年3月）名誉教授
カルガリー滞在中のアクティビティ
- 数学の基礎と科学の哲学と方法論に関する大学院コースを指導した
- モノグラフ「ゲーデルの定理：形式化に関するワークブック」の執筆を開始[13]
学術関係以外の雇用
- フィラデルフィアのレミントンランド（ユニバック）のコンサルタント
- ロサンゼルスのヒューズ・エアクラフト社のコンサルタント
晩年
| 外観イメージ | |
|---|---|
| ヴェレーナ・フーバー・ダイソン | |
 晩年、[14] |
カルガリーを退職後、ベレーナ・フーバー・ダイソンはブリティッシュコロンビア州のサウス・ペンダー島に戻り、そこで14年間暮らした。[15] [16]彼女は2016年3月12日にワシントン州ベリンガムで92歳で亡くなった。 [1] [12]
私生活
| 外観イメージ | |
|---|---|
| ヴェレーナ・フーバー・ダイソン | |
| ニュージャージー州、1949年、[12] |
ヴェレーナは1942年に数学者のハンス・ゲオルク・ヘーフェリと結婚したが、1948年に離婚した。最初の娘カタリナ・ハルム（旧姓ハルム）は1945年に生まれた。[3] [8]
彼女はその後、1950年8月11日にミシガン州アナーバーでフリーマン・ダイソンと結婚した。 [5]二人の間にはエスター・ダイソン（1951年7月14日、チューリッヒ生まれ）とジョージ・ダイソン（1953年、ニューヨーク州イサカ生まれ）の2人の子供がいたが、[2] [5] 1958年に離婚した。[8]
主な出版物
「真実には、証明によってつかめる以上のものがある」
— ロバーツ 2016
モノグラフ
- ヘフェリ＝フーバー、ヴェレナ・エステル（1948年）。 Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie [抽象群理論における分類原理としての二元論] (PhD) (ドイツ語)。チューリッヒ大学。OCLC 2277810。
- Roggenkamp, Klaus W.; Huber-Dyson, Verena (1970).次数上の格子 I . 数学講義ノート (No 115). Springer-Verlag . doi :10.1007/BFb0068796. ISBN 978-3-540-04904-3。
- ヒューバーダイソン、ベレナ (1991)。ゲーデルの定理: 形式化に関するワークブック。 Teubner-Texte zur Mathematik の 122。 BG Teubner Verlagsgesellschaft。ISBN 978-3-8154-2023-2。
記事
| 外観イメージ | |
|---|---|
| ヴェレーナ・フーバー・ダイソン | |
| 2006年7月28日[17] |
- Huber-Dyson, Verena; Kreisel, Georg (1961). 「 Bethの直観主義論理の意味構成の分析」スタンフォード研究報告3 .
- Huber-Dyson, Verena (1964). 「有限モデルの理論の決定問題について」.イスラエル数学ジャーナル. 2 (1): 55–70. doi :10.1007/bf02759735. S2CID 122395102.
- Huber-Dyson, Verena (1965)。「数論的関数の強い表現可能性」。ヒューズ航空機レポート。
- Huber-Dyson, Verena (1969). 「決定可能理論の拡張に関する決定問題について」. Fundamenta Mathematicae . 64 : 7–40. doi : 10.4064/fm-64-1-7-40 .
- Huber-Dyson, Verena (1974) 。「優れた文章問題を持つ群の族」。オーストラリア数学会誌。17 。
- Huber-Dyson, Verena (1977). 「自然に豊富な言語における自由群について語る」Communications in Algebra . 5 (11): 1163–1191. doi :10.1080/00927877708822214.
- Huber-Dyson, Verena (1979). 「群の自由積に対する帰納的理論」. Algebra Universalis . 9 : 35–44. doi :10.1007/BF02488014. S2CID 119943802.
- Huber-Dyson, Verena (1981). 「有限群のオープンセンテンス問題の簡約」.ロンドン数学会報. 13 (4): 331–338. doi :10.1112/blms/13.4.331.
- Huber-Dyson, Verena (1982)。「対称群とオープンセンテンス問題」。パトラス論理シンポジウム。北ホラント。
- Huber-Dyson, Verena (1982)。「有限条件と単語問題」。Groups St. Andrews 1981。LMS講義ノート。第 71 巻。
- ヒューバー・ダイソン、ヴェレナ;ジョーンズ、ジェームス・パークス。シェパードソン、ジョン・セドリック (1982)。 「ゲーデルの定理のいくつかのディオファントス形式」。数学ロジックのアーカイブ。２２．
- ヒューバー・ダイソン、ベレナ (1982 年)。 「群理論における意思決定問題」。数学の最近の傾向、ラインハルツブルン、1982 年。 Teubner Texte zur Mathematik。 Vol. 50.
- Huber-Dyson, Verena (1984)。「HNN 構築有限群」。Groups Korea 1983。Springer Lecture Notes in Mathematics。第 1098 巻。
- フーバー・ダイソン、ヴェレーナ（1981）。「DRホフスタッターによるゲーデル、エッシャー、バッハに関する批評的考察」カナダ哲学ジャーナル11（4）。
- ヒューバーダイソン、ヴェレナ (1996)。 「クライゼル生誕70周年を機に思うこと」。オディフレディ編（編）。クライセリアナ、ジョージ・クライゼルとその周辺。 AKピーターズ。
- Huber-Dyson, Verena (1996年6月)。「Shrieks and Shadows Over the Notices」( PDF)。Notices of the AMS。43 (6): 653 。 2020年11月2日閲覧。
{{cite journal}}: CS1 メンテナンス: 日付と年 (リンク) - Huber-Dyson, Verena (1998 年 2 月 15 日)。「数学的概念の性質について: 数学者はなぜ、どのようにして結論に飛びつくのか?」Edge.org。2020年 2 月 26 日閲覧。
- Huber-Dyson, Verena (2005 年 7 月 27 日). 「ゲーデルと数学的真理の性質 II」. Edge.org . 2020 年 2 月 26 日閲覧。
- Huber-Dyson, Verena (2006年5月13日). 「Gödel in a Nutshell」. edge.org . 2020年11月2日閲覧。
参考文献
注記
引用
- ^ abcd 「Verena Huber-Dysonの死亡記事」。Moles Farewell Tributes。2016年3月12日。2020年2月26日時点のオリジナルよりアーカイブ。 2020年2月26日閲覧。
- ^ abc ダヴィドフ 2009.
- ^ ab Schewe 2013、52ページ。
- ^ ヘーフェリ・フーバー 1948年。
- ^ abc オコナー、ジョン・J.;ロバートソン、エドマンド・F.、「フリーマン・ダイソン」、マクチューター数学史アーカイブ、セント・アンドリュース大学
- ^ 数学系譜プロジェクトのベレーナ・フーバー・ダイソン
- ^ 「学者のコミュニティ」。高等研究所。2013年1月7日時点のオリジナルよりアーカイブ。2014年3月14日閲覧。
- ^ abcd フェフェルマン & フェフェルマン 2004、272–276。
- ^ ab Schewe 2013、p.72を参照。
- ^ フーバー・ダイソン 2006年。
- ^ シェーヴェ 2013.
- ^ abc ブロックマン 2016.
- ^ フーバー・ダイソン 1991.
- ^ シャーマン 2009年。
- ^ フーバー・ダイソン 1996a、653ページ。
- ^ ブルックス 2002、20ページ。
- ^ Verena Huber-Dyson （Flickrより）
出典
- ブロックマン、ジョン（2016年3月13日）。「ベレーナ・フーバー・ダイソン 1923年5月6日-2016年3月12日」。edge.org 。 2020年11月2日閲覧。
- ブルックス、パメラ（2002年1月3日）。「ペンダースニペット」（PDF）。ガルフアイランドドリフトウッド。p.20 。 2020年11月2日閲覧。
- ダウィドフ、ニコラス（2009年3月25日）。「市民的異端者」。ニューヨークタイムズ。 2020年10月30日閲覧。
- フェファーマン、ソロモン; フェファーマン、アニタ (2004)。アルフレッド・タルスキ：人生と論理。ケンブリッジ：大学出版局。ISBN 9780521802406。
- ロバーツ、シボーン（2016年6月29日）。「ゲーデルを待つ」。ニューヨーカー。 2020年11月2日閲覧。
- シェーヴェ、フィリップ(2013)。「異端の天才：フリーマン・ダイソンの先駆的冒険」。Physics Today。66 (6): 52。Bibcode :2013PhT....66f..52B。doi : 10.1063 / PT.3.2012。
- シャーマン、リンダ（2009年3月24日）。「エスター・ダイソン 先見の明のある並外れた人物」。女の子にとっては違う。 2020年11月2日閲覧。