ALL CHAPTERS COVERED
PART A & B.
, INSTRUCTOR’S
MANUAL
FOR
COMPUTABILITY
AND LOGIC
FIFTH EDITION
PART A.
FOR ALL READERS
JOHN P. BURGESS
Professor of Philosophy
Princeton University
Note
This work is subject to copyright,
but instructors who adopt Computability & Logic as a textbook
are hereby authorized to copy and distribute the present Part A.
This permission does not extend to Part B.
Contents
Dependence of Chapters (Leitfaden) 2
General Remarks on Problems (for Students) 3
Hints for Odd-Numbered Problems Computability Theory 4
Hints for Odd-Numbered Problems Basic Metalogic 11
Errata 20
,2
, 3
Dependence of Chapters
1 & 2 Preliminaries
3-4 Turing machines 6 & 7 Recursiveness 9 & 10 First-order logic
5 Abacus computability 12-14 Metatheory of first-order logic
8 Turing’s theorem 19-21 Topics in metalogic
11.1 Church’s theorem, proof #1
11.2 Church’s theorem, proof #2
15 Arithmetization 16 Representability
17 First Incompleteness Theorem
22-26 Topics in arithmetic
18 Second Incompleteness Theorem
27 Provability logic
PART A & B.
, INSTRUCTOR’S
MANUAL
FOR
COMPUTABILITY
AND LOGIC
FIFTH EDITION
PART A.
FOR ALL READERS
JOHN P. BURGESS
Professor of Philosophy
Princeton University
Note
This work is subject to copyright,
but instructors who adopt Computability & Logic as a textbook
are hereby authorized to copy and distribute the present Part A.
This permission does not extend to Part B.
Contents
Dependence of Chapters (Leitfaden) 2
General Remarks on Problems (for Students) 3
Hints for Odd-Numbered Problems Computability Theory 4
Hints for Odd-Numbered Problems Basic Metalogic 11
Errata 20
,2
, 3
Dependence of Chapters
1 & 2 Preliminaries
3-4 Turing machines 6 & 7 Recursiveness 9 & 10 First-order logic
5 Abacus computability 12-14 Metatheory of first-order logic
8 Turing’s theorem 19-21 Topics in metalogic
11.1 Church’s theorem, proof #1
11.2 Church’s theorem, proof #2
15 Arithmetization 16 Representability
17 First Incompleteness Theorem
22-26 Topics in arithmetic
18 Second Incompleteness Theorem
27 Provability logic
