1
$\begingroup$

In Joel W. Robbin's "Mathematical logic, a first course" there are five exercises (11 to 15, pp 169 & 170) the solutions to which constitute a proof of the unsolvability of the Entscheidungsproblem. If anyone knows if the solutions are to be found anywhere I'll be pleased to be told where. No, it's not homework!

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.