Calcul et raisonnement

Conférence aujourd'hui au LINA de Gilles Dowek (Ecole Polytechnique). Elle s'est terminée sur "Si la thèse de Church est vraie, on a une explication du pourquoi le grand livre de la nature est écrit en langage mathématique."

Deux autres (voir notre précédent message sur Dowek) livres, celui de Dowek et Lévy Introduction à la théorie des langages de programmation dont l'image de couverture est un extrait de partition de Ligeti (je ne sais comment elle se lit !) est de 2006 aux Editions de l'école polytechnique, ISBN :2-7302-1333-3, celui sur la logique est de 1995, ISBN : 2-08-03514-0