Paradosso logico...

[FdV77]

Un gatto cattura un topo e sta per mangiarselo. Ma il topo gli chiede:
- Dammi una possibilità!
Il gatto risponde:
- Non ti mangerò se e solo se indovini quello che farò.
Il topo risponde:
- Mi mangerai!
Il gatto, che è un logico, libera il topo per evitare l'esaurimento nervoso.
Perché?

[motan]

Un gatto cattura un topo e sta per mangiarselo. Ma il topo gli chiede:
- Dammi una possibilità!
Il gatto risponde:
- Non ti mangerò se e solo se indovini quello che farò.
Il topo risponde:
- Mi mangerai!
Il gatto, che è un logico, libera il topo per evitare l'esaurimento nervoso.
Perché?

Perchè se il gatto mangia il topo, il topo ha indovinato.. quindi non potrebbe mangiarlo..
Perchè se il gatto non mangia il topo, il topo non indovina.. quindi il gatto dovrebbe mangiarlo.. ma se lo mangia il topo ritorna ad aver indovinato.. quindi dovrebbe nuovamente liberarlo..

[Tahoeman]

Un gatto cattura un topo e sta per mangiarselo. Ma il topo gli chiede:
- Dammi una possibilità!
Il gatto risponde:
- Non ti mangerò se e solo se indovini quello che farò.
Il topo risponde:
- Mi mangerai!
Il gatto, che è un logico, libera il topo per evitare l'esaurimento nervoso.
Perché?

E' entrato in dead lock. E' per evitare casi come questi che è stata inventata la fuzzy logic per programmare i robot industriali.