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

Le mot du jour

INT14

INTerrupt 14

in | |

Interruption 14 (hexadécimal) du DOS PC, permettant le traitement des communications série en gérant des buffers circulaires d'émission/réception. Voir "NASI". 

Syndiquer le contenu

Dernières définitions

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

Un mot au hasard

.it : Italy  

Alertes CERTA