A discussão sobre o resultado anunciado por Atiyah está quente. Aqui alguns comentários sobre a estratégia geral da demonstração, e vários links pertinentes: https://rjlipton.wordpress.com/2018/09/26/reading-into-atiyahs-proof/
Em particular, este ensaio do Alain Connes sobre a Hipótese (!) de Riemann, outro matemático brilhante que já vai além dos 70 anos, é informativo, e recorda a analogia da Pedra da Rosetta, de André Weil: http://www.alainconnes.org/docs/rhfinal.pdf * * * A 1940 Letter of André Weil on Analogy in Mathematics https://www.ams.org/notices/200503/fea-weil.pdf Sobre ela o tradutor escreveu: "The Weil letter is a gem, of wider interest to the mathematical and philosophical community, concerned both with the actual mathematics and with how mathematicians describe their work." * * * De passagem, vale notar talvez que o anúncio feito por Atiyah no ano passado de que haveria reduzido dramaticamente a complexidade da assustadora demonstração do teorema de Feit-Thompson foi recebida com muita incredulidade (e talvez com uma boa razão): https://www.maths.ed.ac.uk/~v1ranick/atiyahtimes2017.pdf Como os colegas devem se recordar, a checagem formal computadorizada da demonstração original do teorema de Feit-Thompson foi um feito imenso da equipe de Georges Gonthier, da Microsoft Research Cambridge: https://www.microsoft.com/en-us/research/blog/theorem-proof-gains-acclaim/ * * * JM On Tue, Sep 25, 2018 at 4:37 PM Joao Marcos <[email protected]> wrote: > > Como sabem, Sir Michael Francis Atiyah esteve no mês passado no Rio, no ICM. > > Ontem ele apresentou no Heidelberg Laureate Forum a seguinte palestra: > > "The Riemann Hypothesis" > > The Riemann Hypothesis is a famous unsolved problem dating from 1859. > I will present a simple proof using a radically new approach. It is > based on work of von Neumann (1936), Hirzebruch (1954) and Dirac > (1928). > > https://youtu.be/jXugkzFW5qY > > * * * > > Alguns interessantes comentários prévios sobre este assunto > específico, e sobre demonstrações em geral, podem ser encontrados no > "Gödel's Lost Letter": > > https://rjlipton.wordpress.com/2018/09/21/the-specter-of-simpler-proofs/ > https://rjlipton.wordpress.com/2018/09/23/preview-of-the-atiyah-talk/ > > * * * > > JM -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjEPYcBr-wyWgAWG2bR0%2BzTmJ8XD0iCDoacJyxL1sJc_Q%40mail.gmail.com.
