Obrigada Joao Marcos pelo shout-out pro blog. e obrigada Bruno pela informacao extra sobre Paraty e o ano.
tem mais perguntas no twitter sobre LL e variacoes, se alguem tiver vontade de responder, vai ser otimo! (eu cai na besteira de fazer uma piada no twitter sobre a margem ser muito estreita pra minha prova de que par funciona; e agora estou mais do que enrolada tentando nao responder a outras perguntas subsequentes...) abracos logicos, Valeria 2018-05-07 12:26 GMT-07:00 Joao Marcos <[email protected]>: > 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 [email protected]. > Para postar neste grupo, envie um e-mail para [email protected]. > 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. > -- Valeria de Paiva http://vcvpaiva.github.io/ http://research.nuance.com/author/valeria-de-paiva/ http://www.cs.bham.ac.uk/~vdp/ -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/CAESt%3DXvEJ3Skw8SXL689%2BSm3WmiFcu%2BogvFhNvCo%3DGogJA4suw%40mail.gmail.com.
