La place de l'informatique dans la classification des sciences

http://binaire.blog.lemonde.fr/2014/02/05/la-place-de-linformatique-dans-la-classification-des-sciences/

Quand la science dit c'est impossible

Les jeunes étudiants en informatique n'aiment pas les théorèmes d'impossibilité.
Pourtant je suis dans l'air du temps : je veux améliorer la productivité des entreprises françaises. Perdre son temps pour faire l'impossible n'est pas la meilleure façon de "lutter contre la mondialisation". Je sais, je sais, impossible n'est pas français !

Et j'ai même rencontré des collègues qui m'ont dit que je leur sapais le moral aux étudiants en enseignant de telles choses. Pourtant les informaticiens ne se gênent pas dans leur boulot pour faire croire que des traitements ne peuvent être faits par ordinateurs quand ils ne savent les faire. On a même vu des arguments foireux émis à l'Assemblée Nationale pour faire passer des lois.

Dans ce livre on retrouve G. Dowek

Un beau livre, chez Le Pommier

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

Gilles Dowek, Les métamorphoses du calcul

A lire avant sa conférence sur ce sujet ce mois-ci à Nantes.

Conférence de Gilles Dowek

le LINA accueillera le professeur Gilles Dowek
(Ecole Polytechnique, LIX) le jeudi
19 avril pour un séminaire intitulé :

Quelle logique pour les démonstrations
mathématiques calculatoires ?

Comme les séminaires LINA précédents,
celui-ci aura lieu à 14h, salle 3 du bâtiment
LINA fac de science.

Résumé :

On utilise de plus en plus souvent
des calculs (et des ordinateurs)
pour démontrer des théorèmes comme
"La cinq centième décimale de
pi est un 2", "le nombre 2^2976221-1
est premier", "le pont P supporte
une charge m", "toute carte est
coloriable avec quatre couleurs", "le
réseau cubique face centré est une
manière optimale d'empiler des
oranges", ... La logique "axiomatique"
traditionnelle n'est pas
adaptée pour exprimer de telles
démonstrations et il devient
nécessaire de la faire évoluer
pour donner, ou re-donner, une place
au calcul dans les démonstration
logiques. Cette idée est présente,
au moins implicitement, depuis
le début des années 70, dans
plusieurs travaux de logique et
d'informatique, qui ne sont pas
toujours reliés les uns aux autres.
Ce retour du calcul permet aussi
de résoudre des problèmes internes
à la logique et nous montre
qu'il est peut-être possible de se
passer d'une notion qui empoisonne
les mathématiques depuis deux
millénaires : la notion d'axiome.

Le dernier livre de Gilles Dowek :
Les Métamorphoses du calcul : 
Une étonnante histoire des mathématiques 
Le pommier
ISBN-10: 2746503247