Godel's Proof Table of Contents

 

Contents

Foreiuord to the Neiu Edition by Douglas R. Hofstadter    ix

Acknowledgments    xxiii

i    Introduction    i

ii    The Problem of Consistency    7

iii    Absolute Proofs of Consistency    25

iv    The Systematic Codification of Formal Logic    37

v    An Example of a Successful Absolute Proof of

Consistency    45

vi    The Idea of Mapping and Its Use in Mathematics    57

vii    GódePs Proofs    68

a Godeł numbering    68

b The arithmedzadon of meta-mathemadcs    80

c The heart of Gódels argument    92

viii    Concluding Reflecdons    109

Appendix: Notes    114

Bńef Bibliography    125

Index    127

VII