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.

The annotated Gödel : a reader's guide to his classic paper on logic and completeness
Diagnose this book
Open in Vernon Browser

The annotated Gödel : a reader's guide to his classic paper on logic and completeness

by Hal Prince

This volume provides a new English translation of the 1931 article on mathematical incompleteness. It features step-by-step commentary alongside the original proofs, designed for readers with an undergraduate background in mathematics and formal logic.

Accession 29513 ISBN 9798986414218 Publisher Homebred Press
Book Images
Reference and live side by side Hover to see live images
Reference
The annotated Gödel : a reader's guide to his classic paper on logic and completeness spine
The annotated Gödel : a reader's guide to his classic paper on logic and completeness cover
Live
The annotated Gödel : a reader's guide to his classic paper on logic and completeness live spine
No live
The annotated Gödel : a reader's guide to his classic paper on logic and completeness spine The annotated Gödel : a reader's guide to his classic paper on logic and completeness live spine
The annotated Gödel : a reader's guide to his classic paper on logic and completeness cover
No live
TAGS
Curated Derived
Logic Mathematics Philosophy Psychology 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 02:00 (2 weeks, 6 days ago)

Identity

name→ title
The annotated Gödel : a reader's guide to his classic paper on logic and completeness
vernon_id
41626
accession_no→ accession_number
29513
vernon_slug
the-annotated-godel-a-readers-guide-to-his-classic-paper-on-logic-and-completeness-hal-prince

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)
9798986414218

Descriptive

production_date
2022
object_type
Books/Document genres/Information forms/Visual and Verbal Communication
object_status
Accessioned
brief_description
Kurt Gödel's 1931 article on incompleteness revealed some unexpected limitations in systems for proving theorems from axioms. Today we call these results Gödel's Incompleteness Theorems. The Annotated Gödel is a book for people who want to read Gödel's article for themselves. It includes the complete article in a new English translation, broken into more than a hundred pieces and interleaved with commentary explaining each piece, step by step. -- publisher

Subjects & people

authors→ author (initial fill only)
Hal Prince
tags→ tags
Science, Mathematics, Philosophy, Cognitive science, 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
53856

Raw Vernon JSON

click to inspect

The source payload behind the snapshot above.
Use ⌘F to search once expanded.
{7 keys}
"slug": "the-annotated-godel-a-readers-guide-to-his-classic-paper-on-logic-and-completeness-hal-prince"
"opacObjectId": "41626"
"opacCollection": {1 keys}
"opacCollectionId": "1"
"imagesCollection": {2 keys}
"images": [1 items]
"[0]": {5 keys}
"imageId": "53856"
"cssColors": [4 items]
"[0]": {9 keys}
"hex": "dcdcdc"
"hue": 0
"rank": 1
"presence": 46.49
"colorName": "gainsboro"
"lightness": 86
"colorGroup": "gray"
"saturation": 0
"formattedColorName": "gainsboro"
"[1]": {9 keys}
"hex": "a52a2a"
"hue": 0
"rank": 2
"presence": 18.26
"colorName": "brown"
"lightness": 41
"colorGroup": "brown"
"saturation": 59
"formattedColorName": "brown"
"[2]": {9 keys}
"hex": "a0522d"
"hue": 19
"rank": 3
"presence": 11.85
"colorName": "sienna"
"lightness": 40
"colorGroup": "brown"
"saturation": 56
"formattedColorName": "sienna"
"[3]": {9 keys}
"hex": "bc8f8f"
"hue": 0
"rank": 4
"presence": 7.43
"colorName": "rosybrown"
"lightness": 65
"colorGroup": "brown"
"saturation": 25
"formattedColorName": "rosy brown"
"rawColors": [7 items]
"[0]": {6 keys}
"hex": "ede4e2"
"hue": 10
"rank": 1
"presence": 46.49
"lightness": 90
"saturation": 23
"[1]": {6 keys}
"hex": "99342c"
"hue": 4
"rank": 2
"presence": 18.26
"lightness": 38
"saturation": 55
"[2]": {6 keys}
"hex": "442f2e"
"hue": 2
"rank": 3
"presence": 11.91
"lightness": 22
"saturation": 19
"[3]": {6 keys}
"hex": "936856"
"hue": 17
"rank": 4
"presence": 11.85
"lightness": 45
"saturation": 26
"[4]": {6 keys}
"hex": "b1827f"
"hue": 3
"rank": 5
"presence": 7.43
"lightness": 59
"saturation": 24
"[5]": {6 keys}
"hex": "97b6dd"
"hue": 213
"rank": 6
"presence": 4.07
"lightness": 72
"saturation": 50
"[6]": {6 keys}
"hex": "5c848c"
"hue": 190
"rank": 7
"presence": 0.0
"lightness": 45
"saturation": 20
"imageLabels": [2 items]
"[0]": {5 keys}
"count": 19018
"score": 78.43
"status": "auto_verified"
"imageLabel": "Publication"
"imageLabelId": 23
"[1]": {5 keys}
"count": 15171
"score": 54.21
"status": "auto_verified"
"imageLabel": "Book"
"imageLabelId": 67
"imageDerivatives": [6 items]
"[0]": {4 keys}
"url": "https://browser.mona.net.au/records/images/large/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg"
"width": "544"
"height": "800"
"identifier": "LARGE"
"[1]": {4 keys}
"url": "https://browser.mona.net.au/records/images/medium/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg"
"width": "272"
"height": "400"
"identifier": "MEDIUM"
"[2]": {4 keys}
"url": "https://browser.mona.net.au/records/images/nano/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg"
"width": "24"
"height": "35"
"identifier": "NANO"
"[3]": {4 keys}
"url": "https://browser.mona.net.au/records/images/small/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg"
"width": "102"
"height": "150"
"identifier": "SMALL"
"[4]": {4 keys}
"url": "https://browser.mona.net.au/records/images/tiny/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg"
"width": "51"
"height": "75"
"identifier": "TINY"
"[5]": {4 keys}
"url": "https://browser.mona.net.au/records/images/xlarge/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg"
"width": "816"
"height": "1200"
"identifier": "XLARGE"
"totalImages": 1
"objectSearchScore": 0.3118719
"opacObjectFieldSets": [40 items]
"[0]": {2 keys}
"identifier": "accession_no"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "29513"
"[1]": {2 keys}
"identifier": "name"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "The annotated Gödel : a reader's guide to his classic paper on logic and completeness / Hal Prince"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "title"
"value": "The annotated Gödel : a reader's guide to his classic paper on logic and completeness / Hal Prince"
"[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": "Prince, Hal"
"[4]": {2 keys}
"identifier": "prod_pri_date"
"opacObjectFields": [1 items]
"[0]": {2 keys}
"value": "2022"
"opacObjectFieldAttributes": [2 items]
"[0]": {2 keys}
"key": "earliest_date"
"value": "2022-01-01Z"
"[1]": {2 keys}
"key": "latest_date"
"value": "2022-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": ""
"[7]": {2 keys}
"identifier": "brief_desc"
"opacObjectFields": [3 items]
"[0]": {1 keys}
"value": "Kurt Gödel's 1931 article on incompleteness revealed some unexpected limitations in systems for proving theorems from axioms. Today we call these results Gödel's Incompleteness Theorems."
"[1]": {1 keys}
"value": ""
"[2]": {1 keys}
"value": "The Annotated Gödel is a book for people who want to read Gödel's article for themselves. It includes the complete article in a new English translation, broken into more than a hundred pieces and interleaved with commentary explaining each piece, step by step. -- publisher"
"[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": "Palo Alto/California/United States of America"
"[22]": {2 keys}
"identifier": "prod_pri_publisher"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "Homebred Press"
"[23]": {2 keys}
"identifier": "physical_notes"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": ""
"[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": "9798986414218"
"[26]": {2 keys}
"identifier": "user_sym_1"
"opacObjectFields": [1 items]
"[0]": {1 keys}
"value": "126 PRI"
"[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": "Cognitive science/Science"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "subject_class:"Cognitive science/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": "Mathematics/Science"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "subject_class:"Mathematics/Science""
"[3]": {2 keys}
"value": "Philosophy"
"opacObjectFieldAttributes": [1 items]
"[0]": {2 keys}
"key": "search"
"value": "subject_class:"Philosophy""
"[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": "hal-prince"
"title": "Hal Prince"
"relatedRecordId": "42614"
"relationshipId": "object_prod_pri_person"
"relatedRecordType": "person"
"totalRelatedRecords": 1
"totalRelationships": 1
Topics and Themes