George G. Harrap & Co. Non daté. In-8. Relié toilé. Etat d'usage, Couv. convenable, Dos satisfaisant, Quelques rousseurs. 16 pages + 100 pages environ de planches photos en noir et blanc hors texte. Livre en anglais. Non daté, vers 1943.. . . . Classification Dewey : 420-Langue anglaise. Anglo-saxon
With a foreword by The Right Hon. Lord Vansittart. Classification Dewey : 420-Langue anglaise. Anglo-saxon
Garden City Publishing Co. 1930. In-8. Relié toilé. Bon état, Couv. convenable, Dos fané, Intérieur frais. 371 pages. Quelques extraits de partitions in texte. Tranche tachée.. . . . Classification Dewey : 420-Langue anglaise. Anglo-saxon
"""Stories of the great operas and their composers"". Classification Dewey : 420-Langue anglaise. Anglo-saxon"
Alfred A. Knopf In-8 Dust jacket in good condition Hardcover New York 1975
Fine 724 pages. Jacket design by Robert Hallock, small tears, otherwise good.
Nagel (Ernest), Newman (James R.), Gödel (Kurt), Girard (Jean-Yves) - Jean-Baptiste Scherrer, traduction
Reference : Cyb-7082
(1989)
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
Novello and Company / London in8. Sans date. Cartonné.
couverture défraîchie frottée annotations abondantes sur l'intérieur des plats quelques annotations dans le texte intérieur propre par ailleurs
ERNEST NAGEL JAMES R. NEWMAN KURT GODEL JEAN.....
Reference : R200008052
(1989)
ISBN : 2020106523
SEUIL. 1989. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 178 pages.. . . . Classification Dewey : 800-LITTERATURE (BELLES-LETTRES)
Classification Dewey : 800-LITTERATURE (BELLES-LETTRES)
ERNEST NAGEL-JAMES R. NEWMAN-KURT GODEL-JEAN-YVES GIRARD
Reference : ABE-1477910928601
(1989)
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)