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