Robert Solovay

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 ; ${\displaystyle \lambda }$ ${\displaystyle 2^{\lambda }=\lambda ^{+}}$
• 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; ${\displaystyle \kappa }$ ${\displaystyle S\subseteq \kappa }$ ${\displaystyle S}$ ${\displaystyle \kappa }$
• 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] ${\displaystyle \mathrm {P} \neq \mathrm {NP} }$
• 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 ; ${\displaystyle \Box (\Box A\to A)\to \Box A}$
• 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 Δ ¹ ₃ 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

• Lógica de demostrabilidad

Referencias

1. Robert M. Solovay en el Proyecto de genealogía de matemáticas
2. "Robert M. Solovay | Departamento de Matemáticas de la Universidad de California Berkeley".
3. 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

• Robert M. Solovay en el Proyecto de Genealogía de Matemáticas
• Robert Solovay en el servidor de bibliografía DBLP