Alexander Razborov

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	Academia Europaea (1993–); Academia de Ciencias de Rusia ; Academia das Artes e das Ciencias dos Estados Unidos (Membro da Academia Estadounidense das Artes e as Ciencias)
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
	Premio Nevanlinna (1990); Premio Gödel (2007); Premio David P. Robbins (2013);
Páxina web	people.cs.uchicago.edu…
	Lista (2013) Prêmio David P. Robbins (pt) ; (2010) Gödel Lecturer (pt) ; (2007) Premio Gödel; (1990) Prêmio Nevanlinna (pt) ; (1990) O'Reilly Open Source Award (en) ; ;

Este artigo amosa letras cirílicas. Sen o soporte axeitado, o texto pode mostrar símbolos sen sentido, coma caixas, marcas e outros.

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]

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.

↑ ^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.