Logique informatique et paradoxes

La logique est un domaine paradoxal: alors que l'on prétend y déterminer les règles à respecter pour ne pas tomber dans des paradoxes, c'est là que l'on en rencontre le plus ! et ces paradoxes, qui font trembler les fondements des mathématiques, peuvent entraîner les calculs informatiques dans des maelströms infinis.Ce livre vous entraîne dans un parcours initiatique sur les chemins de l'indécidabilité, de l'aléatoire, de la déduction et de l'induction. les découvertes récentes défrichent un univers oú l'esprit tente de comprendre l'esprit, de le recréer et de s'en amuser.