quinta-feira, dezembro 14, 2006

Teorema do gato

Após uns posts muito pesados, muito filo, vêm aqui uma coisa mais ligeira!

Já esgotei as anedotas matemáticas todas, mas encontrei algo aínda mais fixe... Teoremas! :)

Vem aqui o primeiro:

Teorema -> Um gato tem nove rabos.
Prova ->
Nenhum gato tem oito rabos.
Um gato tem mais um rabo do que nenhum gato.
Como nenhum gato tem oito rabos vem que um gato tem nove rabos.

qed

3 Bitaites:

nando mandou o bitaite...

A demonstração está mal feita. Primeiro tens de provar que nenhum gato tem oito rabos.

Tóchã mandou o bitaite...

sinto-me capaz de provar isso

marisa cruz mandou o bitaite...

concordo com o nando. A demonstração parte de um pressuposto. Mas o tóchã diz que se sente capaz de provar isso, portanto o teorema seria verdadeiro [@tocha: não desfazendo das tuas capacidades, desconfio muito que consigas provar esse facto. Terias que examinar todos os gatos da terra. Mais, como o domínio do problema não é definido, terias de examinar todos os gatos eventualmente existentes no universo, o que não me parece tarefa simples]
Parentese à parte, suponhamos então que a premissa é válida, o que é perfeitamente aceitável a nível empírico. O teorema estaria correcto? Não. A razão prende-se com a utilização do termo "nenhum", com dois significados diferentes: como quantificador numa premissa e como elemento do conjunto na outra.