Jean A. Larson

Jean Ann Larson es una matemática estadounidense. Es teórica de conjuntos , historiadora de la lógica matemática y exprofesora de la Universidad de Florida . ^{[ 1 ]} Fue la primera mujer en obtener un doctorado en matemáticas del Dartmouth College y es conocida por su investigación en combinatoria infinita y la teoría de espacios lineales .

Larson creció en el Área de la Bahía de San Francisco y se graduó de la Universidad de California, Berkeley, en 1968 con una licenciatura en matemáticas y una subespecialización en inglés. Durante sus estudios de pregrado, había planeado dedicarse a la enseñanza, pero un mentor en Berkeley, el lógico John W. Addison Jr., reconoció su talento para las matemáticas y la animó a continuar con estudios de posgrado. ^{[ 2 ]} Obtuvo su doctorado bajo la supervisión de James Earl Baumgartner en el Dartmouth College en 1972, ^{[ 3 ]} convirtiéndose en la primera mujer en obtener un doctorado en matemáticas allí. ^{[ 2 ]}

Larson fue profesora asistente ER Hedrick en la Universidad de California, Los Ángeles, de 1972 a 1974. Ha estado afiliada a la Universidad de Florida desde 1974, donde fue ascendida a profesora titular en 1987 y se desempeñó como subdirectora de Estudios de Posgrado de 1993 a 1996. ^{[ 4 ]} En 2002, Larson se convirtió en presidenta del senado de la facultad de la Universidad de Florida. Atribuye a su práctica religiosa cuáquera el haberla convertido en una buena oyente y una "constructora de consensos", dos cualidades que considera importantes en el liderazgo universitario. ^{[ 2 ]}

Gran parte de la investigación de Larson se centra en la combinatoria infinitaria , estudiando versiones del teorema de Ramsey para conjuntos infinitos . ^{[ 2 ] [ 4 ]} Su tesis doctoral, Sobre algunas relaciones de flecha , versó sobre este tema. ^{[ 3 ]} Ha sido considerada una "figura prominente en el campo de las relaciones de partición", particularmente por su "experiencia en relaciones para ordinales contables". ^{[ 5 ]} Cinco de sus publicaciones son con Paul Erdős , quien se convirtió en su colaborador más frecuente. ^{[ 6 ]} Erdős, otro destacado combinatorialista, visitó a Larson y a otros en la Universidad de Florida durante dos semanas al año, desde 1973 hasta 1996. ^{[ 7 ]}

En la teoría de espacios lineales , los espacios lineales de Drake-Larson reciben su nombre de Larson y su coautor y colega de la Universidad de Florida, David A. Drake. Estos son espacios lineales (sistemas finitos de puntos y líneas, con al menos dos puntos en cada línea, una línea que pasa por cada par de puntos y no todos los puntos en una sola línea) tales que ninguna de las líneas tiene exactamente dos, tres o seis puntos. Cuando existe un espacio de este tipo, se puede utilizar para construir ciertos tipos de cuadrados latinos . En un artículo de 1983, Drake y Larson determinaron el número posible de puntos en estos espacios, con una excepción: los espacios con exactamente treinta puntos. Este caso fue un problema abierto durante muchos años, ^{[ 8 ]} hasta que fue resuelto en 2010 por Betten y Betten. ^{[ 9 ]}

• Su demostración de 1973 de un teorema de partición para el ordinal${\displaystyle \omega ^{\omega }}$, formalizado en Isabelle/HOL