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
http://www.ime.usp.br/~mfinger
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, o
