Logique, informatique et paradoxes
JP DELAHAYE
Présentation
La logique est un domaine paradoxal : alors que lon prétend y déterminer les règles à respecter pour ne pas tomber dans des paradoxes, cest là que lon 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 lindécidabilité, de laléatoire, de la déduction et de linduction. Les découvertes récentes défrichent un univers où lesprit tente de comprendre lesprit, de le recréer et de sen amuser.