Alexander Razborov

Alexander Razborov
	;
Biografía
Nacemento	16 de febreiro de 1963 (63 anos); Belovo
Educación	MSU Faculty of Mechanics and Mathematics (en) (–1987); Universidade Estatal de Moscova ; Lyceum "Second school" (en)
Director de tese	Sergei Adian (pt)
Actividade
Campo de traballo	Teoría da complexidade computacional, teoría da computación e matemático
Ocupación	matemático, informático
Empregador	Instituto Steklov de Matemáticas ; 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)
Participou en
1979	Olimpíada Internacional de Matemáticas
	Olimpíada Rusa para Estudantes de Matemáticas
Obra
Doutorando	Oleg Verbitsky (en) , Pooya Hatami e Raghav Kulkarni
Premios
	(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) ;
Sitio web	people.cs.uchicago.edu…

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

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 2 "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.