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

Re: [obm-l] Paradoxo do teste surpresa





Neste sentido acho bem razo�vel dizer que se o professor aplicar o teste
na 6a feira ele cumpriu sua promessa de aplicar o teste, mas n�o cumpriu
a promessa de que o teste seria surpresa. Claro que o professor pode ter
dado outra interpretac�o para a palavra "surpresa"...
 
 
  Novamente ent�o toda a discuss�o se volta, como o ilustre professor Nicolau havia colocado desde a primeira
mensagem, para a SEM�NTICA da palavra "supresa" que n�o pode
ser definida com precis�o.    Sempre achei interessante o assunto de representar a sem�ntica de
algo de forma n�o equivocada.  Certamente com linguagens naturais como o portugu�s n�o � poss�vel fazer isso.
   Por exemplo, considere a frase:  Eu vi o rob� idiota na montanha com o telesc�pio.
    Note que h� 4 ( !! ) ambiguidades: 
   1) O robo poderia estar usando um telesc�pio e eu poderia estar na montanha.
   2) O robo poderia estar na montanha com o telesc�pio e eu poderia estar olhando para a paisagem
   3) Eu poderia estar olhando com um telesc�pio o robo que estava na montanha
   4) Eu poderia estar na montanha com um telesc�pio olhando o rob�.
   
 
  Cabe lembrar que o assunto "representa��o do conhecimento" � uma
das �reas de pesquisa da intelig�ncia artificial.
 
    A maioria do pessoal aqui da lista lembra da tentativa de David Hilbert
de transformar a matem�tica em um "engenho mec�nico" onde se colocava os axiomas de um lado
e todo um conjunto de teoremas era gerado de outro.  Tamb�m lembramos a cr�tica de Poincar� a essa abordagem dizendo
que um matem�tico que a aplicasse as regras formais sem entender seu significado
poderia at� deduzir bons teoremas, mas a ess�ncia deles sempre lhe
escaparia. 
 
  Quem quiser ler mais sobre esses assuntos recomendo o artigo da
Scientific American do m�s de dezembro do
ano passado:  "A vanguarda matem�tica e os limites da raz�o".
 
     Um paradoxo interessante apresentado neste artigo, j� que estamos discutindo paradoxos, � o paradoxo de Russel:
 
   Seja X o conjunto de todos os subconjuntos de X que n�o cont�m X. 
   Pergunta:   X est� contido em si mesmo?
 
[]s a todos.
 
Ronaldo
 
 
 
 

[]s, N.
=========================================================================
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
=========================================================================



--
Ronaldo Luiz Alonso
--------------------------------------
Computer Engeener
LSI-TEC/USP - Brazil.