Alexander Razborov
Nome orixinal | Aleksandr Aleksandrovich Razborov |
---|---|
Biografía | |
Nacemento | 16 de febreiro do 1963 Belovo, Rusia |
Datos persoais | |
Residencia | Chicago, Estados Unidos |
País de nacionalidade | Rusa |
Educación | Universidade Estatal de Moscova |
Director de tese | Sergei Adian (pt) |
Actividade | |
Campo de traballo | Matemáticas, teoría da computación, combinatoria |
Ocupación | matemático , informático teórico |
Empregador | Instituto de Matemática Steklov (pt) Universidade de Chicago |
Membro de | |
Lingua | Lingua rusa |
Participou en | |
1979 | Olimpíada Internacional de Matemáticas |
All-Russian Mathematical Olympiad of general education students (en) | |
Obra | |
Doutorando | Oleg Verbitsky (en) , Pooya Hatami (en) e Raghav Kulkarni (en) |
Premios | |
| |
Páxina web | people.cs.uchicago.edu… |
Lista
|
Alexander Razborov (ruso: Алекса́ндр Алекса́ндрович Разбо́ров, Aleksandr Aleksandrovich Razborov), tamén coñecido como Sasha Razborov, nado o 16 de febreiro do 1963 en Belovo (Unión Soviética), é un matemático e teórico da computación ruso.[1] Na actualidade, é profesor na Universidade de Chicago.[1]
Traxectoria[editar | editar a fonte]
Razborov é coñecido por introducir, xunto con Steven Rudich, a noción de proba natural, un tipo de estratexias para demostrar límites inferiores fundamentais en complexidade computacional. En concreto, ambos amosaron que, supoñendo a existencia de certas clases de funcións unidireccionais, as probas naturais non poden resolver o problema P versus NP.[2]
Premios[editar | editar a fonte]
- Premio Nevanlinna (1990).[3]
- Premio Gödel (2007, con Steven Rudich).[4]
- Premio David P. Robbins (2013).
Publicacións[editar | editar a fonte]
- Razborov, A. A. (1985a). Lower bounds for the monotone complexity of some Boolean functions [Límites inferiores para a complexidade monótona dalgunhas funcións booleanas]. Soviet Mathematics - Doklady, 31, 354-357.
- Razborov, A. A. (1987). О системах уравнений в свободной группе [Sobre sistemas de ecuacións nun grupo libre]. Universidade Estatal de Moscova. Tese de doutoramento.[5]
- Razborov, A. A.; Rudich, S. (1994). Natural proofs [Probas naturais]. Proceedings of the 26th Annual ACM Symposium on the Theory of Computing, 204-213.
- Razborov, A. A. (2003). Propositional proof complexity [Complexidade das probas proposicionais]. Journal of the ACM, 50 (1), 80-82.
Notas[editar | editar a fonte]
- ↑ 1,0 1,1 "Alexander Razborov - Department of Mathematics - The University of Chicago". mathematics.uchicago.edu. Consultado o 2024-03-31.
- ↑ "Alexander Razborov - American Academy of Arts and Sciences". www.amacad.org (en inglés). 2024-03-31. Consultado o 2024-03-31.
- ↑ "International Mathematical Union (IMU)". web.archive.org. 2007-12-17. Archived from the original on 17 de decembro de 2007. Consultado o 2024-03-31.
- ↑ "Goedel Prize, 2007 - European Association for Theoretical Computer Science". web.archive.org. 2007-12-01. Archived from the original on 01 de decembro de 2007. Consultado o 2024-03-31.
- ↑ "Alexander Razborov - The Mathematics Genealogy Project". www.genealogy.math.ndsu.nodak.edu. Consultado o 2024-03-31.