GEB

GEB

En d'autres termes

Gödel, Escher, Bach

Définition

Ouvrage de référence de Douglas Hofstadter, sur la logique formelle, construit autour de l'autoréférence pour amener au théorème d'incertitude de Gödel, riche en exemples pris dans l'univers de l'IA. La construction formelle du livre, analogue à une fugue de Bach, en fait un chef d'oeuvre de la littérature informatique, et de la littérature scientifique de vulgarisation en général.

Noter que la version française est plus complète que l'original US, l'auteur - francophone - l'ayant entièrement remanié pour l'édition française.

Get started with Drupal 7

Marques les plus citées

toutes les marques

acheter sur OSInet

Accès direct

Recherche

Blog développeurs

Le mot du jour

SKIP

Secure Key Interchange Protocol

in | |

 

Syndiquer le contenu

Dernières définitions

Chrome - Chromium - digitaalisen kuilun - ghetto sharding - HTTP - MongoDB - PNaCl - QUIC - Skia - SPDY

Un mot au hasard

ABET : Advisory Board for Engineering and Technology  

Alertes CERTA