formally undecidable propositions principia mathematica von gödel kurt (8 Ergebnisse)

Paperback. Zustand: Very Good. First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Zustand: New. In.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New. KlappentextrnrnFirst English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.

Paperback. Zustand: Brand New. reprint edition. 80 pages. 8.00x5.25x0.50 inches. In Stock.

Paperback. Zustand: Brand New. reprint edition. 80 pages. 8.00x5.25x0.50 inches. In Stock.

First edition in English of the famed incompleteness theorems, overturning a century of efforts to place the whole of mathematics on an axiomatic basis and proving that the bounds cannot be those of one formal system. It includes a preface by R. B. Braithwaite (1900-1990), Knightbridge Professor of Moral Philosophy at Cambridge. For Gödel, even in elementary arithmetic there exist propositions that cannot be proven or disproven within the system. Mathematics is not finished, as had been believed, and computers can never be programmed to answer all mathematical questions. The theorems were originally published in Monatshefte für Mathematik in 1931. Newman, pp. 1668-95. Octavo. Original light green cloth, spine lettered in red. With dust jacket. With the ownership signatures on the front pastedown and free endpaper of Robert Mark Poole Quilliam (1944-2023), chemist and materials scientist, dated 1964 on the rear pastedown. Head of spine bumped, boards gently splayed; jacket unclipped, spine a little faded, extremities lightly rubbed: a near-fine copy in like jacket.

First edition in English, first impression, of the famed incompleteness theorems, overturning a century of efforts to place the whole of mathematics on an axiomatic basis and proving that the bounds cannot be those of one formal system. This edition includes a preface by R. B. Braithwaite (1900-1990), Knightbridge Professor of Moral Philosophy at Cambridge. For Gödel, even in elementary arithmetic there exist propositions that cannot be proven or disproven within the system. Mathematics is not finished, as had been believed, and computers can never be programmed to answer all mathematical questions. The theorems were originally published in Monatshefte für Mathematik in 1931. Newman, pp. 1668-95. Octavo. Formulae in the text. Original light green cloth, spine lettered in red. With dust jacket. With bookseller's ticket of Dillon's University Bookshop, London, to front pastedown. Boards gently splayed, rear cover faintly mottled; jacket unclipped, spine toned, extremities creased, closed tears to rear cover sometime repaired with tape on recto and verso: a very good copy in like jacket.