3 books for « e nagel j r newman k g... »Edit

Sort by

‎E.Nagel J.R.Newman K.Gödel J.Y.Girard‎

Reference : R100072240

(1989)

ISBN : 2020106523

‎Le théorème de Gödel - Collection sources du savoir.‎

‎Seuil. 1989. In-8. Broché. Etat d'usage, Couv. légèrement pliée, Dos plié, Papier jauni. 178 pages.. . . . Classification Dewey : 510-Mathématiques‎


‎Collection sources du savoir - Traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer. Classification Dewey : 510-Mathématiques‎

Logo SLAM Logo ILAB

Phone number : 05 57 411 411

EUR19.80 (€19.80 )

‎ERNEST NAGEL-JAMES R. NEWMAN-KURT GODEL-JEAN-YVES GIRARD‎

Reference : ABE-1477910928601

(1989)

‎LE THEOREME DE GODEL‎

‎SEUIL 1989 Soft Cover New‎


‎COLLECTION SOURCES DU SAVOIR-TRADUCTIONS DE L'ANGLAIS ET DE L'ALLEMAND PAR JEAN-BAPTISTE SCHERRER-190 PAGES-14 CM X 20,5 CM-(17E)‎

EUR22.00 (€22.00 )

‎Nagel (Ernest), Newman (James R.), Gödel (Kurt), Girard (Jean-Yves) - Jean-Baptiste Scherrer, traduction‎

Reference : Cyb-7082

(1989)

‎Le théorème de Gödel , Traduction de l'anglais et de l'allemand par Jean-Baptiste Scherrer (Gödel's Proof)‎

‎Seuil , Sources du Savoir Malicorne sur Sarthe, 72, Pays de la Loire, France 1989 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche et rouge In-8 1 vol. - 184 pages‎


‎Quelques figures dans le texte en noir et blanc 1ere traduction en français, 1989 Contents, Chapitres : Préface- 1. Ernest Nagel et James R. Newman : La démonstration de Godel : Introduction - Le problème de la consistance - Les démonstrations de la consistance absolue - La systématisation de la logique formelle - Exemple de démonstration de consistance absolue - Le concept de projection et son application en mathématiques - La démonstration de Gödel (La numération de Gödel - L'arithmétisation des métamathématiques - Le coeur du raisonnement de Gödel) - Conclusions et appendices - 2. Kurt Gödel : Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés - 3. Jean-Yves Girard : Le champ du signe ou la faillite du réductionnisme : La tentation mécaniste : Hilbert - La chute de la maison Hilbert - Quand même ! - Postérité de Gödel - La gödélite - Bibliographie - Index de la démonstration de Gödel - Kurt Gödel, né le 28 avril 1906 à Brünn et mort le 14 janvier 1978 à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain. Son résultat le plus connu, le théorème d'incomplétude de Gödel, affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie. Ces propositions sont qualifiées d'indécidables. Gödel a également démontré la complétude du calcul des prédicats du premier ordre. Il a aussi démontré la cohérence relative de l'hypothèse du continu, montrant qu'elle ne peut pas être réfutée à partir des axiomes admis de la théorie des ensembles, en admettant que ces axiomes soient cohérents. Il est aussi à l'origine de la théorie des fonctions récursives. Il publie ses résultats les plus importants en 1931 à l'âge de 25 ans, alors qu'il travaille encore pour l'université de Vienne (Autriche). (source : Wikipedia) couverture à peine jaunie avec d'infimes traces de pliures aux coins des plats, sans aucune gravité, intérieur frais et propre, cela reste un bon exemplaire de cet ouvrage de référence sur le théorème de Gödel qui est un des fondements de la logique mathématique moderne - nb : grand format de la 1ere édition française avec l'article de Jean-Yves Girard, il ne s'agit pas de la réédition en poche‎

Librairie Internet Philoscience - Malicorne-sur-Sarthe
EUR10.00 (€10.00 )
Get it on Google Play Get it on AppStore
Search - e nagel j r newman k g...
The item was added to your cart
You have just added :

-

There are/is 0 item(s) in your cart.
Total : €0.00
(without shipping fees)
What can I do with a user account ?

What can I do with a user account ?

  • All your searches are memorised in your history which allows you to find and redo anterior searches.
  • You may manage a list of your favourite, regular searches.
  • Your preferences (language, search parameters, etc.) are memorised.
  • You may send your search results on your e-mail address without having to fill in each time you need it.
  • Get in touch with booksellers, order books and see previous orders.
  • Publish Events related to books.

And much more that you will discover browsing Livre Rare Book !