Le programme d'Hilbert qui se demande si on peut tout démontrer, les travaux de Gödel, bref tout le travail des mathématiciens sur la logique fin 19ème début 20ème, eux, vont avoir une influence sur les débuts de l'informatique. (les questions que peut on démontrer ? et que peut on calculer ? étant très proches pour ne pas dire équivalente).
[^] # Re: Euh vraiment ?
Posté par Diagonale de Cantor (site web personnel) . En réponse au journal Happy birthday lady Ada. Évalué à 6.
C'est stupide comme assertion !
Le programme d'Hilbert qui se demande si on peut tout démontrer, les travaux de Gödel, bref tout le travail des mathématiciens sur la logique fin 19ème début 20ème, eux, vont avoir une influence sur les débuts de l'informatique. (les questions que peut on démontrer ? et que peut on calculer ? étant très proches pour ne pas dire équivalente).
Par contre Ada…