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

ROPE

Remote Object Proxy Engine

in | |

Composant de l'offre SOAP de MIcrosoft. Voir "SOAP". 

Syndiquer le contenu

Dernières définitions

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

Un mot au hasard

.is : Iceland  

Alertes CERTA