Re: [obm-l] Indecidibilidade

[Artur Costa Steiner <artur_steiner@xxxxxxxxx>]

> 
> > Teorema X: O teorema X não pode ser demonstrado. 
> > Questão: Demonstre o teorema X.

Isto me parece mais ligado a um processo recursivo
inconsistente, como aquele paradoxo do barbeiro de
Sevilha:
O barbeiro de Sevilha barbeia todos os homens de
Sevilha que naum barbeiam a si mesmos. Quem barbeia o
barbeiro?

Artur

__________________________________
Do you Yahoo!?
Yahoo! Search - Find what you’re looking for faster
http://search.yahoo.com
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================