Peter Suber, "Hunter-Hofstadter Map"

Hunter-Hofstadter Map Peter Suber, Philosophy Department, Earlham College

This is simply to show where in Douglas Hoftstadter's Gödel, Escher, Bach to find topics covered in Geoffrey Hunter's Metalogic, and vice versa.

	Hunter	Hofstadter
Elements of a formal system	4-5, 7-8	33-36, 559
Theory / metatheory	3, 10	23.5, 26-27, 36-37, 271.1, 449-50, 656-57
Effective method, decision procedure	13-15	40-41
Proof that the reals are uncountable	31-32	421-22
TFPL, the formal language	54-55	181-82
TFPL, the deductive apparatus	72-73	181.7, 183.3, 185.2, 186.1, 187-88
Proof / derivation	74-75	195
Semantic motivation of consistency	78	87-88, 94f, 453.3f
Proof of consistency of TFPL	79, 81	none but see 191-92
Deduction Theorem, or Fantasy Rule	84-88	183-85
Mathematical induction	85, 88-89	223-25
Semantic motivation of completeness	92-94	102.1
PL, the formal language	137-41	206-09, 213-15
PL, the deductive apparatus	167-68	215-20, 223-25
Gödel-numbering	225-27	261-62, 267-69, 502.1
Representing sets and functions	224, 234-35	407.4, 416-17, 430.3
Uncomputable functions	222-23	418-19
Gödel's first incompleteness theorem	228-29	17-18, 101, 265-72, 438-39
Recursive function theory	230-34	136-40, 152
Church's Thesis	230-32	428-29, 559-79
General / partial recursive functions	230-33	429.7
Church's Theorem	230-32, 239-50	560.9, 579-80
Non-standard arithmetic	203-205, 230-238	223.4, 452-59
Gödel's second incompleteness theorem	238, 257	230, 449-50, 696
omega-incompleteness	256	221-22, 450-51
omega-inconsistency	256	223, 453

This file is an electronic hand-out for the course, Logical Systems.