Unpositioned Something is wrong

The annotated Gödel : a reader's guide to his classic paper on logic and completeness / 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.

Author

ISBN

Publisher

TAGS

Curated Derived

Mathematics Philosophy Psychology Science

CONNECTIONS

No connections

LOCATION HISTORY

No location history available for this book.

FULL RECORD

Accession Number: 29513

Site: Vernon O Content

Collection: N/A

Location: N/A

Binding Type: Hard Back

Book Images

Hover to see live images

No live

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

No live

VERNON DATA

Cognitive science/Science Gödel's theorem/Incompleteness theorems/Proof theory/Logic, Symbolic and mathematical/Mathematics/Science Mathematics/Science Philosophy

{
  "slug": "the-annotated-godel-a-readers-guide-to-his-classic-paper-on-logic-and-completeness-hal-prince",
  "opacObjectId": "41626",
  "opacCollection": {
    "opacCollectionId": "1"
  },
  "imagesCollection": {
    "images": [
      {
        "imageId": "53856",
        "cssColors": [
          {
            "hex": "dcdcdc",
            "hue": 0,
            "rank": 1,
            "presence": 46.49,
            "colorName": "gainsboro",
            "lightness": 86,
            "colorGroup": "gray",
            "saturation": 0,
            "formattedColorName": "gainsboro"
          },
          {
            "hex": "a52a2a",
            "hue": 0,
            "rank": 2,
            "presence": 18.26,
            "colorName": "brown",
            "lightness": 41,
            "colorGroup": "brown",
            "saturation": 59,
            "formattedColorName": "brown"
          },
          {
            "hex": "a0522d",
            "hue": 19,
            "rank": 3,
            "presence": 11.85,
            "colorName": "sienna",
            "lightness": 40,
            "colorGroup": "brown",
            "saturation": 56,
            "formattedColorName": "sienna"
          },
          {
            "hex": "bc8f8f",
            "hue": 0,
            "rank": 4,
            "presence": 7.43,
            "colorName": "rosybrown",
            "lightness": 65,
            "colorGroup": "brown",
            "saturation": 25,
            "formattedColorName": "rosy brown"
          }
        ],
        "rawColors": [
          {
            "hex": "ede4e2",
            "hue": 10,
            "rank": 1,
            "presence": 46.49,
            "lightness": 90,
            "saturation": 23
          },
          {
            "hex": "99342c",
            "hue": 4,
            "rank": 2,
            "presence": 18.26,
            "lightness": 38,
            "saturation": 55
          },
          {
            "hex": "442f2e",
            "hue": 2,
            "rank": 3,
            "presence": 11.91,
            "lightness": 22,
            "saturation": 19
          },
          {
            "hex": "936856",
            "hue": 17,
            "rank": 4,
            "presence": 11.85,
            "lightness": 45,
            "saturation": 26
          },
          {
            "hex": "b1827f",
            "hue": 3,
            "rank": 5,
            "presence": 7.43,
            "lightness": 59,
            "saturation": 24
          },
          {
            "hex": "97b6dd",
            "hue": 213,
            "rank": 6,
            "presence": 4.07,
            "lightness": 72,
            "saturation": 50
          },
          {
            "hex": "5c848c",
            "hue": 190,
            "rank": 7,
            "presence": 0.0,
            "lightness": 45,
            "saturation": 20
          }
        ],
        "imageLabels": [
          {
            "count": 16657,
            "score": 78.43,
            "status": "auto_verified",
            "imageLabel": "Publication",
            "imageLabelId": 23
          },
          {
            "count": 13056,
            "score": 54.21,
            "status": "auto_verified",
            "imageLabel": "Book",
            "imageLabelId": 67
          }
        ],
        "imageDerivatives": [
          {
            "url": "https://browser.mona.net.au/records/images/large/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg",
            "width": "544",
            "height": "800",
            "identifier": "LARGE"
          },
          {
            "url": "https://browser.mona.net.au/records/images/medium/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg",
            "width": "272",
            "height": "400",
            "identifier": "MEDIUM"
          },
          {
            "url": "https://browser.mona.net.au/records/images/nano/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg",
            "width": "24",
            "height": "35",
            "identifier": "NANO"
          },
          {
            "url": "https://browser.mona.net.au/records/images/small/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg",
            "width": "102",
            "height": "150",
            "identifier": "SMALL"
          },
          {
            "url": "https://browser.mona.net.au/records/images/tiny/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg",
            "width": "51",
            "height": "75",
            "identifier": "TINY"
          },
          {
            "url": "https://browser.mona.net.au/records/images/xlarge/36907/9ad212a8de4cb93f42007aa1127e02001f45c3fa.jpg",
            "width": "816",
            "height": "1200",
            "identifier": "XLARGE"
          }
        ]
      }
    ],
    "totalImages": 1
  },
  "objectSearchScore": 0.31905985,
  "opacObjectFieldSets": [
    {
      "identifier": "accession_no",
      "opacObjectFields": [
        {
          "value": "29513"
        }
      ]
    },
    {
      "identifier": "name",
      "opacObjectFields": [
        {
          "value": "The annotated Gödel : a reader's guide to his classic paper on logic and completeness / Hal Prince",
          "opacObjectFieldAttributes": [
            {
              "key": "title",
              "value": "The annotated Gödel : a reader's guide to his classic paper on logic and completeness / Hal Prince"
            }
          ]
        }
      ]
    },
    {
      "identifier": "other_name",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "artist_last_first",
      "opacObjectFields": [
        {
          "value": "Prince, Hal"
        }
      ]
    },
    {
      "identifier": "prod_pri_date",
      "opacObjectFields": [
        {
          "value": "2022",
          "opacObjectFieldAttributes": [
            {
              "key": "earliest_date",
              "value": "2022-01-01Z"
            },
            {
              "key": "latest_date",
              "value": "2022-12-31Z"
            }
          ]
        }
      ]
    },
    {
      "identifier": "prod_pri_date_notes",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "edition",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "brief_desc",
      "opacObjectFields": [
        {
          "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."
        },
        {
          "value": ""
        },
        {
          "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"
        }
      ]
    },
    {
      "identifier": "measure_desc",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "credit_line",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "curr_loc_status",
      "opacObjectFields": [
        {
          "value": "Stored",
          "opacObjectFieldAttributes": [
            {
              "key": "search",
              "value": "curr_loc_status:\"Stored\""
            }
          ]
        }
      ]
    },
    {
      "identifier": "ob_status",
      "opacObjectFields": [
        {
          "value": "Accessioned"
        }
      ]
    },
    {
      "identifier": "lender",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "copyright_owner",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "copyright_type",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "copyright_start",
      "opacObjectFields": []
    },
    {
      "identifier": "copyright_expiry",
      "opacObjectFields": []
    },
    {
      "identifier": "copyright_notes",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "object_type",
      "opacObjectFields": [
        {
          "value": "Books/Document genres/Information forms/Visual and Verbal Communication",
          "opacObjectFieldAttributes": [
            {
              "key": "search",
              "value": "object_type:\"Books/Document genres/Information forms/Visual and Verbal Communication\""
            }
          ]
        }
      ]
    },
    {
      "identifier": "collection",
      "opacObjectFields": [
        {
          "value": "Main Collection/Library",
          "opacObjectFieldAttributes": [
            {
              "key": "search",
              "value": "collection:\"Main Collection/Library\""
            }
          ]
        }
      ]
    },
    {
      "identifier": "prod_pri_place",
      "opacObjectFields": [
        {
          "value": "Palo Alto/California/United States of America"
        }
      ]
    },
    {
      "identifier": "physical_notes",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "language",
      "opacObjectFields": [
        {
          "value": "English"
        }
      ]
    },
    {
      "identifier": "isbn_issn",
      "opacObjectFields": [
        {
          "value": "9798986414218"
        }
      ]
    },
    {
      "identifier": "user_sym_1",
      "opacObjectFields": [
        {
          "value": "126 PRI"
        }
      ]
    },
    {
      "identifier": "usual_loc_being",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "subject_class",
      "opacObjectFields": [
        {
          "value": "Cognitive science/Science",
          "opacObjectFieldAttributes": [
            {
              "key": "search",
              "value": "subject_class:\"Cognitive science/Science\""
            }
          ]
        },
        {
          "value": "Gödel's theorem/Incompleteness theorems/Proof theory/Logic, Symbolic and mathematical/Mathematics/Science",
          "opacObjectFieldAttributes": [
            {
              "key": "search",
              "value": "subject_class:\"Gödel's theorem/Incompleteness theorems/Proof theory/Logic, Symbolic and mathematical/Mathematics/Science\""
            }
          ]
        },
        {
          "value": "Mathematics/Science",
          "opacObjectFieldAttributes": [
            {
              "key": "search",
              "value": "subject_class:\"Mathematics/Science\""
            }
          ]
        },
        {
          "value": "Philosophy",
          "opacObjectFieldAttributes": [
            {
              "key": "search",
              "value": "subject_class:\"Philosophy\""
            }
          ]
        }
      ]
    },
    {
      "identifier": "subject_date",
      "opacObjectFields": []
    },
    {
      "identifier": "subject_event",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "subject_period",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "subject_object",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "subject_person",
      "opacObjectFields": [
        {
          "value": "Kurt Gödel (American, b.1906, d.1978)",
          "opacObjectFieldAttributes": [
            {
              "key": "search",
              "value": "subject_person:\"Kurt Gödel (American, b.1906, d.1978)\""
            }
          ]
        }
      ]
    },
    {
      "identifier": "subject_place",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "assoc_person",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "assoc_place",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "assoc_event",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "assoc_object",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    },
    {
      "identifier": "user_sym_9",
      "opacObjectFields": [
        {
          "value": ""
        }
      ]
    }
  ],
  "relationshipsCollection": {
    "relationships": [
      {
        "relatedRecords": [
          {
            "slug": "hal-prince",
            "title": "Hal Prince",
            "relatedRecordId": "42614"
          }
        ],
        "relationshipId": "object_prod_pri_person",
        "relatedRecordType": "person",
        "totalRelatedRecords": 1
      }
    ],
    "totalRelationships": 1
  }
}