Marcia Jean Groszek es una matemática estadounidense cuya investigación se centra en la lógica matemática , la teoría de conjuntos , la teoría de forzamiento y la teoría de la recursión . Es profesora de matemáticas en el Dartmouth College . [1]
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 del Hampshire College, [2] y luego obtuvo su licenciatura en el Hampshire College . [1] Completó su doctorado en 1981 en la Universidad de Harvard . Su disertación, Iterated Perfect Set Forcing and Degrees of Constructibility , fue supervisada por Akihiro Kanamori . [3]
Con Theodore Slaman , Groszek demostró que (si es que existen) los números reales no construibles deben estar muy extendidos, en el sentido de que todo conjunto perfecto contiene uno de ellos, y plantearon preguntas análogas sobre los números reales no computables . [4] [C] Con Slaman, también ha demostrado que la existencia de un conjunto máximamente independiente de grados de Turing , de cardinalidad menor que la cardinalidad del continuo , es independiente de ZFC . [A]
En la teoría de conjuntos definibles ordinales , se dice que un par de conjuntos no ordenados es un par de Groszek-Laver si el par es definible ordinalmente pero ninguno de sus dos elementos lo es; este concepto recibe su nombre de Groszek y Richard Laver , quienes observaron la existencia de dichos pares en ciertos modelos de la teoría de conjuntos. [5] [B]
Groszek fue presidenta del programa de la reunión anual norteamericana de 2014 de la Asociación de Lógica Simbólica . [6] Su interés en 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, [7] 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 matemáticas de pregrado". [8] Con su colega matemática 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. [9]