Kennedy juliette (161 resultados)

Condición: New. Anaya, Rebeca; Anderson, Gail; Congdon, Lisa; Harrison, Vashti; Hewett, Jen; Huang, Howsem; Jang, Erin; Kennedy, Amos Paul; MacFadden & Thorpe; Potter, Carissa (ilustrador).

Condición: New.

Condición: As New. Unread book in perfect condition. Anaya, Rebeca; Anderson, Gail; Congdon, Lisa; Harrison, Vashti; Hewett, Jen; Huang, Howsem; Jang, Erin; Kennedy, Amos Paul; MacFadden & Thorpe; Potter, Carissa (ilustrador).

Paperback. Condición: Good. This Element takes a deep dive into Goedel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a.

Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Paperback. Condición: Good. This Element takes a deep dive into Goedel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a.

paperback. Condición: Very Good. Cover and edges may have some wear.

Condición: As New. Unread book in perfect condition.

Condición: New.

Paperback. Condición: New. This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of Gödel's proof: arithmetization, strong representability, and the Fixed Point Theorem in a layered fashion, returning to their various aspects: semantic, syntactic, computational, philosophical and mathematical, as the topic arises. It samples some of the most important proofs of the Incompleteness Theorems, e.g. due to Kuratowski, Smullyan and Robinson, as well as newer proofs, also of other independent statements, due to H. Friedman, Weiermann and Paris-Harrington. It examines the question whether the incompleteness of e.g. Peano Arithmetic gives immediately the undecidability of the Entscheidungsproblem, as Kripke has recently argued. It considers set-theoretical incompleteness, and finally considers some of the philosophical consequences considered in the literature.…

Condición: New.

Condición: New. Anaya, Rebeca; Anderson, Gail; Congdon, Lisa; Harrison, Vashti; Hewett, Jen; Huang, Howsem; Jang, Erin; Kennedy, Amos Paul; MacFadden & Thorpe; Potter, Carissa (ilustrador).

Hardcover, no dust jacket. Slightly edge worn boards; covered with heavy plastic mylar. 861 pp.

Hardcover, no dust jacket. Slightly edge worn boards; covered with heavy plastic mylar. 776 pp.

Hardcover, no dust jacket. Slightly edge worn boards; covered with heavy plastic mylar. 856 pp.

Hardcover, no dust jacket. Slightly edge worn boards; covered with heavy plastic mylar. 824 pp.

Hardcover, no dust jacket. Slightly edge worn boards; covered with heavy plastic mylar. 775 pp.

Paperback. Condición: Fair. The logician Kurt G del (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of G del's work on the foundations and philosophy of mathematics. Their essays explore almost every aspect of Godel's intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues.…

Condición: As New. Unread book in perfect condition. Anaya, Rebeca; Anderson, Gail; Congdon, Lisa; Harrison, Vashti; Hewett, Jen; Huang, Howsem; Jang, Erin; Kennedy, Amos Paul; MacFadden & Thorpe; Potter, Carissa (ilustrador).

Paperback. Condición: Fair. The logician Kurt G del (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of G del's work on the foundations and philosophy of mathematics. Their essays explore almost every aspect of Godel's intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues.…

Condición: New.

Paperback or Softback. Condición: New. G�del, Tarski and the Lure of Natural Language. Book.

Hardcover. Condición: Near Fine. Estado de la sobrecubierta: Very Good. Text is primarily in French. Volume XXXIX only. First edition. Near fine green cloth in a very good (a few chips and closed edge tears) acetate dust jacket.

Hardcover. Condición: Near Fine. Estado de la sobrecubierta: Very Good. Text is primarily in French. Volume XLI only. First edition. Near fine brown cloth in a very good (small chips at the spine ends, closed tear) acetate dust jacket.

Hardcover. Condición: Near Fine. Estado de la sobrecubierta: Very Good. Text is primarily in French. Volume XL only. First edition. Near fine green cloth in a very good (a few chips) acetate dust jacket.

Condición: As New. Unread book in perfect condition.

Paperback. Condición: New. Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an implicit syntax? Inspired by what she calls the 'natural language moves' of Gödel and Tarski, Juliette Kennedy considers what roles the concepts of 'entanglement' and 'formalism freeness' play in a range of logical settings, from computability and set theory to model theory and second order logic, to logicality, developing an entirely original philosophy of mathematics along the way. The treatment is historically, logically and set-theoretically rich, and topics such as naturalism and foundations receive their due, but now with a new twist.…

Condición: New.

Condición: New.

Condición: Good. Estado de la sobrecubierta: Good. Societe D'Edition "Les Belles Lettres", 1971. In original glassine dustjacket; dustjacket edges very barely bumped, with light chipping at top spine end; cover very barely soiled, bottom corners lightly bumped; top edge very lightly foxed; binding tight; dustjacket, cover, edges, and interior intact and clean except where noted. hardcover. Good/Good. 8vo - over 7¾" - 9¾" tall.…