A quem se interessar pelo tema, o artigo "Informal proof, formal proof, formalism" de Alan Weir pode ser de interesse.
http://dx.doi.org/10.1017/S1755020315000234 Abraços, Bruno. 2016-08-11 11:06 GMT-03:00 Joao Marcos <[email protected]>: > Corrigindo: > > > Andrzej Bauer > > deveria ser "Andrej Bauer". Sorry. > > 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_LiEWSxYhz5_ > 9LVYamX48W6X7d_2BaSkjPxHx5pP%3DzkCiQ%40mail.gmail.com. > -- Bruno Lopes http://www.ic.uff.br/~bruno -- 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/CAFfvUVjHpt6gkbdV9SVn2gSjS1_hoZ%2BefosVuyvZBvZZLL4YOg%40mail.gmail.com.
