Photo 1 sur 1
Il y a quelque chose à propos de Gödel : le guide complet du théorème d'incomplétude
by Berto, Francesco | PB | VeryGood
État :
“May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend ”... En savoir plussur l'état
Expédition :
Lieu : Aurora, Illinois, États-Unis
Livraison :
Livraison prévue entre le mer. 12 juin et le sam. 15 juin à 43230
Renvois :
Renvoi sous 30jours. Le vendeur paie les frais de renvoi. En savoir plus- pour en savoir plus sur les renvois
Paiements :
Magasinez en toute confiance
Informations sur le vendeur
- 99% d'évaluations positives
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :196297953201
Dernière mise à jour : mars 16, 2024 23:59:38 HAEAfficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- Très bon
- Remarques du vendeur
- Binding
- Paperback
- Weight
- 0 lbs
- Product Group
- Book
- IsTextBook
- No
- ISBN
- 9781405197670
- Subject Area
- Biography & Autobiography, Mathematics, Philosophy
- Publication Name
- There's Something about Gödel : the Complete Guide to the Incompleteness Theorem
- Item Length
- 9 in
- Publisher
- Wiley & Sons, Incorporated, John
- Subject
- History & Philosophy, General, Logic, Science & Technology
- Publication Year
- 2009
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.8 in
- Item Width
- 5.9 in
- Item Weight
- 14.4 Oz
- Number of Pages
- 256 Pages
À propos de ce produit
Product Information
Berto's highly readable and lucid guide introduces students and the interested reader to G del's celebrated Incompleteness Theorem , and discusses some of the most famous - and infamous - claims arising from G del's arguments. Offers a clear understanding of this difficult subject by presenting each of the key steps of the Theorem in separate chapters Discusses interpretations of the Theorem made by celebrated contemporary thinkers Sheds light on the wider extra-mathematical and philosophical implications of G del's theories Written in an accessible, non-technical style
Product Identifiers
Publisher
Wiley & Sons, Incorporated, John
ISBN-10
1405197676
ISBN-13
9781405197670
eBay Product ID (ePID)
74860918
Product Key Features
Publication Name
There's Something about Gödel : the Complete Guide to the Incompleteness Theorem
Format
Trade Paperback
Language
English
Subject
History & Philosophy, General, Logic, Science & Technology
Publication Year
2009
Type
Textbook
Subject Area
Biography & Autobiography, Mathematics, Philosophy
Number of Pages
256 Pages
Dimensions
Item Length
9 in
Item Height
0.8 in
Item Width
5.9 in
Item Weight
14.4 Oz
Additional Product Features
LCCN
2009-020156
Intended Audience
Scholarly & Professional
Lc Classification Number
Qa9.54b4713 2009
Reviews
"This is a beautifully clear and accurate presentation of the material, with no technical demands beyond what is required for accuracy, and filled with interesting philosophical suggestions." (John Woods, University of British Columbia) "There's Something about G¨odel is a bargain: two books in one. The first half is a gentle but rigorous introduction to the incompleteness theorems for the mathematically uninitiated. The second is a survey of the philosophical, psychological, and sociological consequences people have attempted to derive from the theorems, some of them quite fantastical." (Philosophia Mathematica, 2011) "There is a story that in 1930 the great mathematician John von Neumann emerged from a seminar delivered by Kurt Gödel saying: 'It's all over.' Gödel had just proved the two theorems about the logical foundations of mathematics that are the subject of this valuable new book by Francesco Berto. Berto's clear exposition and his strategy of dividing the proof into short, easily digestible chunks make it pleasant reading ... .Berto is lucid and witty in exposing mistaken applications of Gödel's results ... [and] has provided a thoroughly recommendable guide to Gödel's theorems and their current status within, and outside, mathematical logic." ( Times Higher Education Supplement , February 2010)
Table of Content
Prologue. Acknowledgments. Part I: The Gödelian Symphony. 1 Foundations and Paradoxes. 1 "This sentence is false". 2 The Liar and Gödel. 3 Language and metalanguage. 4 The axiomatic method, or how to get the non-obvious out of the obvious. 5 Peano''s axioms ... . 6 ... and the unsatisfied logicists, Frege and Russell. 7 Bits of set theory. 8 The Abstraction Principle. 9 Bytes of set theory. 10 Properties, relations, functions, that is, sets again. 11 Calculating, computing, enumerating, that is, the notion of algorithm. 12 Taking numbers as sets of sets. 13 It''s raining paradoxes. 14 Cantor''s diagonal argument. 15 Self-reference and paradoxes. 2 Hilbert. 1 Strings of symbols. 2 "... in mathematics there is no ignorabimus ". 3 Gödel on stage. 4 Our first encounter with the Incompleteness Theorem ... . 5 ... and some provisos. 3 Gödelization, or Say It with Numbers! 1 TNT. 2 The arithmetical axioms of TNT and the "standard model" N. 3 The Fundamental Property of formal systems. 4 The Gödel numbering ... . 5 ... and the arithmetization of syntax. 4 Bits of Recursive Arithmetic ... . 1 Making algorithms precise. 2 Bits of recursion theory. 3 Church''s Thesis. 4 The recursiveness of predicates, sets, properties, and relations. 5 ... And How It Is Represented in Typographical Number Theory. 1 Introspection and representation. 2 The representability of properties, relations, and functions ... . 3 ... and the Gödelian loop. 6 "I Am Not Provable". 1 Proof pairs. 2 The property of being a theorem of TNT (is not recursive!) 3 Arithmetizing substitution. 4 How can a TNT sentence refer to itself? 5 γ 6 Fixed point. 7 Consistency and omega-consistency. 8 Proving G1. 9 Rosser''s proof. 7 The Unprovability of Consistency and the "Immediate Consequences" of G1 and G2. 1 G2. 2 Technical interlude. 3 "Immediate consequences" of G1 and G2. 4 Undecidable1 and undecidable2. 5 Essential incompleteness, or the syndicate of mathematicians. 6 Robinson Arithmetic. 7 How general are Gödel''s results? 8 Bits of Turing machine. 9 G1 and G2 in general. 10 Unexpected fish in the formal net. 11 Supernatural numbers. 12 The culpability of the induction scheme. 13 Bits of truth (not too much of it, though). Part II: The World after Gödel. 8 Bourgeois Mathematicians! The Postmodern Interpretations. 1 What is postmodernism? 2 From Gödel to Lenin. 3 Is "Biblical proof" decidable? 4 Speaking of the totality. 5 Bourgeois teachers! 6 (Un)interesting bifurcations. 9 A Footnote to Plato. 1 Explorers in the realm of numbers. 2 The essence of a life. 3 "The philosophical prejudices of our times". 4 From Gödel to Tarski. 5 Human, too human. 10 Mathematical Faith. 1 "I''m not crazy!" 2 Qualified doubts. 3 From Gentzen to the Dialectica interpretation. 4 Mathematicians are people of faith. 11 Mind versus Computer: Gödel and Artificial Intelligence. 1 Is mind (just) a program? 2 "Seeing the truth" and "going outside the system". 3 The basic mistake. 4 In the haze of the transfinite. 5 "Know thyself": Socrates and the inexhaustibility of mathematics. 12 Gödel versus Wittgenstein and the Paraconsistent Interpretation. 1 When geniuses meet ... . 2 The implausible Wittgenstein. 3 "There is no metamathematics". 4 Proof and prose. 5 The single argument. 6 But how can arithmetic be inconsistent? 7 The costs and benefits of making Wittgenstein plausible. Epilogue. References. Index.
Copyright Date
2009
Dewey Decimal
511.3
Dewey Edition
22
Illustrated
Yes
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :196297953201
Dernière mise à jour : mars 16, 2024 23:59:38 HAEAfficher toutes les modificationsAfficher toutes les modifications
Expédition et manutention
Lieu où se trouve l'objet :
Aurora, Illinois, États-Unis
Expédition :
Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Biélorussie, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guam, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mayotte, Mexique, Micronésie, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Palau, Panama, Papouasie-Nouvelle-Guinée, Paraguay, Pays-Bas, Philippines, Pologne, Porto Rico, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Samoa, Samoa américaines, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Marshall, Îles Salomon, Îles Turks et Caicos, Îles Vierges (États-Unis), Îles Vierges britanniques, Îles du Cap-Vert
Lieux exclus :
Barbade, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Polynésie française, Russie, Réunion, Ukraine, Venezuela
Expédition et manutention | À | Service | Livraison*Voir les remarques sur la livraison |
---|---|---|---|
Expédition sans frais | États-Unis | Economy Shipping | Livraison prévue entre le mer. 12 juin et le sam. 15 juin à 43230 |
15,99 $US (environ 21,97 $C) | États-Unis | Expedited Shipping | Livraison prévue au plus tard le mer. 12 juin à 43230 |
Taxes |
---|
Le vendeur facture une taxe de vente dans |
Taxe de vente pour cet objet (196297953201)
Taxe de vente pour cet objet (196297953201)
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|---|
Missouri (MO) | 8.238% |
Modalités de renvoi
Après réception de l'objet, contactez le vendeur dans un délai de | Mode de remboursement |
---|---|
30 jours | Remboursement |
Les frais d'expédition du renvoi sont à la charge du vendeur.
Détails du paiement
Modes de paiement
Évaluations comme vendeur (5 210 445)
o***o (1067)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Happy with purchase
o***o (1067)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Happy with purchase
i***i (11)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Excellent condition