String vs Undecidable - What's the difference?
string | undecidable |
(countable) A long, thin and flexible structure made from threads twisted together.
* Prior
(uncountable) Such a structure considered as a substance.
(countable) Any similar long, thin and flexible object.
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.
* Gibbon
(countable) A cohesive substance taking the form of a string.
(countable) A series of items or events.
(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)
(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.
A fibre, as of a plant; a little fibrous root.
* Francis Bacon
A nerve or tendon of an animal body.
* Bible, Mark vii. 35
(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.
(mining) A small, filamentous ramification of a metallic vein.
(architecture) A stringcourse.
To put (items) on a string.
To put strings on (something).
(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.
*
(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.)
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
- Round Ormond's knee thou tiest the mystic string .
- a violin string
- a bowstring
- a string''' of shells or beads; a '''string of sausages
- a string of islands
- The string of spittle dangling from his chin was most unattractive
- a string of successes
- no strings attached
- (Milton)
- Duckweed putteth forth a little string into the water, from the bottom.
- The string of his tongue was loosed.
- the strings of beans
- (Ure)
Synonyms
* See alsoDerived terms
* score string * second stringSynonyms
* (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, provisosDescendants
* Portuguese:Verb
- You can string these beads on to this cord to make a colorful necklace.
- It is difficult to string a tennis racket properly.
Synonyms
* (put on a string): thread * (put strings on): laceDerived terms
* cosmic string * heartstrings * string along * string band * string quartet * string up * string vest * stringyExternal links
* (wikipedia "string") * ----undecidable
English
Adjective
(-)- 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. [...]