Les Théorèmes D'incomplétude De Gödel de maurice margenstern Format Broché

Les Théorèmes D'incomplétude De Gödel - Margenstern Maurice

Collection: Axiomes
Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

89,10 €

Occasion · Très Bon État

Ou 22,28 € /mois

Livraison : 3,00 €
Livré entre le 22 et le 26 mai

Voir les modes de livraison

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel- envoi soigne en 24/48h

Voir le détail de l'annonce

Nos autres offres

99,00 €

Occasion · Très Bon État

Ou 24,75 € /mois

En savoir plus
- Livraison : 3,00 €
- Livré entre le 23 et le 29 mai
Voir les modes de livraison
smith44livre

PRO

4,9/5 sur 687 ventes

Contacter le vendeur

Afficher la description de l'annonce

Très bon état / Rare devenu introuvable

Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Les Théorèmes D'incomplétude De Gödel de maurice margenstern Format Broché - Livre Mathématiques

Note : 0 0 avis sur Les Théorèmes D'incomplétude De Gödel de maurice margenstern Format Broché - Livre Mathématiques

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Les Théorèmes D'incomplétude De Gödel de maurice margenstern Format Broché
- Livre Mathématiques

Livre Mathématiques - Margenstern Maurice - 01/05/1993 - Broché

Auteur(s) : Margenstern Maurice - Smullyan Raymond-M

Editeur : Elsevier Masson

Collection : Axiomes

Parution : 01/05/1993

Nombre de pages : 134

Nombre de livres : 1

Expédition : 280

Dimensions : 24 x 15.7 x 0.9

ISBN : 2225841950

Résumé :
La logique mathématique est actuellement un domaine d'une grande richesse, qui donne lieu, depuis une soixantaine d'années, à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive. La collection Axiomes se propose d'accueillir des ouvrages de logiciens, depuis le manuel pour l'enseignement jusqu'à l'exposé des recherches les plus récentes. Son but est de couvrir le large spectre de la logique aujourd'hui : théorie des modèles, théorie des ensembles, récursivité, complexité, lambda-calcul et théorie de la démonstration, logiques non classiques... ainsi que son vaste champ d'applications en mathématiques et en informatique. L'importance des théorèmes d'incomplétude de Gödel est peu à peu perçue par le public, après avoir ébranlé la conception que les mathématiciens et les logiciens eux-mêmes avaient de leur propre discipline. Ces théorèmes prouvent, en effet, qu'un système d'axiomes cohérent et suffisamment expressif est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes qui gouvernent la formulation de ces énoncés et leurs déductions. Cependant, la démonstration de ces théorèmes demeure méconnue, hormis par les spécialistes logiciens. Raymond Smullyan relève dans cet ouvrage une gageure a priori impossible : exposer en termes simples et limpides des démonstrations techniquement complexes, sans rien sacrifier à la rigueur mathématique. En effet, malgré l'aridité de la technique originelle de Gödel, les idées force qui ont conduit à ces démonstrations sont relativement accessibles. L'auteur présente ici une synthèse particulièrement brillante de cinquante années de recherche sur les diverses approches de ces théorèmes. La dernière partie de l'ouvrage, en particulier, analyse les conséquences de ces résultats sur les récents développements de la logique modale. Ce livre séduira le spécialiste, qu'il soit mathématicien, logicien, informaticien, cogniticien ou philosophe. Il intéressera également tous les lecteurs désireux de saisir en profondeur les moments clés d'une démarche scientifique du plus haut intérêt.

Biographie:
Raymond Smullyan est professeur à l'université d'Indiana. Ses travaux ont porté sur la logique du premier ordre, la récursivité et les théorèmes d'incomplétude de Gôdel. Maurice Margenstern, traducteur de l'ouvrage, est maître de conférences à l'université de Paris-Sud.

Sommaire:
["L'idée force de la démonstration de Gödel","Le théorème de Tarski pour l'arithmétique","L'incomplétude de l'arithmétique de Peano avec exponentielle","L'arithmétique sans exponentielle","La démonstration de Gödel fondée sur la cohérence","Les systèmes de Rosser","Les théorèmes de représentation de Shepherdson","Définissabilité et diagonalisation","L'indécidabilité de la cohérence","Quelques remarques générales sur la prouvabilité et la vérité","Systèmes avec auto-référence."]

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Les Théorèmes D'incomplétude De Gödel - Margenstern Maurice

Avis sur Les Théorèmes D'incomplétude De Gödel de maurice margenstern Format Broché - Livre Mathématiques

Présentation Les Théorèmes D'incomplétude De Gödel de maurice margenstern Format Broché - Livre Mathématiques

Présentation Les Théorèmes D'incomplétude De Gödel de maurice margenstern Format Broché
- Livre Mathématiques