Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of
14,68 €
Subtitle Undecidability of First-Order Logic. The later Turing and Gumanski's attempts are criticized as inadequate or doubtful. So the decision problem is still unsolved in the positive. This book provides a positive solution using what the author calls the General Theory of Effectively Provable Function (GEP).
Jetzt bei Ebay:
