Photo 1 sur 5
Logique de preuve : -- Godel, Rosser, Solovay par Christopher Von Bulow allemand
État :
Expédition :
Lieu : Springfield, Oregon, États-Unis
Livraison :
Livraison prévue entre le lun. 17 juin et le jeu. 20 juin à 43230
Renvois :
Paiements :
Magasinez en toute confiance
Informations sur le vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :226154910151
Caractéristiques de l'objet
- État
- Book Title
- Beweisbarkeitslogik
- ISBN-13
- 9783832512958
- ISBN
- 9783832512958
- Subject Area
- Mathematics, Philosophy
- Publication Name
- Beweisbarkeitslogik : -- Gödel, Rosser, Solovay --
- Item Length
- 9.4 in
- Publisher
- Logos Verlag Berlin
- Subject
- General
- Publication Year
- 2006
- Series
- Logische Philosophie Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- German
- Item Width
- 6.6 in
- Item Weight
- 7.5 Oz
- Number of Pages
- 312 Pages
À propos de ce produit
Product Information
Kurt Godel erschutterte 1931 die mathematische Welt mit seinem Unvollstandigkeitssatz. Godel zeigte, wie fur jedes noch so starke formale System der Arithmetik ein Satz konstruiert werden kann, der besagt: "Ich bin nicht beweisbar." Wurde das System diesen Satz beweisen, so wurde es sich damit selbst Lugen strafen. Also ist dies ein wahrer Satz, den es nicht beweisen kann: Es ist unvollstandig. John Barkley Rosser verstarkte spater Godels Ergebnisse, wobei er die Reihenfolge miteinbezog, in der Satze bewiesen werden, gegeben irgendeine Auffassung von "Beweis". In der Beweisbarkeitslogik werden die formalen Eigenschaften der Begriffe "beweisbar" und "wird fruher bewiesen als" mit modallogischen Mitteln untersucht: Man liest den notwendig - Operator als beweisbar und gibt formale Systeme an, die die Modallogik der Beweisbarkeit erfassen.Diese Arbeit richtet sich sowohl an Logik-Experten wie an durchschnittlich vorgebildete Leser. Ihr Ziel ist es, in die Beweisbarkeitslogik einzufuhren und deren wesentliche Resultate, insbesondere die Solovayschen Vollstandigkeitssatze, prazise, aber leicht zuganglich zu prasentieren.
Product Identifiers
Publisher
Logos Verlag Berlin
ISBN-10
3832512950
ISBN-13
9783832512958
eBay Product ID (ePID)
128427158
Product Key Features
Publication Name
Beweisbarkeitslogik : -- Gödel, Rosser, Solovay --
Format
Trade Paperback
Language
German
Subject
General
Publication Year
2006
Series
Logische Philosophie Ser.
Type
Textbook
Subject Area
Mathematics, Philosophy
Number of Pages
312 Pages
Dimensions
Item Length
9.4 in
Item Width
6.6 in
Item Weight
7.5 Oz
Additional Product Features
Series Volume Number
15
Target Audience
College Audience
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :226154910151
Expédition et manutention
Lieu où se trouve l'objet :
Springfield, Oregon, États-Unis
Expédition :
Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, 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, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mexique, Moldavie, Monaco, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Panama, Papouasie-Nouvelle-Guinée, Paraguay, Pays-Bas, Philippines, Pologne, 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, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Vincent-et-les Grenadines, Sainte-Lucie, Salvador, Samoa, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Sri Lanka, Suisse, Suriname, Suède, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, États-Unis, Éthiopie, Île Maurice, Îles Caïmans, Îles Salomon, Îles Turks et Caicos, Î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 |
---|---|---|---|
4,87 $US (environ 6,67 $C) | États-Unis | Expédition au tarif économique (USPS Media MailTM) | Livraison prévue entre le lun. 17 juin et le jeu. 20 juin à 43230 |
Délai de manutention |
---|
Expédition dans les 1 jours ouvrables après réception du paiement. |
Taxes |
---|
Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay. |
Taxe de vente pour cet objet (226154910151)
Taxe de vente pour cet objet (226154910151)
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|
Modalités de renvoi
Détails sur les modalités de renvoi |
---|
Le vendeur refusera les renvois pour cet objet. |
Détails du paiement
Modes de paiement
Catégories populaires de cette Boutique
Évaluations comme vendeur (1 352)
k***l (52)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
It is beautiful and packing was awesome! Thanks for the prompt delivery!
j***8 (338)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Great Ebayer! Thanks again!
t***l (2089)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Sweet! fast shipping. Great buy! Thank you 😊