Tentando mais uma vez trazer a lista para temas que de fato estejam estritamente ligados a *Lógica*, gostaria de chamar a atenção para esta recente e interessante postagem da Valéria em seu blog:
(So, Per Martin-Löf asked young Valeria "ok, this is all very well, the categorical constructions are nice, I can see why you might want to consider a more intuitionisitic version of a multiplicative disjunction, but...what does it all mean? How do you tell a man in the street what you do?") https://logic-forall.blogspot.com.br/2018/05/surely-youre-joking-mr-martin-lof.html JM -- 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_Lg0pbrHN_7%2BNdfDP-rXKrL5RpfUuFUKKqYYFhwdewEk5w%40mail.gmail.com.