マーシャ・ジーン・グロゼックはアメリカの数学者であり、数理論理学、集合論、強制論、再帰理論を研究している。彼女はダートマス大学の数学教授である。[ 1 ]
高校生の頃、グロシェックは数学への興味ゆえに孤立感を抱いていましたが、ハンプシャー大学夏季数学プログラム[ 2 ]への参加を通じてコミュニティ意識を見出し、ハンプシャー大学で学士号を取得しました[ 1 ]。彼女は1981年にハーバード大学で博士号を取得しました。博士論文「Iterated Perfect Set Forcing and Degrees of Constructibility 」は、金森明宏の指導の下執筆されました[ 3 ]。
セオドア・スラマンとともに、グロシェクは、非構成的実数は(もし存在するならば)あらゆる完全集合にその1つが含まれるという意味で広く普及しているに違いないことを示し、計算不可能な実数についても同様の疑問を投げかけた。[ 4 ] [C]また、スラマンとともに、連続体の濃度よりも小さい濃度を持つチューリング次数の最大独立集合の存在は、 ZFCとは無関係であることも示した。[A]
順序付き定義可能集合の理論では、順序なし集合のペアが順序付き定義可能で、その2つの要素のどちらも順序付き定義可能でない場合、そのペアはグロゼック・レーバーペアと呼ばれます。この概念は、集合論の特定のモデルでそのようなペアの存在を観察したグロゼックとリチャード・レーバーにちなんで名付けられました。[ 5 ] [B]
グロシェクは、記号論理学会の2014年北米年次大会のプログラム委員長を務めた。[ 6 ]彼女の論理への関心は研究だけでなく教育にも及び、記号論理学会の論理教育委員会に参加したほか、[ 7 ] 2011年には記号論理学会の特別セッション「学部数学カリキュラムにおける論理」の共同主催者を務めた。[ 8 ]グロシェクは、数学の同僚であるドロシー・ウォレスやパフォーマンス・アーティストのジョシュ・コーンブルース とともに、数学に関する一連の教育ビデオの執筆と制作にも携わっている。[ 9 ]
| A. |
| B. |
| C. | Groszek, Marcia J.; Slaman, Theodore A. (1998)「完全集合の基底定理」、The Bulletin of Symbolic Logic、4 (2): 204– 209、CiteSeerX 10.1.1.32.5166、doi : 10.2307/421023、JSTOR 421023、MR 1632148、S2CID 26705447 |