Conversas Cruzadas

Abaixo transcrevo uma conversa que travei com um colega meu, ao qual chamarei de Buneco.

Nunca forneça sua senha ou o número do cartão de crédito em uma conversa de mensagem instantânea.

Buneco diz:
O chefe está?

Usermaatre diz:
Não, ainda não nos honrou com sua presença.

Buneco diz:
A que horas ele tem costumado chegar?

Usermaatre diz:
Não sei, ele não sói chegar em um horário fixo

Buneco diz:
ok

Usermaatre diz:
Digamos que ele tem um invervalo

Buneco diz:
OK

Usermaatre diz:
[12:00; 19:00]

Buneco diz:
ah tá bem... é claro...

Usermaatre diz:
Isso considerando um intervalo fechado...

Buneco diz:
Ou será (12:00;19:00) é aberto, semiaberto à esquerda ou semiaberto à direita ??

Usermaatre diz:
Poderia ser também (12:00; 19:00]

Usermaatre diz:
Pois é...

Usermaatre diz:
Talvez fosse prudente escrever "ele chega às X horas, tal que X >= 12:00"

Usermaatre diz:
Mas o Cel. Vespúcio já esteve aqui à sua procura

Buneco diz:
Talvez melhor ainda : x, tal que x € R e x>= 12:00

Usermaatre diz:
Ah, isso fica subentendido na medida em que foi escrito "X horas". Ora, X então é um hora e pode ser representado por um número real, ainda que formatado em horas:minutos

Buneco diz:
Não, mas FORMALMENTE falando, não tem esta de subentender...

Usermaatre diz:
Ora, é uma dedução lógica, puro modus ponens!

Buneco diz:
Não tão lógica assim. Afinal, podemos dizer x, tal que x € Q ao invés de R

Usermaatre diz:
Nah, essa é uma limitação desnecessária. O tempo pode ser irracional.

Buneco diz:
O tempo sim, mas as horas e os minutos (ou horas fracionárias), não .

Usermaatre diz:
Além do mais, o símbolo de euro não é reconhecido como operador matemático entre objeto e conjunto; logo, a tua formalização acima não é uma wff (well formed formula)

Buneco diz:
Sim, mas está subentendido que tu irias entender o que eu quero dizer...

Usermaatre diz:
Nah, não tem essa de subentender.

Buneco diz:
Como não ?????

Usermaatre diz:
Ah, então uma hora pode, e outra não pode? Isso é paradoxal, meu abádico amigo.

Buneco diz:
Sim, mas se crermos em DEUS então poderemos conviver com os paradoxos

Usermaatre diz:
É, esse é mais um mistério da fé.

Buneco diz:
Pois é... agora tu falou tudo. Viste só como tem vantagem em crer ??

Usermaatre diz:
Pois é. Mas tirar vantagem é pecado. Logo, para não pecar, não creio.

Buneco diz:
Sim, mas aí temos outro paradoxo: aqueles que não creem queimarão no fogo do inferno. Ser descrente é pecado...

Usermaatre diz:
Nah. Se não creio, não tem céu nem inferno. Então posso pecar à vontade!

Buneco diz:
Aha, falácia !!! O fato de não crer não quer dizer que não exista !

Usermaatre diz:
O que importa é aquilo que sinto no meu coração, minha consciência.

Buneco diz:
Ah, mas eu não vejo o teu coração, então ele não existe.

Usermaatre diz:
Claro que existe! Eu estou vivo, então é facilmente dedutível!

Buneco diz:
Sim, mas tu podes ser uma máquina, um E.T. ou pior...

Usermaatre diz:
Não... sou uma criatura de Deus, não mais que as árvores, nem menos que as estrelas.

Buneco diz:
Bah meu, gostei dessa...

Usermaatre diz:
Boa, né?

Buneco diz:
Bah cara adorei, e isso prova a existência de Deus