Aller au contenu
Chroniques
Menu

français

problème de l’arrêt

Problème de décision consistant à déterminer, à partir de la description d’un programme informatique et d’une entrée

Donnée du Wiktionnaire, non revue

Histoire

grec ancien βάλλω Romanisation savante du grec ancienbállō › προβάλλω Romanisation savante du grec ancienprobállō › πρόβλημα Romanisation savante du grec ancienpróblēma latin problema français problème › problème de l’arrêt 500 av. 500 1000 1500 2000
Périodes des langues : convention du site, sources sur la page Méthode.

Ascendance

Reconstituée depuis les relations enregistrées, sans reformuler le texte du Wiktionnaire

problème de l’arrêtfrançaishaltinganglais,problèmefrançais,arrêtfrançais,problemalatin,πρόϐλημαpróblēmagrec ancien,arrestancien français,πρόβλημαpróblēmagrec ancien,προβάλλωprobállōgrec ancien,πρόprógrec ancienDevant.,βάλλωbállōgrec ancienJeter, lancer.,

lien vérifiéconfirmé par deux sources indépendantesune seule source
L’ascendance en liste
  • halting (anglais) → problème de l’arrêt (français) : une seule source
  • arrêt « Action de s’arrêter ou état d’être arrêté. » (français) → problème de l’arrêt (français) : formé ; une seule source
  • problème « Question scientifique à résoudre. » (français) → problème de l’arrêt (français) : formé ; une seule source
  • arrest (ancien français) → arrêt (français) : hérité ; une seule source
  • πρόϐλημα próblēma (grec ancien) → problème (français) : emprunté ; une seule source
  • problema « Problème, question à résoudre. » (latin) → problème (français) : emprunté ; confirmé par deux sources indépendantes
  • πρόβλημα próblēma « Promontoire, ce qui s'avance en avant. » (grec ancien) → problema (latin) : une seule source
  • προβάλλω probállō « Jeter en avant ou devant. » (grec ancien) → πρόβλημα próblēma (grec ancien) : formé ; une seule source
  • βάλλω bállō « Jeter, lancer. » (grec ancien) → προβάλλω probállō (grec ancien) : formé ; une seule source
  • πρό pró « Devant. » (grec ancien) → προβάλλω probállō (grec ancien) : formé ; une seule source

Translittérations automatiques : Romanisation savante du grec ancien. Comment elles sont calculées

  • anglais halting — d’après le Wiktionnaire
  • français arrêt — d’après le Wiktionnaire
  • français problème — d’après le Wiktionnaire

Cognats

Mots d’autres langues issus du même étymon

  • arrecode de langue angevinArrêt.
  • arétécode de langue gcrArrêter.
  • aretecode de langue htArrêter.

Familles

Tous les mots qui descendent des mêmes étymons que problème de l’arrêt

Le Wiktionnaire

Texte de l’article du Wiktionnaire, cité tel quel

Locution composée de problème et de arrêt, cette dernière acception étant un calque sémantique de l’anglais halting, dans halting problem, expression employée par le mathématicien et cryptologue britannique Alan Mathison Turing dans son article fondateur relatif à la décidabilité des fonctions calculables, « On Computable Numbers, with an Application to the Entscheidungsproblem » (La machine de Turing, Éditions du Seuil, 1995).

Wiktionnaire, article « problème de l’arrêt » — CC BY-SA

Résumé

Composé à partir des relations enregistrées, sans reformuler le texte du Wiktionnaire

Composé de problème, « Question scientifique à résoudre », du latin problema, « Problème, question à résoudre », du grec ancien πρόβλημα, próblēma, « Promontoire, ce qui s'avance en avant ».

Descendance

Mots formés à partir de problème de l’arrêt

Aucun mot dérivé dans les données.

Sources

Chercher dans : TLFi · FEW · Académie française (nouvel onglet) (Source : www.dictionnaire-academie.fr)