Marcia Groszek - Marcia Groszek
Marcia Jean Groszek es una matemática estadounidense cuya investigación se centra en la lógica matemática , la teoría de conjuntos , el forzamiento y la teoría de la recursividad . Es profesora de matemáticas en Dartmouth College .
Educación
Como estudiante de secundaria, Groszek se sintió aislada por su interés en las matemáticas, pero encontró un sentido de comunidad a través de su participación en el Programa de Matemáticas de Verano de Hampshire College, y obtuvo su licenciatura en Hampshire College . Completó su Ph.D. en 1981 en la Universidad de Harvard . Su disertación, Iterated Perfect Set Forcing y Degrees of Constructibility , fue supervisada por Akihiro Kanamori .
Investigar
Con Theodore Slaman , Groszek demostró que (si es que existen) los números reales no construibles deben estar generalizados, en el sentido de que todo conjunto perfecto contiene uno de ellos, y formularon preguntas análogas sobre los números reales no computables . Con Slaman, también ha demostrado que la existencia de un conjunto de grados de Turing máximamente independientes , de cardinalidad menor que la cardinalidad del continuo , es independiente de ZFC .
En la teoría de conjuntos definibles ordinales , se dice que un par de conjuntos desordenado es un par Groszek-Laver si el par es definible ordinal pero ninguno de sus dos elementos lo es; este concepto lleva el nombre de Groszek y Richard Laver , quienes observaron la existencia de tales pares en ciertos modelos de teoría de conjuntos.
Servicio y divulgación
Groszek fue presidente del programa de la reunión anual norteamericana de 2014 de la Association for Symbolic Logic . Su interés por la lógica se extiende tanto a la educación como a la investigación; ha participado en el Comité de Educación Lógica de la Asociación de Lógica Simbólica y en 2011 fue coorganizadora de una sesión especial de la Asociación de Lógica Simbólica sobre "Lógica en el currículo de pregrado en matemáticas". Con su colega de matemáticas Dorothy Wallace y el artista de performance Josh Kornbluth , Groszek también ha ayudado a escribir y producir una secuencia de videos educativos sobre matemáticas.
Publicaciones Seleccionadas
UNA. | Groszek, Marcia J .; Slaman, Theodore A. (1983), "Resultados de la independencia en la estructura global de los grados de Turing", Transactions of the American Mathematical Society , 277 (2): 579–588, doi : 10.2307 / 1999225 , JSTOR 1999225 , MR 0694377 |
B. | Groszek, M .; Laver, R. (1987), "Grupos finitos de conjugados OD", Periodica Mathematica Hungarica , 18 (2): 87–97, doi : 10.1007 / BF01896284 , MR 0895774 , S2CID 120945893 |
C. | Groszek, Marcia J .; Slaman, Theodore A. (1998), "Un teorema básico para conjuntos perfectos", The Bulletin of Symbolic Logic , 4 (2): 204-209, doi : 10.2307 / 421023 , JSTOR 421023 , MR 1632148 |