semidecision

Meaning

1. noun A technique in which the necessary conditions for a state are identified and then a proof that these conditions cannot be satisfied is produced.

Similar words

semidecidability semidefiniteness semi-decidability absolute state exclusive disjunction entscheidungsproblem infinite descent diagonalisation semidiscretization proof by exhaustion

Often followed by

procedure