WikiDer > Марсия Грошек

Marcia Groszek

Марсия Жан Грошек американский математик, чьи исследования касаются математическая логика, теория множеств, принуждение, и теория рекурсии. Она профессор математики в Дартмутский колледж.[1]

Образование

Будучи ученицей старшей школы, Грошек чувствовала себя изолированной из-за своего интереса к математике, но она нашла чувство общности благодаря участию в летней математической программе Хэмпширского колледжа.[2] и она продолжила получать степень бакалавра в Хэмпширский колледж.[1] Она защитила кандидатскую диссертацию. в 1981 г. Гарвардский университет. Ее диссертация, Итерированное форсирование идеального множества и степени конструктивности, находился под наблюдением Акихиро Канамори.[3]

Исследование

С участием Теодор Сламан, Грошек показал, что (если они вообще существуют) неконструктивные действительные числа должны быть широко распространены в том смысле, что каждый идеальный набор содержит один из них, и они задавали аналогичные вопросы невычислимые действительные числа.[4][C] Сламаном она также показала, что существование максимально независимого множества Степени Тьюрингамощности меньше, чем мощность континуума, не зависит от ZFC.[A]

В теории порядковые определимые множества, неупорядоченная пара множеств называется парой Грошека – Лавера, если пара порядково определима, но ни один из ее элементов не является; эта концепция названа в честь Грошека и Ричард Лейвер, которые наблюдали существование таких пар в некоторых моделях теории множеств.[5][B]

Сервис и информирование

Грошек был председателем программы ежегодного собрания Североамериканского Ассоциация символической логики.[6] Ее интерес к логике распространяется как на образование, так и на исследования; она участвовала в работе Комитета по логическому образованию Ассоциации символической логики,[7] а в 2011 году она была соорганизатором специальной сессии Ассоциации символической логики на тему «Логика в учебной программе бакалавриата по математике».[8]С коллегой по математике Дороти Уоллес и исполнитель перформанса Джош КорнблутГрошек также помог написать и выпустить серию обучающих видео по математике.[9]

Избранные публикации

А.Groszek, Marcia J .; Сламан, Теодор А. (1983), "Независимость результатов глобальной структуры степеней Тьюринга", Труды Американского математического общества, 277 (2): 579–588, Дои:10.2307/1999225, Г-Н 0694377
Б.Groszek, M .; Лейвер, Р. (1987), "Конечные группы OD-сопряженных", Periodica Mathematica Hungarica, 18 (2): 87–97, Дои:10.1007 / BF01896284, Г-Н 0895774
С.Groszek, Marcia J .; Сламан, Теодор А. (1998), "Базисная теорема для совершенных множеств", Вестник символической логики, 4 (2): 204–209, Дои:10.2307/421023, Г-Н 1632148

использованная литература

  1. ^ а б "Марсия Х. Грошек", Каталог факультетов, Дартмутский колледж, получено 2019-08-18
  2. ^ Генрион, Клаудия (1997), Женщины в математике: добавление различий, Indiana University Press, стр. Xiii, 10, 16–17, 76, 81, 274, ISBN 9780253114990
  3. ^ Марсия Грошек на Проект "Математическая генеалогия"
  4. ^ Льюис, Эндрю Э. М. (2008), "По вопросу о Сламане и Грошеке", Труды Американского математического общества, 136 (10): 3663–3668, Дои:10.1090 / S0002-9939-08-09345-3, Г-Н 2415052
  5. ^ Гольшани, Мохаммад; Кановей, Владимир; Любецкий, Василий (2017), «Пара Грошека – Лейвера неразличимых -классы », Mathematical Logic Quarterly, 63 (1–2): 19–31, arXiv:1601.03477, Дои:10.1002 / malq.201500020, Г-Н 3647830
  6. ^ "Встречи ASL" (PDF), Информационный бюллетень ASL, Ассоциация символической логики, стр. 3–5, ноябрь 2013 г., получено 2019-08-30
  7. ^ "Марсия Грошек" (PDF), Особенности факультета, Math is Power: информационный бюллетень математического факультета Дартмутского колледжа, п. 4 сентября 2012 г.
  8. ^ Логика в программе бакалавриата по математике, Комитет ASL ​​по логическому образованию, получено 2019-08-18
  9. ^ Тралл, Эрика (23 сентября 1997 г.), "Видео посвящены математическим сериям", Дартмут, получено 2019-08-18