2017-06-05 14:39 GMT+02:00 Famadoria <famado...@gmail.com>: > Desculpem-me, digitei com sono... Se independente de PA então é verdade.
Com efeito, isto é essencialmente o mesmo que foi explicado pelo Du Sautoy no minuto e meio final para o qual chamei a atenção na minha primeira mensagem. > Riemann é Pi_1. Sim, é interessante notar que a observação se generaliza naturalmente para outras asserções da mesma classe! JM >> On 4 Jun 2017, at 16:47, Joao Marcos <botoc...@gmail.com> wrote: >> >> Gödel's Incompleteness Theorem - Numberphile >> https://youtu.be/O4ndIDcDSGc >> Marcus du Sautoy >> Simonyi Professor for the Public Understanding of Science >> Oxford >> (o assunto é certamente bem conhecido de todos aqui, mas a parte sobre >> a hipótese de Riemann ---um possível exemplo de incompletude >> aparentemente sugerido pelo próprio Gödel---, faltando um minuto e >> meio pro fim, pode surpreender alguns dos colegas) >> >> Os "extras" que não entraram no video acima vão um pouco além do >> trivial, e podem ter mais interesse para os membros desta lista: >> https://youtu.be/mccoBBf0VDM >> (mesmo com o alemão mal dito lá pelas tantas...) >> E sobre os abusos da incompletude, na sua relação com teologia (!): >> https://youtu.be/7DtzChPqUAw >> >> Por fim, sobre o último video acima, bem curtinho, vale notar que du >> Sautoy lançou no ano passado o livro "What We Cannot Know". (Se >> alguém já o tiver lido, eu gostaria de ler comentários a respeito.) >> >> >> Joao Marcos -- 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/CAO6j_Li3RFi1BkgLyJZxPT0uAQK12kakAtxuE%2BjZ2rNbW_66_g%40mail.gmail.com.
