Résultat de votre recherche pour : ludovic patey

Au début du vingtième siècle, un petit groupe de logiciens et mathématiciens comprend et formalise, plusieurs décennies avant l'apparition des premiers ordinateurs, le concept de calcul et de fonction calculable. Leurs travaux vont constituer une base théorique solide sur laquelle se fondera l'informatique et ses nombreuses ramifications.
[lire la quatrième du livre Calculabilité]