HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Alan Turing : du calculable à l'indécidable

Résumé : Peut-on tout calculer ? Toute propriété mathématique est-elle décidable ? Ces questions ont passionné les mathématiciens bien avant les premiers ordinateurs. À l'âge de 24 ans, le britannique Alan Mathison Turing, mathématicien génial, entre autres, imagine un concept de machine théorique. Il établira une correspondance entre les notions de calculable et de programmable sur cette machine imaginaire, ainsi qu'avec celle de décidabilité.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00000547
Contributor : Jean-Gabriel Ganascia Connect in order to contact the contributor
Submitted on : Tuesday, November 1, 2005 - 6:52:09 PM
Last modification on : Friday, December 13, 2019 - 11:44:05 AM

Identifiers

  • HAL Id : inria-00000547, version 1

Citation

Jean-Gabriel Ganascia. Alan Turing : du calculable à l'indécidable. Interstices, INRIA, 2004. ⟨inria-00000547⟩

Share

Metrics

Record views

79