Faut quand même voir à rappeler que les mathématiques sont peut-être absurdes également (c'est semi-décidable, ie.on ne peut pas prouver qu'elles ne le sont pas, mais on trouvera peut-être un jour un exemple de contradiction, même si on croit très fort que ça n'arrivera jamais).
Bon, d'accord, pour Dieu, l'absurdité est totalement décidable (et la réponse nettement positive) mais c'est juste pour souligner que la logique ne fait pas tout.
[^] # Re: coupable
Posté par MrLapinot (site web personnel) . En réponse au journal Hans Reiser déclaré coupable. Évalué à 3.
Bon, d'accord, pour Dieu, l'absurdité est totalement décidable (et la réponse nettement positive) mais c'est juste pour souligner que la logique ne fait pas tout.