What's the difference between
and
Enter two words to compare and contrast their definitions, origins, and synonyms to better understand how those words are related.

String vs Undecidable - What's the difference?

string | undecidable |

As a noun string

is a long, thin and flexible structure made from threads twisted together.

As a verb string

is to put (items) on a string.

As an adjective undecidable is

incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.

string

English

Noun

  • (countable) A long, thin and flexible structure made from threads twisted together.
  • * Prior
  • Round Ormond's knee thou tiest the mystic string .
  • (uncountable) Such a structure considered as a substance.
  • (countable) Any similar long, thin and flexible object.
  • a violin string
    a bowstring
  • A thread or cord on which a number of objects or parts are strung or arranged in close and orderly succession; hence, a line or series of things arranged on a thread, or as if so arranged.
  • a string''' of shells or beads; a '''string of sausages
  • * Gibbon
  • a string of islands
  • (countable) A cohesive substance taking the form of a string.
  • The string of spittle dangling from his chin was most unattractive
  • (countable) A series of items or events.
  • a string of successes
  • (countable, computing) An ordered sequence of text characters stored consecutively in memory and capable of being processed as a single entity.
  • (music, countable) A stringed instrument.
  • (music, usually in plural) The stringed instruments as a section of an orchestra, especially those played by a bow, or the persons playing those instruments.
  • (in the plural) The conditions and limitations in a contract collecively. (compare no strings attached)
  • no strings attached
  • (countable, physics) the main object of study in string theory, a branch of theoretical physics
  • (slang) cannabis or marijuana
  • A miniature game of billiards, where the order of the play is determined by testing who can get a ball closest to the bottom rail by shooting it onto the end rail.
  • The points made in a game of billiards.
  • A strip, as of leather, by which the covers of a book are held together.
  • (Milton)
  • A fibre, as of a plant; a little fibrous root.
  • * Francis Bacon
  • Duckweed putteth forth a little string into the water, from the bottom.
  • A nerve or tendon of an animal body.
  • * Bible, Mark vii. 35
  • The string of his tongue was loosed.
  • (shipbuilding) An inside range of ceiling planks, corresponding to the sheer strake on the outside and bolted to it.
  • (botany) The tough fibrous substance that unites the valves of the pericarp of leguminous plants.
  • the strings of beans
  • (mining) A small, filamentous ramification of a metallic vein.
  • (Ure)
  • (architecture) A stringcourse.
  • Synonyms

    * See also

    Derived terms

    * score string * second string

    Synonyms

    * (long, thin structure): cord, rope, line * (this structure as a substance): cord, rope, twine * (anything long and thin): * (cohesive substance in the form of a string): * (series of items or events): sequence, series * (sequence of characters in computing): * (stringed instruments): string section the strings, or the string section * (conditions): conditions, provisos

    Descendants

    * Portuguese:

    Verb

  • To put (items) on a string.
  • You can string these beads on to this cord to make a colorful necklace.
  • To put strings on (something).
  • It is difficult to string a tennis racket properly.

    Synonyms

    * (put on a string): thread * (put strings on): lace

    Derived terms

    * cosmic string * heartstrings * string along * string band * string quartet * string up * string vest * stringy

    undecidable

    English

    Adjective

    (-)
  • (mathematics, computing theory) Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.
  • *
  • The first-order procedure SP differs from the proposi-
    tional procedure CP°1 in an essential feature. Namely, CP°1
    always terminates while SP may run forever as we have seen with
    the example immediately after (3.7). This is not a specific
    defect of SP. Rather it is known that first-order logic is an
    undecidable' theory while propositional logic is a '''decidable'''
    theory. This means that for the latter there are '''decision pro-
    cedures''' which for any formula decide whether it is valid or
    not — and CP°1 in fact is such a decision procedure — while
    for the former such decision procedures do not exist in princi-
    ple. Thus SP, according to these results for which the reader
    is referred to any logic texts such as [End], [DrG] or [Lew],
    is of the kind which we may expect, it is a '''semi-decision'''
    '
    procedure
    which confirms if a formula is valid but may run
    forever for invalid formulas. Therefore, termination by running
    out of time or space after any finite number of steps will
    leave the question for the validity of a formula unsettled. [...]
  • (mathematics) (of a WFF'') logically independent from the axioms of a given theory; i.e., that it can ''never'' be either proved or disproved (i.e., have its negation proved) on the basis of the axioms of the given theory. (''Note: this latter definition is independent of any time bounds or computability issues, i.e., more Platonic.)
  • Antonyms

    * decidable