Chapitre 3. Les limites du calcul classique

UN VIEUX RÊVE DEVIENT RÉALITÉ En 1936, le mathématicien britannique Alan Turing et le logicien américain Alonzo Church proposèrent, indépendamment l’un de l’autre, et presque simultanément, la définition mathématique de ce que l’on entend aujourd’hui par fonction numérique calculable. Bien que différentes dans leurs formes, ces deux définitions s’avérèrent identiques dans leur signification, exprimant un concept fondamental qui était dans l’air du temps. La percée de Turing et de Church ouvri..