Olá pessoal, Venho acompanhando a thread "How do we construct the Gödel’s sentence in Martin-Löf type theory?" no MathOverflow
https://mathoverflow.net/q/272982/58734 que tem sido bem popular desde os últimos dias (e contado com a participação da Valéria e do Dana Scott). Penso que talvez a discussão seja de interesse para alguns dos colegas da lista. Abraços, Bruno -- Bruno Bentzen https://sites.google.com/site/bbentzena/ -- 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/c155c92b-0bce-4012-aa97-6b79c44e769d%40dimap.ufrn.br.