Logique informatique et paradoxes (Bibliothèque scientifique) (French Edition)

La logique est un domaine paradoxal: alors que l'on prtend y dterminer les rgles 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 mathmatiques, peuvent entraner les calculs informatiques dans des maelstrms infinis. Ce livre vous entrane dans un parcours initiatique sur les chemins de l'indcidabilit, de l'alatoire, de la dduction et de l'induction. Les dcouvertes rcentes dfrichent un univers o l'esprit tente de comprendre l'esprit, de le recrer et de s'en amuser.