Set theory arithmetic foundations (14 résultats)

Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9781107008045. …

Etat : New.

Etat : New. In English.

Etat : New. 2011. Illustrated. hardcover. A collection of remarkable papers from various areas of mathematical logic, written by outstanding members of the field. Editor(s): Kennedy, Juliette; Kossak, Roman. Series: Lecture Notes in Logic. Num Pages: 242 pages, 1 b/w illus. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 18. Weight in Grams: 482. . . . . . …

Etat : New. 2011. Illustrated. hardcover. A collection of remarkable papers from various areas of mathematical logic, written by outstanding members of the field. Editor(s): Kennedy, Juliette; Kossak, Roman. Series: Lecture Notes in Logic. Num Pages: 242 pages, 1 b/w illus. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 18. Weight in Grams: 482. . . . . . Books ship from the US and Ireland. …

Etat : New. pp. xiii + 227.

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reveal how contemporary technical results touch upon foundational questions about the nature of mathematics. Highlights of the volume include: a history of Tennenbaum's theorem in arithmetic; a number of papers on Tennenbaum phenomena in weak arithmetics as well as on other aspects of arithmetics, such as interpretability; the transcript of Gödel's previously unpublished 1972-1975 conversations with Sue Toledo, along with an appreciation of the same by Curtis Franks; Hugh Woodin's paper arguing against the generic multiverse view; Anne Troelstra's history of intuitionism through 1991; and Aki Kanamori's history of the Suslin problem in set theory. The book provides a historical and philosophical treatment of particular theorems in arithmetic and set theory, and is ideal for researchers and graduate students in mathematical logic and philosophy of mathematics.…

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - High Quality Content by WIKIPEDIA articles! Second-order arithmetic includes, but is significantly stronger than, its first-order counterpart Peano arithmetic. Unlike Peano arithmetic, second-order arithmetic allows quantification over sets of numbers as well as numbers themselves. Because real numbers can be represented as (infinite) sets of natural numbers in well-known ways, and because second order arithmetic allows quantification over such sets, it is possible to formalize the real numbers in second-order arithmetic. For this reason, second-order arithmetic is sometimes called analysis .…

Taschenbuch. Etat : Neu. Second-order Arithmetic | Second-order Arithmetic, Mathematical Logic, Axiom, Natural Number, Set Theory, Foundations of Mathematics, First-order Logic, Peano Axioms, Reverse Mathematics | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130319427 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.…

Hardcover. Etat : new. Hardcover. This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reveal how contemporary technical results touch upon foundational questions about the nature of mathematics. Highlights of the volume include: a history of Tennenbaum's theorem in arithmetic; a number of papers on Tennenbaum phenomena in weak arithmetics as well as on other aspects of arithmetics, such as interpretability; the transcript of Goedel's previously unpublished 19721975 conversations with Sue Toledo, along with an appreciation of the same by Curtis Franks; Hugh Woodin's paper arguing against the generic multiverse view; Anne Troelstra's history of intuitionism through 1991; and Aki Kanamori's history of the Suslin problem in set theory. The book provides a historical and philosophical treatment of particular theorems in arithmetic and set theory, and is ideal for researchers and graduate students in mathematical logic and philosophy of mathematics. In this collection of papers, outstanding members of the field provide a historical and philosophical treatment of a broad spectrum of theorems in arithmetic and set theory. Tennenbaum phenomena in arithmetics and a transcript of Goedel's 19721975 conversations with Sue Toledo are among the subjects treated in this volume. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. &Uumlber den AutorJuliette Kennedy is a University Lecturer in the Department of Mathematics and Statistics at the University of Helsinki. Roman Kossak is a Professor of Mathematics in the Graduate Center at the City University of New .…

Buch. Etat : Neu. Set Theory, Arithmetic, and Foundations of Mathematics | Juliette Kennedy (u. a.) | Buch | Gebunden | Englisch | 2011 | Cambridge University Press | EAN 9781107008045 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…

Etat : New. Print on Demand pp. xiii + 227 Illus.

Etat : New. PRINT ON DEMAND pp. xiii + 227.