Skip to main content
M:N3:2 2
Edit position
Edit position

Last set 1 week, 1 day ago. Manual moves override automatic placement until the next shelfie/spine match.

Introduction to Gödel's Theorems
Diagnose this book
Open in Vernon Browser

Introduction to Gödel's Theorems

by Peter Smith

This text provides an introduction to Gödel's First and Second Incompleteness Theorems, presenting various proofs and exploring their wider mathematical and philosophical significance for students of logic and philosophy.

Accession 4198 ISBN 9780521674539 Publisher Cambridge University Press
Book Images
Reference and live side by side Hover to see live images
Reference
Introduction to Gödel's Theorems spine
Introduction to Gödel's Theorems cover
Live
Introduction to Gödel's Theorems live spine
No live
Introduction to Gödel's Theorems spine Introduction to Gödel's Theorems live spine
Introduction to Gödel's Theorems cover
No live
TAGS
Curated Derived
Mathematics Philosophy Science
CONNECTIONS
No connections
State
on_shelf
True
position_updated_at
2026-06-01 16:32
orientation
vertical
Details

Physical

binding_type
Hard Back
dimensions
none captured
spine_text
none captured

Metadata

Book form
LOCATION HISTORY
M:N3:2 2 Current vertical
2 weeks ago
Book Location
Updated 1 week, 1 day ago
Vernon snapshot
View live

Frozen copy of Vernon's record from the last sync. Fields tagged → flow back into the Pulse record.

Last synced 2026-05-21 06:18 (2 weeks, 6 days ago)

Identity

name→ title
Introduction to Gödel's Theorems
vernon_id
8013
accession_no→ accession_number
4198
vernon_slug
introduction-to-godels-theorems-peter-smith

Drives Pulse state

curr_loc_status→ on_shelf
On Shelf
location_name
Zone N3/Level 2 (Mezzanine)/Phrontisterion/MONA
location_reason
On Shelf
isbn_issn→ isbn (when valid)
9780521674539

Descriptive

production_date
2009
object_type
Books/Document genres/Information forms/Visual and Verbal Communication
object_status
Accessioned
brief_description
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere).

Subjects & people

authors→ author (initial fill only)
Peter Smith
tags→ tags
Science, Mathematics, Philosophy, Gödel's theorem, Incompleteness theorems, Proof theory, Logic, Symbolic and mathematical
subject_people
Kurt Gödel (American, b.1906, d.1978)
subject_objects
—

Cover image

vernon_cover_image_id→ cover_image
23688

Raw Vernon JSON

click to inspect

The source payload behind the snapshot above.
Use ⌘F to search once expanded.
{7 keys}
"slug": "introduction-to-godels-theorems-peter-smith"
"opacObjectId": "8013"
"opacCollection": {1 keys}
"opacCollectionId": "1"
"imagesCollection": {2 keys}
"images": [1 items]
"[0]": {5 keys}
"imageId": "23688"
"cssColors": [4 items]
"[0]": {9 keys}
"hex": "eee8aa"
"hue": 55
"rank": 1
"presence": 16.17
"colorName": "palegoldenrod"
"lightness": 80
"colorGroup": "yellow"
"saturation": 67
"formattedColorName": "pale goldenrod"
"[1]": {9 keys}
"hex": "b22222"
"hue": 0
"rank": 2
"presence": 36.28
"colorName": "firebrick"
"lightness": 42
"colorGroup": "red"
"saturation": 68
"formattedColorName": "fire brick"
"[2]": {9 keys}
"hex": "a52a2a"
"hue": 0
"rank": 3
"presence": 5.35
"colorName": "brown"
"lightness": 41
"colorGroup": "brown"
"saturation": 59
"formattedColorName": "brown"
"[3]": {9 keys}
"hex": "d2691e"
"hue": 25
"rank": 4
"presence": 4.76
"colorName": "chocolate"
"lightness": 47
"colorGroup": "brown"
"saturation": 75
"formattedColorName": "chocolate"
"rawColors": [7 items]
"[0]": {6 keys}
"hex": "244664"
"hue": 208
"rank": 1
"presence": 35.76
"lightness": 26
"saturation": 47
"[1]": {6 keys}
"hex": "dcd176"
"hue": 53
"rank": 2
"presence": 16.17
"lightness": 66
"saturation": 59
"[2]": {6 keys}
"hex": "c91c20"
"hue": 358
"rank": 3
"presence": 36.28
"lightness": 44
"saturation": 75
"[3]": {6 keys}
"hex": "723842"
"hue": 349
"rank": 4
"presence": 5.35
"lightness": 33
"saturation": 34
"[4]": {6 keys}
"hex": "d27027"
"hue": 25
"rank": 5
"presence": 4.76
"lightness": 48
"saturation": 68
"[5]": {6 keys}
"hex": "40a969"
"hue": 143
"rank": 6
"presence": 0.97
"lightness": 45
"saturation": 45
"[6]": {6 keys}
"hex": "7675a6"
"hue": 241
"rank": 7
"presence": 0.7
"lightness": 55
"saturation": 21
"imageLabels": [10 items]
"[0]": {5 keys}
"count": 19018
"score": 86.39
"status": "auto_verified"
"imageLabel": "Publication"
"imageLabelId": 23
"[1]": {5 keys}
"count": 15171
"score": 83.9
"status": "auto_verified"
"imageLabel": "Book"
"imageLabelId": 67
"[2]": {5 keys}
"count": 19411
"score": 83.18
"status": "auto_verified"
"imageLabel": "Font"
"imageLabelId": 12
"[3]": {5 keys}
"count": 10019
"score": 76.11
"status": "auto_verified"
"imageLabel": "Rectangle"
"imageLabelId": 11
"[4]": {5 keys}
"count": 3985
"score": 71.84
"status": "auto_verified"
"imageLabel": "Electric blue"
"imageLabelId": 49
"[5]": {5 keys}
"count": 12694
"score": 68.9
"status": "auto_verified"
"imageLabel": "Book cover"
"imageLabelId": 90
"[6]": {5 keys}
"count": 2193
"score": 67.26
"status": "auto_verified"
"imageLabel": "Magenta"
"imageLabelId": 30
"[7]": {5 keys}
"count": 2395
"score": 66.19
"status": "auto_verified"
"imageLabel": "Event"
"imageLabelId": 46
"[8]": {5 keys}
"count": 2009
"score": 62.84
"status": "auto_verified"
"imageLabel": "Brand"
"imageLabelId": 15
"[9]": {5 keys}
"count": 5750
"score": 60.95
"status": "auto_verified"
"imageLabel": "Graphic design"
"imageLabelId": 17
"imageDerivatives": [6 items]
"[0]": {4 keys}
"url": "https://browser.mona.net.au/records/images/large/16363/d2ac431acdbde410383e570885727158fc196165.jpg"
"width": "564"
"height": "800"
"identifier": "LARGE"
"[1]": {4 keys}
"url": "https://browser.mona.net.au/records/images/medium/16363/d2ac431acdbde410383e570885727158fc196165.jpg"
"width": "282"
"height": "400"
"identifier": "MEDIUM"
"[2]": {4 keys}
"url": "https://browser.mona.net.au/records/images/nano/16363/d2ac431acdbde410383e570885727158fc196165.jpg"
"width": "25"
"height": "35"
"identifier": "NANO"
"[3]": {4 keys}
"url": "https://browser.mona.net.au/records/images/small/16363/d2ac431acdbde410383e570885727158fc196165.jpg"
"width": "106"
"height": "150"
"identifier": "SMALL"
"[4]": {4 keys}
"url": "https://browser.mona.net.au/records/images/tiny/16363/d2ac431acdbde410383e570885727158fc196165.jpg"
"width": "53"
"height": "75"
"identifier": "TINY"
"[5]": {4 keys}
"url": "https://browser.mona.net.au/records/images/xlarge/16363/d2ac431acdbde410383e570885727158fc196165.jpg"
"width": "846"
"height": "1200"
"identifier": "XLARGE"
"totalImages": 1
"objectSearchScore": 0.31199765
"opacObjectFieldSets": [40 items]
"[0]": {2 keys}
"identifier": "accession_no"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "4198"
"[1]": {2 keys}
"identifier": "name"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "Introduction to Gödel's Theorems / Peter Smith"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "title"
"value": "Introduction to Gödel's Theorems / Peter Smith"
"[2]": {2 keys}
"identifier": "other_name"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[3]": {2 keys}
"identifier": "artist_last_first"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Smith, Peter"
"[4]": {2 keys}
"identifier": "prod_pri_date"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "2009"
"opacObjectFieldAttributes": [2 items]
"[0]": {2 keys}
"key": "earliest_date"
"value": "2009-01-01Z"
"[1]": {2 keys}
"key": "latest_date"
"value": "2009-12-31Z"
"[5]": {2 keys}
"identifier": "prod_pri_date_notes"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[6]": {2 keys}
"identifier": "edition"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "4th printing with corrections"
"[7]": {2 keys}
"identifier": "brief_desc"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere)."
"[8]": {2 keys}
"identifier": "measure_desc"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[9]": {2 keys}
"identifier": "credit_line"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[10]": {2 keys}
"identifier": "curr_loc_status"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "On Shelf"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "curr_loc_status:"On Shelf""
"[11]": {2 keys}
"identifier": "ob_status"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Accessioned"
"[12]": {2 keys}
"identifier": "lender"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[13]": {2 keys}
"identifier": "copyright_owner"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[14]": {2 keys}
"identifier": "copyright_type"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[15]": {2 keys}
"identifier": "copyright_start"
"opacObjectFields": [0 items]
"[16]": {2 keys}
"identifier": "copyright_expiry"
"opacObjectFields": [0 items]
"[17]": {2 keys}
"identifier": "copyright_notes"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[18]": {2 keys}
"identifier": "curr_loc"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Zone N3/Level 2 (Mezzanine)/Phrontisterion/MONA"
"[19]": {2 keys}
"identifier": "object_type"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "Books/Document genres/Information forms/Visual and Verbal Communication"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "object_type:"Books/Document genres/Information forms/Visual and Verbal Communication""
"[20]": {2 keys}
"identifier": "collection"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "Main Collection/Library"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "collection:"Main Collection/Library""
"[21]": {2 keys}
"identifier": "prod_pri_place"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Cambridge/Cambridgeshire/England"
"[22]": {2 keys}
"identifier": "prod_pri_publisher"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Cambridge University Press"
"[23]": {2 keys}
"identifier": "physical_notes"
"opacObjectFields": [2 items]
"[0]": {1 keys}
"value": "362 pages : 25 cm."
"[1]": {1 keys}
"value": "Includes index and bibliographic references."
"[24]": {2 keys}
"identifier": "language"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "English"
"[25]": {2 keys}
"identifier": "isbn_issn"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "9780521674539"
"[26]": {2 keys}
"identifier": "user_sym_1"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "511.3 SMI"
"[27]": {2 keys}
"identifier": "usual_loc_being"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Zone N3/Level 2 (Mezzanine)/Phrontisterion/MONA"
"[28]": {2 keys}
"identifier": "subject_class"
"opacObjectFields": [4 items]
"[0]": {2 keys}
"value": "Mathematics/Science"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "subject_class:"Mathematics/Science""
"[1]": {2 keys}
"value": "Gödel's theorem/Incompleteness theorems/Proof theory/Logic, Symbolic and mathematical/Mathematics/Science"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "subject_class:"Gödel's theorem/Incompleteness theorems/Proof theory/Logic, Symbolic and mathematical/Mathematics/Science""
"[2]": {2 keys}
"value": "Philosophy"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "subject_class:"Philosophy""
"[3]": {2 keys}
"value": "Incompleteness theorems/Proof theory/Logic, Symbolic and mathematical/Mathematics/Science"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "subject_class:"Incompleteness theorems/Proof theory/Logic, Symbolic and mathematical/Mathematics/Science""
"[29]": {2 keys}
"identifier": "subject_date"
"opacObjectFields": [0 items]
"[30]": {2 keys}
"identifier": "subject_event"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[31]": {2 keys}
"identifier": "subject_period"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[32]": {2 keys}
"identifier": "subject_object"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[33]": {2 keys}
"identifier": "subject_person"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "Kurt Gödel (American, b.1906, d.1978)"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "subject_person:"Kurt Gödel (American, b.1906, d.1978)""
"[34]": {2 keys}
"identifier": "subject_place"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[35]": {2 keys}
"identifier": "assoc_person"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[36]": {2 keys}
"identifier": "assoc_place"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[37]": {2 keys}
"identifier": "assoc_event"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[38]": {2 keys}
"identifier": "assoc_object"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[39]": {2 keys}
"identifier": "user_sym_9"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"relationshipsCollection": {2 keys}
"relationships": [1 items]
"[0]": {4 keys}
"relatedRecords": [1 items]
"[0]": {3 keys}
"slug": "peter-smith"
"title": "Peter Smith"
"relatedRecordId": "11198"
"relationshipId": "object_prod_pri_person"
"relatedRecordType": "person"
"totalRelatedRecords": 1
"totalRelationships": 1
Topics and Themes