Re: [obm-l] linguagem logica formal X linguagem coloquial

2003-05-31 Por tôpico Nicolau C. Saldanha
On Fri, May 30, 2003 at 01:00:09AM -0300, Carlos César de Araújo wrote: ... e terá que ser assim se se quiser realizar o sonho de Turing algum dia -- a criação de uma máquina digital inteligente. É um pouco off topic, mas não resisto. Existe uma competição de verdade para ver quem faz o

[obm-l] linguagem logica formal X linguagem coloquial

2003-05-30 Por tôpico Artur Costa Steiner
Achei o seguinte dialogo, idealizado entre dois amigos, um excelente exemplo da diferenca entre a linguagem logica formal e a linguagem que usamos no dia a dia. Sob este ultimo ponto de vista, a resposta dada aa pergunta feita nao faz qualquer sentido, mas sob a logica formal eh perfeitamente

Re: [obm-l] linguagem logica formal X linguagem coloquial

2003-05-30 Por tôpico Carlos César de Araújo
] linguagem logica formal X linguagem coloquial Achei o seguinte dialogo, idealizado entre dois amigos, um excelente exemplo da diferenca entre a linguagem logica formal e a linguagem que usamos no dia a dia. Sob este ultimo ponto de vista, a resposta dada aa pergunta feita nao faz qualquer sentido