Poster un commentaire à la suite de l’article...

mercredi 3 février 2010
par  Alain BUSSER

La thèse de Church-Turing

Church pensait qu’une fonction calculable est une fonction récursive.

Turing pensait qu’une fonction est calculable si une de ses machines est capable de la calculer.

Quand ils se sont rencontrés, ils ont remarqué qu’ils avaient tous les deux raison !

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.

Navigation