Riemann é Pi_1. Se verdadeiro é ou independente ou se prova em PA. (Se fosse Sigma_1, se verdadeiro seria demonstrável em PA.)
Sent from my iPhone > 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_Lj7aGSOFq6y2px4cHnpM6Qk6k0MYxJiPj6omLcespZ36w%40mail.gmail.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 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/05867491-3A2B-4B99-94FC-D3C1E90E3367%40gmail.com.
