[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [obm-l] Indecidibilidade

To: obm-l@xxxxxxxxxxxxxx
Subject: Re: [obm-l] Indecidibilidade
From: Artur Costa Steiner <artur_steiner@xxxxxxxxx>
Date: Thu, 4 Mar 2004 10:18:24 -0800 (PST)
In-Reply-To: <20040304123935.A18504@sucuri.mat.puc-rio.br>
Reply-To: obm-l@xxxxxxxxxxxxxx
Sender: owner-obm-l@xxxxxxxxxxxxxx

> 
> > 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
=========================================================================

References:
- [obm-l] Indecidibilidade
  - From: Nicolau C. Saldanha

Prev by Date: Re: [obm-l] Problema de L�gica
Next by Date: Re: [obm-l] Divisao de um Quadrilatero
Prev by thread: [obm-l] Indecidibilidade
Next by thread: [obm-l] distancia entre conjuntos - complementando
Index(es):
- Date
- Thread