Random word

Unsolvability is an English word with synonyms like property or solubility. Below you'll find 6 example sentences showing how it's used in practice.

Rare word

Unsolvability in a sentence

Unsolvability meaning

The property of being unsolvable.

Synonyms of Unsolvability

insolubility property solubility solvability

Related words

Other words often associated with Unsolvability or its synonyms:

quality construct dimension holding conception place possession belongings prop concept attribute

Using Unsolvability

  • The main meaning on this page is: The property of being unsolvable.
  • Useful related words include: insolubility, property, solubility, solvability.
  • In the example corpus, unsolvability often appears in combinations such as: unsolvability of.

Context around Unsolvability

  • Average sentence length in these examples: 22 words
  • Position in the sentence: 3 start, 2 middle, 1 end
  • Sentence types: 6 statements, 0 questions, 0 exclamations

Often before:

reports 1× algorithmic 1× prove 1×

Often after:

obtained 1×

Sentence patterns with Unsolvability

These short patterns come directly from the example sentences and show how the word is often embedded:

of its unsolvability several other 1× of the unsolvability of the 1× results about unsolvability obtained independently 1× that reports unsolvability or computes 1× the algorithmic unsolvability of the 1× to prove unsolvability 1×

Sentence openings and endings

Common sentence openings:

as a result 1× for example the 1× for first order 1× the algorithmic unsolvability 1× the first results 1× the main idea 1×

Common sentence endings:

1970 davis 1973 1× a diagonal argument 1× is algorithmically unsolvable 1× most general unifier 1× to prove unsolvability 1× unsolvable as well 1×

Words around Unsolvability

Just before it in the word index:

unsolicited 157 unsold 112 unsocial 7 unsociable 7 unsmoked 2 unsmiling 5

Just after it in the word index:

unsolvable 29 unsolved 233 unsom 5 unsophisticated 38 unsorted 15 unsound 54

Similar in corpus frequency:

aaaaa 8 aage 8 aardvarks 8 abaca 8 abaji 8 abascal 8

Corpus analysis for Unsolvability

  • In this selection, "unsolvability" usually appears near the start of the sentence. The average example has 22 words, and this corpus slice is mostly made up of statements.
  • Around the word, reports, algorithmic, prove and obtained stand out and add context to how "unsolvability" is used.
  • Recognizable usage signals include of its unsolvability several other and of the unsolvability of the. That gives this page its own corpus information beyond isolated example sentences.
  • By corpus frequency, "unsolvability" sits close to words such as aaaaa, aage and aardvarks, which helps place it inside the broader word index.

Example types with unsolvability

The same corpus examples are grouped by length and sentence type, making it easier to see the contexts in which the word appears:

Short example sentences

The algorithmic unsolvability of the problem was proved by Yuri Matiyasevich in 1970 (Davis 1973). (15 words)

For example, the conventional proof of the unsolvability of the halting problem is essentially a diagonal argument. (17 words)

The first results about unsolvability, obtained independently by Church and Turing in 1936, showed that the Entscheidungsproblem is algorithmically unsolvable. (20 words)

Longer example sentences

For first-order syntactical unification, Martelli and Montanari citation gave an algorithm that reports unsolvability or computes a complete and minimal singleton substitution set containing the so-called most general unifier. (31 words)

The 'main idea' might have either been his analysis of computation or his realization that there was a universal machine, and so a diagonal argument to prove unsolvability. (28 words)

As a result of its unsolvability, several other problems in combinatorial group theory have been shown to be unsolvable as well. (21 words)

Example sentences (6)

As a result of its unsolvability, several other problems in combinatorial group theory have been shown to be unsolvable as well.

For example, the conventional proof of the unsolvability of the halting problem is essentially a diagonal argument.

For first-order syntactical unification, Martelli and Montanari citation gave an algorithm that reports unsolvability or computes a complete and minimal singleton substitution set containing the so-called most general unifier.

The algorithmic unsolvability of the problem was proved by Yuri Matiyasevich in 1970 (Davis 1973).

The first results about unsolvability, obtained independently by Church and Turing in 1936, showed that the Entscheidungsproblem is algorithmically unsolvable.

The 'main idea' might have either been his analysis of computation or his realization that there was a universal machine, and so a diagonal argument to prove unsolvability.

Common combinations with unsolvability

These word pairs occur most frequently in English texts:

  • unsolvability of 2×

Frequently asked questions

How do you use "unsolvability" in a sentence?
An example: "As a result of its unsolvability, several other problems in combinatorial group theory have been shown to be unsolvable as well." This page contains 6 example sentences with the word "unsolvability" from authentic English texts.
What does "unsolvability" mean?
Unsolvability means: The property of being unsolvable.
What are synonyms of "unsolvability"?
Common synonyms of "unsolvability" include: insolubility, property, solubility, solvability.
How many example sentences with "unsolvability" are there?
Voorbeeldzinnen.info contains 6 example sentences with "unsolvability", drawn from a database of millions of English sentences.