Matemático estadounidense (nacido en 1938)
Robert Martin Solovay (nacido el 15 de diciembre de 1938) es un matemático estadounidense que trabaja en teoría de conjuntos .
Biografía
Solovay obtuvo su doctorado. de la Universidad de Chicago en 1964 bajo la dirección de Saunders Mac Lane , con una disertación sobre Una forma funcional del teorema diferenciable de Riemann-Roch . [1] Solovay ha desarrollado su carrera en la Universidad de California en Berkeley , donde obtuvo su doctorado. los estudiantes incluyen a W. Hugh Woodin y Matthew Foreman . [2]
Trabajar
Los teoremas de Solovay incluyen:
- El teorema de Solovay que muestra que, si se supone la existencia de un cardinal inaccesible , entonces la afirmación "todo conjunto de números reales es mensurable según Lebesgue " es consistente con la teoría de conjuntos de Zermelo-Fraenkel sin el axioma de elección ;
- Aislando la noción de 0 # ;
- Demostrar que la existencia de un cardenal mensurable de valor real es equiconsistente con la existencia de un cardenal mensurable;
- Demostrando que si es un cardinal singular de límite fuerte, entonces se cumple mayor que un cardinal fuertemente compacto ;
- Demostrando que si es un cardinal regular incontable y es un conjunto estacionario , entonces se puede descomponer en la unión de conjuntos estacionarios disjuntos;
- Con Stanley Tennenbaum , desarrollando el método del forzamiento iterado y mostrando la consistencia de la hipótesis de Suslin ;
- Con Donald A. Martin , demostró la coherencia del axioma de Martin con una cardinalidad arbitrariamente grande del continuo ;
- Fuera de la teoría de conjuntos, desarrolló (con Volker Strassen ) la prueba de primalidad de Solovay-Strassen , utilizada para identificar números naturales grandes que son primos con alta probabilidad . Este método ha tenido implicaciones para la criptografía ;
- En cuanto al problema P versus NP , demostró con TP Baker y J. Gill que los argumentos relativizantes no pueden probar . [3]
- Demostrando que GL (la lógica modal normal que tiene las instancias del esquema como axiomas adicionales) axiomatiza completamente la lógica del predicado de demostrabilidad de la aritmética de Peano ;
- Con Alexei Kitaev , demostrando que un conjunto finito de puertas cuánticas puede aproximarse eficientemente a un operador unitario arbitrario en un qubit en lo que ahora se conoce como teorema de Solovay-Kitaev .
Publicaciones Seleccionadas
- Solováy, Robert M. (1970). "Un modelo de teoría de conjuntos en el que cada conjunto de reales es medible según Lebesgue". Anales de Matemáticas . Segunda Serie. 92 (1): 1–56. doi :10.2307/1970696. JSTOR 1970696.
- Solováy, Robert M. (1967). "Un conjunto de números enteros Δ 1 3 no construible ". Transacciones de la Sociedad Matemática Estadounidense . 127 (1). Sociedad Estadounidense de Matemáticas: 50–75. doi :10.2307/1994631. JSTOR 1994631.
- Solovay, Robert M. y Volker Strassen (1977). "Una prueba rápida de primalidad de Montecarlo". Revista SIAM de Computación . 6 (1): 84–85. doi :10.1137/0206006.
Ver también
Referencias
- ^ Robert M. Solovay en el Proyecto de genealogía de matemáticas
- ^ "Robert M. Solovay | Departamento de Matemáticas de la Universidad de California Berkeley".
- ^ Emerson, T. (10 de octubre de 1994). "Relativizaciones de la cuestión P=?NP sobre los reales (y otros anillos ordenados)". Informática Teórica . 133 (1): 15-22. doi : 10.1016/0304-3975(94)00068-9 . ISSN 0304-3975.
enlaces externos