Acabou ontém em Varsovia the 2nd World Congress on Logic and Religion http://en.uw.edu.pl/congress-on-logic-and-religion/ com palestras do Michal Heller e do Laurent Lafforgue.
Michal Heller ganhou em 2008 o prêmio Templeton https://en.wikipedia.org/wiki/Micha%C5%82_Heller A titulo da palestra dele foi "The Logic of God" Ele falou bastante da teoria das categorias, em particular de toposes, e também de lógica paraconsistente. Laurent Lafforgue ganhou em 2002 a Medalha Fields https://en.wikipedia.org/wiki/Laurent_Lafforgue A titulo da palestra dele foi "A logical mind looking for God or a religious mind in mathematics? The case of Grothendieck" Lafforgue contou muitas coisas sobre a visao da matemática do Grothendieck: que o objetivo dele foi sempre de chegar na mais alta simplificação onde não tem mais nada a provar, so ver. Uma direção oposta é o que Grothendieck chamava de "matematica esportiva" resolver problemas complicados com provas de tamanho kilometrico. Mas com Lafforgue apontou todo trabalho de simplificação do Grothendieck levou a resolução de problemos matematicos muito difficis. Parte importante dos ganhadores da Medalha Fields, inclusivo ele, desenvolver os trabalhos deles a partir das conceptualização do Grothendieck. Ele lembro tambéem que o Grothendieck cersceu numa familia ateista e anti-religioso e que para ele era obvio que não tinha Deus. A ideia dele começou a mudar o dia que ele foi assistir a uma palestra detalhada sobre a teoria da evolução. A partir deste momento apareceu pare ele totalemente obvio a existencia de um Criador. Para quem quer saber mais, as palestras vão ser publicadas em breve. Foi confirmado a organização do 3rd World Congress on Logic and Religion na India em Varanasi em 2019. http://www.uni-log.org/logos Tudo mundo é em bemvindo! Saudações, JYB -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. 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/CAF2zFLC6A6B%3DnJQ9_66F-XzBe%3D4sh6qNVPOrgjRJ1d7MVW3YKw%40mail.gmail.com.
