Fiche du document
6 juillet 2018
- doi: 10.4000/books.pum.14189
- isbn: 9782760618015
- eisbn: 9791036513572
https://www.openedition.org/12554 , info:eu-repo/semantics/openAccess
Mots-clés
mathématiques systèmes flous logique floue intelligence artificielle informatique douce History & Philosophy Of Science LAN025000 GLSujets proches
mathématiquesCiter ce document
Arturo Sangalli, « Chapitre 3. Les limites du calcul classique », Presses de l’Université de Montréal, ID : 10.4000/books.pum.14189
Métriques
Partage / Export
Résumé
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...