Computable

"computable" dans l'encyclopédie

• TURING MACHINE DE

  • Écrit par Bernard PIRE
  • 1 077 mots

  Dans l'article « On computable numbers, with an application to the Entscheidungsproblem », publié en 1936 dans les Proceedings of the Mathematical Society, Alan Mathison Turing (1912-1954) montre qu'il existe des nombres définissables qui ne sont pas calculables. Cela implique qu'il n'existe pas de solution au célèbre problème de la décision formulé par David Hilbert.

• MILNER ROBIN (1934-2010)

  • Écrit par Universalis
  • 3 302 mots

  Il y développe le système LCF (Logic for Computable Functions), l'un des premiers logiciels de preuve de programmes fondés sur des principes mathématiques rigoureux. De retour au Royaume-Uni en 1973, il intègre l'université d'Édimbourg, où il conçoit un nouveau langage de programmation, le ML (Meta Language), étendant les possibilités de LCF. Ce langage générique a été un élément fondateur d'une importante famille de langages de programmations.

• PREMIERS ORDINATEURS (repères chronologiques)

  • Écrit par Pierre MOUNIER-KUHN
  • 6 090 mots

  1936 Alan Mathison Turing, jeune mathématicien britannique, publie On Computable Numbers with an Application to the Entscheidungsproblem. Dans cet article sur la calculabilité et le problème de la décision, il imagine une « machine » conceptuelle destinée à prouver les limites de la calculabilité. Pendant la Seconde Guerre mondiale, Turing concevra des machines cryptographiques.

• TURING ALAN MATHISON (1912-1954)

  • Écrit par B. Jack COPELAND
  • 8 581 mots
  • 1 média

  En 1936, le mathématicien et logicien américain Alonzo Church (1903-1995), qui vient de publier un article arrivant aux mêmes conclusions que Turing, appuie la publication de l'article de ce dernier : « On Computable Numbers, with an Application to the Entscheidungsproblem » (traduit sous le titre « Théorie des nombres calculables, suivie d'une application au problème de la décision » dans l'ouvrage La Machine de Turing).

• TEXTE THÉORIE DU

  • Écrit par Roland BARTHES
  • 41 216 mots

  Une œuvre est un objet fini, computable, qui peut occuper un espace physique (prendre place par exemple sur les rayons d'une bibliothèque) ; le texte est un champ méthodologique ; on ne peut donc dénombrer (du moins régulièrement) des textes ; tout ce qu'on peut dire, c'est que, dans telle ou telle œuvre, il y a (ou il n'y a pas) du texte : « L'œuvre se tient dans la main, le texte dans le langage.