The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness

— —

Hal Prince

The Annotated Gödel

A Reader's Guide to his Classic Paper on Logic and Incompleteness

Hal Prince

$48.95 $41.89

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Homebred Press
21 August 2022

Philosophy: logic; Philosophy of mathematics; Mathematical logic; History of mathematics

Summary
Details

The Annotated Gödel offers a guided tour of Kurt Gödel's 1931 article on incompleteness, which demonstrated unexpected limits to the power of many logical systems. Today we call these results Gödel's First and Second Incompleteness Theorems. The book includes the complete article in a new English translation, interleaved with commentary that guides the reader through Gödel's work, step by step.

The commentary concentrates on Gödel's exposition. It describes what he is doing at each point, and how it relates to other parts of the article. It elaborates on his proofs by outlining them, for example, or by making a table of his variables and their uses, or by filling in gaps in his arguments.

The translation uses modern mathematical notation and terminology. It replaces Gödel's function and relation names, based on German word fragments, with English equivalents. Its language is less formal than that of the earlier translations, which date from the 1960s.

The book assumes some familiarity with mathematical definitions and proofs, at the level of an undergraduate abstract math course, as well as some knowledge of formal logic, from an introductory course or the equivalent.

By: Hal Prince
Imprint: Homebred Press
Dimensions: Height: 234mm, Width: 156mm, Spine: 13mm
Weight: 435g
ISBN: 9798986414218
Pages: 184
Publication Date: 21 August 2022
Audience: General/trade , ELT Advanced
Format: Hardback
Publisher's Status: Active