Re: [Logica-l] How do we construct the Gödel’s sentence in Martin-Löf type theory?

Olá a todos, Obrigado pelos excelentes comentários, também acho o assunto fascinante. 1) Agradeço em particular ao Rodrigo por me apontar o equívoco. É possível demonstrar sim construtivamente que sentença de Gödel é verdadeira, e não apenas que ela não pode ser falsa. Se vale a informação,

Re: [Logica-l] Texto na área do Direito com termos lógicos

2017-06-23 18:18 GMT-03:00 Joao Marcos : > (ali descobri que a sigla IME pode ter um significado bem diferente do > que eu imaginava) Eu considero esta nova acepção um elogio! []s -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo