Re: [Logica-l] (for fun only) Per Martin Löf: How did 'judgement' come to be a term of logic ?

2021-04-26 Por tôpico Joao Marcos
Creio que o link deveria ter sido este? https://youtu.be/FGUzgcLXNuk JM On Mon, Apr 26, 2021 at 6:21 PM Valeria de Paiva wrote: > > https://www.youtube.com/watch?v=04OCEG0Md7g > > de 2011, mas recententemente no YouTube > abs > Valeria > > -- > Valeria de Paiva > http://vcvpaiva.github.io/ > ht

[Logica-l] (for fun only) Per Martin Löf: How did 'judgement' come to be a term of logic ?

2021-04-26 Por tôpico Valeria de Paiva
https://www.youtube.com/watch?v=04OCEG0Md7g de 2011, mas recententemente no YouTube abs Valeria -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Goo