"Os Teoremas de Gödel e o problema da Parada de Turing"

---------- Forwarded message ----------
From: Walter Carnielli
Date: 2009/6/23
Subject: [seminarios-CLE] Seminário: "Os Teoremas de Gödel e o problema da Parada de Turing"
To: Seminarios-CLE@yahoogroups.com


Prezados amigos,

no dia  3 de julho, sexta-feira,  14-15h, na sala 85 do Instituto de
Computação da  UNICAMP, farei um seminário  na  "Série de Seminários
em Computação" com tema:

"Os Teoremas de Gödel e o problema da Parada  de Turing"


Detalhes  na página do IME, no endereço:
http://www.ic.unicamp.br/~eliane/Seminarios.html
Apesar da greve, resolvi manter o programa que já estava marcado há
alguns meses.


Todos  estão convidados.

Abraços,

Walter

--

+++++++++++++++++++++++++++++++++++++++++++++++++
Walter Carnielli
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3788-6519
Fax: (+55) (19) 3289-3269
Website: http://www.cle.unicamp.br/prof/carnielli