In a Prior Period the Applicable Logical Segment Was Recursion Theory (Decidability and Undecidability).