Terminou há pouco em Viena o evento "Kurt Gödel's Legacy: Does Future lie in the Past?" um evento sobre Gödel, organizado pela Kurt Gödel Society, sem periocidade. A razão de organizar o evento este ano foi: - os 70 anos da publicação do artigo do Gödel mostrando que a teoria da relatividade geral admita modelos rotativos - os 100 anos da verificação experimental da teoria da relatividade, que aconteceu em Sorbal, Ceara https://g1.globo.com/jornal-nacional/noticia/2019/05/29/sobral-no-ceara-comemora-cem-anos-de-eclipse-que-comprovou-teoria-de-einstein.ghtml
O evento foi interdisciplinar com a participação de pessoas da física, da lógica, da computação e da filosofia. Entre os físicos, tinha em particular o John Barrow https://en.wikipedia.org/wiki/John_D._Barrow que apresentou a palestra "100 years of Universes", Uma visão geral e historica sobre todos os universos que são modelos da teoria da relatividade. Uma palestra que explicou bem claramente o resultado do Gödel foi a palestra do Reinhard Kahle "Kurt Gödel and Hilbert's axiomatic method", apesar do fato que ele fiz a declaração polémica que o Gödel não acreditava no modelo rotativo, fazendo uma comparação com a prova de existência de deus, dizendo que tudo isso era para Gödel so exercícios formais. Não fiquei muito convencido. Na minha palestra falei que quando tem uma teoria que tem modelos esquisitos temos três possibilidades: 1. acrescentar axiomas artificiais para eliminar-los (o que não é sempre possivel) 2. achar uma axiomatica alternativa natural, onde não ha esses modelos (o que não é obvio) 3. justificar esses modelos (pode ser complicado). No caso da teoria da relatividade tentei mostrar como era possível salvar os modelos rotativos do Gödel, explicando como se livrar dos paradoxos da causalidade, um famoso exemplo sendo uma rapariga que volta ao passado e mata a vovó. Minha palestra foi a continuação de um trabalho que eu fiz sobre a causalidade sponsorisado pela Philip Morris ("fumar causa o câncer"): "Modeling Causality" http://jyb-logic.org/CAUSALITY O evento não foi 100 % relativisto. Foram apresentados/comentados três manuscritos do Gödel sobre a mecânica quântica. O trabalho de decifragem dos manuscritos do Gödel esta sendo desenvolvido por uma equipe dirigida pelo Jan von Plato. O ano passado o von Plato tinha apresentado no congresso Wittgenstein em Kirchberg alguns manuscritos segundo os quais ele achava que o Gödel tinha descoberto/praticva a dedução natural antes de tudo mundo. Os manuscritos sobre a mecânica quãntica são de cunho filosofico. A interpretação do Gödel dos paradoxos da mecânica quântica é que todo é a mesma coisa, as diferenças são so nas aparencias. Foi incluido no evento também a palestra anual do circulo de Viena. Este ano foi a Juliet Floyd que apresentou uma palestra bem interessante e informativa sobra a interação entre Wittgenstein e Turing, mostando a influencia importante bilateral de um sobre o outro. O evento aconteceu no predio historico central da Universidade de Viena. Entre duas palestras aproveitei para visitar a casa do Freud que fica ali perto. Fui muito bem recebido, ele me diz que minha saude mental esta boa. JYB ------------------------------------------------------------------ Kurt Gödel’s Legacy: Does Future lie in the Past? July 25-27, 2019 --- University of Vienna, Austria https://kgs.logic.at/goedels-legacy/ -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCyQGY1FN309PTywvQqYuvzHP9_zdqhVo-fPPYb1qcMVw%40mail.gmail.com.
