Rice's theorem
barriotic
free
infecundable
raw
indeducible
unmentionability
dogmatic
dogmatical
consistency
Paris-Harrington theorem
nonclassifiable
Kochen-Specker theorem
unclockable
unquenching
abstract class
value restriction
nonsensicalness
nonprogrammable
noninitialized
beyond dispute
uncomputability
nonsuffixed
uninterpretability
undecidable
unutterability
universal grinder
imperative
imperceivable
pseudoalgorithm
nonshrinkable
nonspecification
nondestroyable
inobscurable
nonprocessable
irretractable
physically unclonable function
irrealizable
mathematical semantics
unendurability
unequivocal
contramodule
nondescribable
nonconformism
nonfactorizable
quenchlessness
unassailable
noncopyrightable
uninstructible
unclassable
U
unforeseeableness
enigmatically
unsmotherable
insensible
uncountableness
trait
nonendorsable
divisionless
nonprogram
decipherable
overcloud
bedim
uncharacterizable
obscure
noncategorized
const correctness
inexplainably
noncontested
indifference
universal sorter
nonmeltable
nonpretentious
uncognoscible
nonpermeability
recursion theory
nonprincipled
computronium
misconstruction
pseudoclass
noninducibility
semon
unintelligibleness
unresolvability
projectability
uncount noun
unparser
untreatableness
thought-bearing
irresectability
inoppugnable
noncount noun
uncodified
many-sorted logic
undefinably
unconformable
scrutable
programmability
unculturability
barriotic
free
infecundable
raw
indeducible
dogmatic
dogmatical
nonclassifiable
unclockable
unquenching
nonprogrammable
noninitialized
nonsuffixed
undecidable
imperative
imperceivable
nonshrinkable
nonspecification
nondestroyable
inobscurable
nonprocessable
irretractable
irrealizable
unequivocal
nondescribable
nonfactorizable
unassailable
noncopyrightable
uninstructible
unclassable
U
unsmotherable
insensible
nonendorsable
divisionless
nonprogram
decipherable
uncharacterizable
noncategorized
noncontested
nonmeltable
nonpretentious
uncognoscible
nonprincipled
thought-bearing
inoppugnable
uncodified
unconformable
scrutable
enigmatically
inexplainably
undefinably
unmentionability
consistency
abstract class
value restriction
nonsensicalness
uncomputability
uninterpretability
unutterability
universal grinder
pseudoalgorithm
physically unclonable function
mathematical semantics
unendurability
contramodule
nonconformism
quenchlessness
unforeseeableness
uncountableness
trait
const correctness
indifference
universal sorter
nonpermeability
recursion theory
computronium
misconstruction
pseudoclass
noninducibility
semon
unintelligibleness
unresolvability
projectability
uncount noun
unparser
untreatableness
irresectability
noncount noun
many-sorted logic
programmability
unculturability
overcloud
bedim
obscure
English words for 'A theorem stating that all nontrivial semantic properties of programs are undecidable.'
As you may have noticed, above you will find words for "A theorem stating that all nontrivial semantic properties of programs are undecidable.". Hover the mouse over the word you'd like to know more about to view its definition. Click 
to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.
Recent Queries
DR
pleasant chat
lightness
aerobic respiration
green vegetable
many books
loyalty card
solid printing
missing part
to attempt to do something
to drive (a car)
to come upon.
very big
dealings
clear and bright
to bury the hatchet
first offender
yonder
to take a taxi
bright.
A young salmon
tolerably
tobacco
to be superior to
Olympics
forfeiture
baby face
optimist
To strengthen
a piece
superb.
to undermine
drapery
semicircle
chest of drawers
dangerous.
to till
agreeable.
whimsical
overalls
ephemeral
influential
localization
stately
to fix
to evade
separately
ugly
to neglect
unexpected