Articles liés à The Logic of Provability
Synopsis
This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does is to show how the concepts, techniques, and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self-referential' sentences constructed in their proof. The book explores the effects of reinterpreting the notions of necessity and possibility to mean provability and consistency.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does is to show how the concepts, techniques, and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self-referential' sentences constructed in their proof. The book explores the effects of reinterpreting the notions of necessity and possibility to mean provability and consistency.
Revue de presse
"The book contains an excellent combination of values: noble subject, fresh key results, and the gentle, friendly style of the author. It can be recommended as a textbook, as a handbook, or simply as high quality reading in logic." Sergei N. Artemov, Journal of Symbolic Logic
"I found it lively, lucid, and informative...Boolos' style of writing is unusually kind to the reader. When an argument becomes tricky, he breaks it down into a lot of small steps, showing the reader in detail just how to proceed. A result is that the book is remarkably easy to read." Vann McGee, Rutgers University
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 39,59
EUR 2,28 expédition vers Etats-Unis
Destinations, frais et délaisRésultats de recherche pour The Logic of Provability
Image d'archives
The Logic of Provability
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521483255
ISBN 13 : 9780521483254
Ancien ou d'occasion
paperback
Vendeur : Half Price Books Inc., Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_444847217
Quantité disponible : 1 disponible(s)
Image d'archives
The Logic of Provability
Edité par
Cambridge University Press, 1995
ISBN 10 : 0521483255
ISBN 13 : 9780521483254
Ancien ou d'occasion
Couverture souple
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. *Price HAS BEEN REDUCED by 10% until Monday, Oct. 13 (sale item)* 316 pp., Paperback, faint wear to cover edge else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. N° de réf. du vendeur ZB1333302
Quantité disponible : 1 disponible(s)
Image d'archives
The Logic of Provability
Edité par
Cambridge University Press, New York, 1995
ISBN 10 : 0521483255
ISBN 13 : 9780521483254
Ancien ou d'occasion
Trade Paperback
Vendeur : Fahrenheit's Books, Denver, CO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Trade Paperback. Etat : Very Good+. 1st Paperback. First trade paperback printing, has a light skew to the binding, a touch of bowing to the text block, very slight bumps to spine ends and cover corners, mild sunning to the spine, and a hint of edgewear with some faint rubbing to the covers, otherwise a solid, tight, clean VG+ copy. N° de réf. du vendeur 102763
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic of Provability
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521483255
ISBN 13 : 9780521483254
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 698488-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Logic of Provability (Paperback or Softback)
Edité par
Cambridge University Press 6/24/2003, 2003
ISBN 10 : 0521483255
ISBN 13 : 9780521483254
Neuf
Paperback or Softback
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Paperback or Softback. Etat : New. The Logic of Provability. Book. N° de réf. du vendeur BBS-9780521483254
Quantité disponible : 5 disponible(s)
Image d'archives
The Logic of Provability
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521483255
ISBN 13 : 9780521483254
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521483254
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic of Provability
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521483255
ISBN 13 : 9780521483254
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 698488
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Logic of Provability (Paperback)
Edité par
Cambridge University Press, Cambridge, 1995
ISBN 10 : 0521483255
ISBN 13 : 9780521483254
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. The relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9780521483254
Quantité disponible : 1 disponible(s)
Image d'archives
The Logic of Provability
Edité par
Cambridge University Press CUP, 2008
ISBN 10 : 0521483255
ISBN 13 : 9780521483254
Neuf
Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 316 Index. N° de réf. du vendeur 26440480
Quantité disponible : 4 disponible(s)
Image d'archives
The Logic of Provability
Edité par
Spain: Cambridge Univ Pr, 1995
ISBN 10 : 0521483255
ISBN 13 : 9780521483254
Ancien ou d'occasion
Soft cover
Vendeur : Bingo Books 2, Vancouver, WA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Soft cover. Etat : Near Fine. soft cover in near fine condition. N° de réf. du vendeur 127913
Quantité disponible : 1 disponible(s)