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 <>
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

115