Loading article…
マーシャ・ジーン・グロゼックはアメリカの数学者であり、その研究は数理論理学、集合論、強制、再帰理論に関するものである。彼女はダートマス大学の数学教授である。[1]
教育
高校生の頃、グロゼックは数学への興味ゆえに孤立感を感じていたが、ハンプシャー大学夏期数学プログラムに参加することでコミュニティ感覚を見出し、[2]ハンプシャー大学で学士号を取得した。[1]彼女は1981年にハーバード大学で博士号を取得した。彼女の博士論文「反復完全集合強制と構築可能性の度合い」は金森明宏の指導を受けた。[3]
研究
セオドア・スラマンとともに、グロシェクは、非構成的実数は（もし存在するならば）あらゆる完全集合がそれらの1つを含むという意味で広く存在するはずであることを示し、計算不可能な実数についても同様の疑問を投げかけた。[4] [C]また、スラマンとともに、連続体の濃度よりも小さい濃度を持つチューリング次数の最大独立集合の存在は、 ZFCとは無関係であることも示した。[A]
順序付き定義可能集合の理論では、順序なしの集合のペアは、ペアが順序付き定義可能だが、その2つの要素のどちらも順序付き定義可能でない場合、グロゼック・レーバーペアと呼ばれます。この概念は、集合論の特定のモデルでそのようなペアの存在を観察したグロゼックとリチャード・レーバーにちなんで名付けられました。[5] [B]
サービスとアウトリーチ
グロゼックは、2014年に北米で行われた記号論理学会年次総会のプログラム委員長を務めた。[6]彼女の論理に対する関心は研究だけでなく教育にも及び、記号論理学会の論理教育委員会に参加したほか、[7] 2011年には「学部数学カリキュラムにおける論理」に関する記号論理学会特別セッションの共同主催者を務めた。[8] 数学の同僚ドロシー・ウォレスやパフォーマンスアーティストのジョシュ・コーンブルースとともに、グロゼックは数学に関する一連の教育ビデオの執筆と制作にも協力した。[9]
主な出版物
参考文献
- ^ ab "Marcia J. Groszek",教員名簿、ダートマス大学、 2019年8月18日閲覧
- ^ ヘニオン、クラウディア（1997）、数学における女性：差の加法、インディアナ大学出版、pp. xiii、10、16-17、76、81、274、ISBN 9780253114990
- ^ 数学系譜プロジェクトのマーシャ・グロゼック
- ^ Lewis, Andrew EM (2008)、「Slaman と Groszek の問題について」、アメリカ数学会紀要、136 (10): 3663–3668、doi : 10.1090/S0002-9939-08-09345-3、MR 2415052
- ^ Golshani, Mohammad; Kanovei, Vladimir; Lyubetsky, Vassily (2017)、「区別できない-クラスの Groszek–Laver ペア」、Mathematical Logic Quarterly、63 (1–2): 19–31、arXiv : 1601.03477、doi :10.1002/malq.201500020、MR 3647830、S2CID 27302694
- ^ 「ASL ミーティング」（PDF）、ASL ニュースレター、Association for Symbolic Logic、pp. 3–5、2013 年 11 月、 2019 年 8 月 30 日閲覧
- ^ 「Marcia Groszek」（PDF）、教員ハイライト、Math is Power：ダートマス大学数学科のニュースレター、p. 4、2012年9月
- ^ 学部数学カリキュラムにおける論理、ASL論理教育委員会、 2019年8月18日取得
- ^ Thrall, Erica (1997年9月23日)、「Videos highlight math series」、The Dartmouth 、 2019年8月18日閲覧
