Décidable

Définitions de « décidable »

Étymologie de « décidable »

Phonétique du mot « décidable »

Évolution historique de l’usage du mot « décidable »

Source : Google Books Ngram Viewer, application linguistique permettant d’observer l’évolution au fil du temps du nombre d'occurrences d’un ou de plusieurs mots dans les textes publiés.

Citations contenant le mot « décidable »

• Le théorème d'incomplétude de Gödel (photo) démontre que la plupart des systèmes formels peuvent formuler des énoncés corrects qui ne sont ni démontrables ni infirma-bles dans le système : des énoncés "indécidables". Science-et-vie.com, L'I.A. se prend le mur de Gödel - Science & Vie

• Dans notre domaine, nous considérons ce type de problème comme «décidable». Toutefois, nombre de problèmes en science informatique ne sont pas décidables, ce qui signifie qu’il n’existe dans le monde aucun programme informatique, ni aujourd’hui ni même dans le futur, capable de calculer toujours une réponse correcte (quel que soit le temps investi). Cela produit soit des réponses erronées, soit une exécution sans fin du programme – ce qui se traduit par un «plantage» du système. Le Temps, «Cette phrase est fausse» - Le Temps

• Une fois que vous avez reçu la refonte, vous remarquerez que la barre de recherche toujours accessible en haut a été supprimée, laissant la place à un simple en-tête “Google Photos” qui perd également le menu hamburger. Cette barre supérieure est suivie par la section Souvenirs familière et vos images les plus récentes ci-dessous. Avec le menu hamburger et la barre de recherche disparus, la barre inférieure a vu un réarrangement. Il a augmenté son nombre d’éléments de quatre à cinq, à savoir Photos, Recherche, Pour vous, Partage et Bibliothèque. Cela signifie que vous devez vous diriger vers un autre onglet pour rechercher vos images, ce qui est une accentuation décidable de la fonctionnalité. Breakingnews.fr, La refonte de Google Photos masque la recherche dans l'onglet inférieur et supprime le menu hamburger (mise à jour: plus de captures d'écran)

• A noter qu’un problème “décidable”, c’est à dire qui requiert d’explorer un espace fini d’options, n’est pas forcément faisable d’un point de vue pratique. Même s’il peut être résolu en un temps fini, sa résolution peut prendre un temps trop long. Un problème exponentiel a une solution élégante si on peut en trouver une qui ait une durée polynomiale voir, dans le meilleur des cas, linéaire. Les temps polynomiaux scalent mieux que les temps exponentiels ! FrenchWeb.fr, Comprendre l’informatique quantique – complexité - FrenchWeb.fr

• Tant que l’on dit « taxe sur le carbone», on sait qu’on peut accorder ainsi: «des taxes sur le carbone», et s’il existe plusieurs carbones: «des taxes sur les carbones». Quant à savoir si l’on doit écrire «des taxe carbone» ou «des taxes carbones», c’est indécidable, puisque la tournure n’est pas correcte. Alors, l’accord, on s’en tape. Bibliobs, Faut-il écrire "jeux vidéo" ou "jeux vidéos" ?

Traductions du mot « décidable »

Synonymes de « décidable »

• résoluble