Alan Turing : du calculable à l'indécidable - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Interstices Year : 2004

Alan Turing : du calculable à l'indécidable

Jean-Gabriel Ganascia
  • Function : Author

Abstract

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é.
No file

Dates and versions

inria-00000547 , version 1 (01-11-2005)

Identifiers

  • HAL Id : inria-00000547 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More