Powered by Rock ConvertVladimir Voevodsky, matemático revolucionário
Vladimir Voevodsky (nasceu em Moscou, em 4 de junho de 1966 – faleceu em Nova Jersey, em 30 de setembro de 2017), ex-aluno talentoso, mas inquieto, que foi reprovado na faculdade por tédio antes de emergir como um dos matemáticos mais brilhantes e revolucionários de sua geração.
Voevodsky era conhecido por fundar campos inteiramente novos da matemática e por criar novas ferramentas inovadoras para computadores confirmarem a precisão das provas. Em 2002, ele recebeu a Medalha Fields, que reconhece o brilhantismo e a promessa de matemáticos com menos de 40 anos.
Ele foi “um dos gigantes do nosso tempo”, disse Thomas Hales, matemático da Universidade de Pittsburgh, numa entrevista. Dr. Voevodsky, disse ele, transformou todos os campos que tocou. Em seu trabalho com computadores, por exemplo, ele subverteu o pensamento matemático a tal ponto que mudou o significado do sinal de igual.
“Se você quiser perguntar o quão profundo é o trabalho dele, veja o quão profundo ele é”, disse Hales. “Isso muda o próprio significado do sinal de igual em matemática.”
Ele acrescentou: “Suas ideias deram uma nova maneira para todos os matemáticos fazerem o que fazem, uma nova base. Os fundamentos da matemática são como um documento constitucional que enuncia as regras que todos os matemáticos concordam em seguir. Ele nos deu uma nova constituição.”
Vladimir Voevodsky nasceu em Moscou em 4 de junho de 1966. Seu pai, Alexander, dirigiu um laboratório de física experimental na Academia Russa de Ciências; sua mãe, Tatyana Voevodskaya, era professora de química na Universidade de Moscou.
Vladimir foi expulso do ensino médio três vezes, uma delas por discordar da afirmação de seu professor de que Dostoiévski, falecido em 1881, era pró-comunista. Ele também foi expulso da Universidade de Moscou depois de ter reprovado academicamente, tendo parado de frequentar aulas que considerava uma perda de tempo.
No entanto, ele continuou a estudar matemática de forma independente e, com o matemático Mikhail Kapranov, publicou vários artigos tão impressionantes que foi convidado a se matricular em Harvard como estudante de pós-graduação, apesar de nunca ter se candidatado para admissão lá e de não possuir nenhum diploma formal de graduação.
Uma vez matriculado, ele novamente deixou de assistir às palestras – mas seu conjunto de pesquisas era tão surpreendente, disseram os colegas, que ninguém se importou. Ele se formou em 1992 e permaneceu em Harvard para fazer uma bolsa. Depois de passar vários anos como membro do Instituto de Estudos Avançados de Princeton, tornou-se professor lá em 2002 e lá permaneceu pelo resto de sua carreira.
Dr. Voevodsky foi premiado com a Medalha Fields por sua descoberta de um objeto matemático indescritível cuja existência havia sido prevista décadas antes. O objeto fornece uma espécie de buraco de minhoca matemático que permite que ferramentas teóricas poderosas em um campo da matemática sejam utilizadas em outro. Ele então usou essas ferramentas para resolver um quebra-cabeça de três décadas, dando origem a uma área inteiramente nova da matemática chamada teoria da homotopia motívica.
Logo depois, porém, ele abandonou esse ramo da matemática em busca de uma busca talvez mais quixotesca, para encontrar a resposta a uma questão fundamental: como os matemáticos sabem que algo que provam é realmente verdadeiro?
Os argumentos matemáticos tinham-se tornado tão complicados, percebeu ele, que outros matemáticos raramente os verificavam em detalhe. E a sua reputação estelar só piorou o problema: todos presumiram que as suas provas deviam estar certas.
O Dr. Voevodsky percebeu que o cérebro humano não conseguia acompanhar a complexidade cada vez maior da matemática. Os computadores eram a única solução. Então ele embarcou em um enorme projeto para criar um software de verificação de provas tão poderoso e conveniente que os matemáticos pudessem algum dia usá-lo como parte de seu trabalho comum e criar uma biblioteca de conhecimento matemático sólido que qualquer pessoa no mundo pudesse acessar.
Os cientistas da computação trabalharam no problema durante décadas, mas era um território em que apenas alguns matemáticos se aventuraram. “Entre os matemáticos, a verificação de provas por computador era quase um assunto proibido”, escreveu o Dr. Voevodsky.
O problema era que esses sistemas eram extraordinariamente complicados. A verificação de um único teorema poderia exigir uma década de trabalho, porque o computador tinha essencialmente de aprender toda a matemática sobre a qual uma prova era construída, com detalhes agonizantes e desumanos. Os matemáticos comuns que pretendem expandir as fronteiras do campo não poderiam dedicar esse tipo de esforço à verificação das suas provas.
De alguma forma, os computadores e os humanos precisavam ser ensinados a pensar da mesma forma.
Voevodsky desenvolveu um plano surpreendentemente ousado sobre como fazê-lo: reformulou a matemática desde os seus fundamentos, dando-lhe uma nova “constituição”, como disse o Dr. A matemática assim reformulada seria muito mais amigável para os computadores e permitiria que os matemáticos falassem com os computadores numa linguagem muito mais próxima da forma como os matemáticos normalmente pensam.
Hoje, declarou o Dr. Voevodsky em 2014, “a verificação de provas por computador e do raciocínio matemático em geral parece completamente prática”.
Além disso, Voevodsky integrou o computador no processo de fazer sua própria pesquisa, descrevendo-o como um videogame. “Você diz ao computador: ‘Tente isso’, e ele tenta, e devolve o resultado de suas ações”, disse ele em entrevista à Scientific American em 2013. “Às vezes é inesperado o que resulta disso. É divertido.”
O Dr. Voevodsky esteve no centro de um esforço informal, mas enorme, para concretizar a sua visão, tendo inspirado dezenas de investigadores a juntarem-se a ele. “Ele tem sido nosso líder, embora deixe todos fazerem o que quiserem”, disse Robert Harper, da Universidade Carnegie Mellon, em Pittsburgh. “Ele é um líder inspirador e espiritual pelo exemplo.”
O Dr. Voevodsky estava especialmente atento aos jovens matemáticos. “Ao acomodar, encorajar e ouvir as pessoas, ele gerou enorme interesse”, disse o Dr. Harper em entrevista por telefone.
Ele também nutriu profundos interesses em muitos outros campos, incluindo biologia, política e fotografia da natureza.
Vladimir faleceu em 30 de setembro em sua casa em Princeton, NJ. Ele tinha 51 anos.
Nadia Shalaby, sua ex-esposa, disse que ele foi encontrado morto em sua casa por amigos, para quem ela ligou quando não teve notícias dele. Eles então chamaram a polícia. Ele estava doente e aparentemente desmaiou, disse ela. [A causa não foi conhecida imediatamente, mas o Dr. Shalaby disse em 11 de outubro que foi descoberto que era um aneurisma.]
Além do Dr. Shalaby, ele deixa duas filhas, Diana Yasmine Voevodsky e Natalia Dalia Shalaby.
Chris Kapulkin, outro colega da Universidade de Western Ontario, disse numa entrevista sobre o Dr. Voevodsky: “Suas contribuições são tão fundamentais que é impossível imaginar como as coisas eram pensadas antes dele”.
(Créditos autorais: https://www.nytimes.com/2017/10/06/arts – The New York Times/ ARTES/ Por Julie Rehmeyer – 6 de outubro de 2017)
Foi feita uma correção
Um obituário publicado sobre o matemático Vladimir Voevodsky referia-se de forma imprecisa ao seu mandato no Instituto de Estudos Avançados de Princeton, NJ. Ele foi nomeado professor lá em 2002, mas havia se tornado membro vários anos antes; não foi o caso de ele ter “mudado” para o Instituto em 2002.
Uma versão deste artigo aparece impressa na 7 de outubro de 2017 Seção D, página 6 da edição de Nova York com a manchete: Vladimir Voevodsky, abandono que se tornou matemático revolucionário.
© 2017 The New York Times Company
Powered by Rock Convert
