15 books for « yves girard o c s o »Edit

‎Les mathématiques aujourd'hui , (Les formes - La Topologie des mirages - Les variétés à trois dimensions - Les surfaces minimales - Le retournement de la sphère - Les empilements de sphères - La théorie des noeuds - Le mouvement brownien et la théorie du potentiel - Nombres et structures - La recherche des nombres premiers - Une théorie géométrique des ordinaux - Les nombres transcendants - Les mathématiques de la cryptographie à clef révélée - Le théorème géant - Logique et calcul - Les suites aléatoires et les démonstrations mathématiques - Le calcul parallèle - Les machines de Turing - L'efficacité des algorithmes - Les problèmes intraséquement difficiles - Le paradoxe de Stein - Mathématiques constructives)‎

‎Belin , Bibliothèque Pour la Science Malicorne sur Sarthe, 72, Pays de la Loire, France 1986 Book condition, Etat : Bon relié, cartonnage éditeur blanc, illustré par quatres surfaces minimales In-4 1 vol. - 215 pages‎

‎très nombreuses illustrations dans le texte en noir et blanc, quelques-unes en couleurs nouvelle édition française, 1986 Contents, Chapitres : Marcel Berger : Préface - 1. Les formes : Walter Tape : La Topologie des mirages - William Thurston et Jeffrey Weeks : Les variétés à trois dimensions - J. P. Bourguignon, H. B. Lawson et C. Margerin : Les surfaces minimales - Bernard Morin et Jean-Pierre Petit : Le retournement de la sphère - N. Sloane : Les empilements de sphères - E. Belaga : La théorie des noeuds - Reuben Hersh et Richard Griego : Le mouvement brownien et la théorie du potentiel - 2. Nombres et structures : Carl Pomerance : La recherche des nombres premiers - Jean-Yves Girard : Une théorie géométrique des ordinaux - François Gramain : Les nombres transcendants - Martin Hellman : Les mathématiques de la cryptographie à clef révélée - Daniel Gorenstein : Le théorème géant - 3. Logique et calcul : Gregory Chaitin : Les suites aléatoires et les démonstrations mathématiques - G. Ruggiu, F. Boussinot, H. Alaiwan et Tran Van Khai : Le calcul parallèle - John Hopcroft : Les machines de Turing - Harry Lewis et Christos Papadimitriou : L'efficacité des algorithmes - Larry Stockmeyer et Ashok Chandra : Les problèmes intraséquement difficiles - Bradley Efron et Carl Morris : Le paradoxe de Stein - Allan Calder : Mathématiques constructives - Index - Auteurs et Bibliographie cartonnage à peine jauni, coins du plat inférieur à peine émoussés, légère petite déchirure sans manque sur le coin inférieur gauche du plat supérieur, sinon en bon état, intérieur propre, papier à peine jauni‎

‎LE THEOREME DE GODEL‎

‎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)‎

‎SEUIL COUVERTURE SOUPLE ETAT NEUF‎

‎Le Théorème de GÖDELTraduit par Jean-Baptiste Scherrer‎

‎Seuil 1989‎

‎L'Amour est vivant !‎

‎PM-DX2-C291, Anne Sigier 2001‎

‎Assez bon‎

‎Qui a lavé ton visage ?‎

‎PM-DX2-C341, Anne Sigier 1994‎

‎Très bon‎

‎Les Injustices de l'amour‎

‎PM-DX2-C306, Anne Sigier, Québec 1996‎

‎Assez bon‎

‎MES LARMES d'ETERNITE‎

‎Un ouvrage de 145 pages, format 155 x 215 mm, broché couverture couleurs, publié en 1995, Anne Sigier, collection "Va Boire à ta Source", bon état‎

‎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‎

‎Médiations - revue des expressions contemporaines : n°1 à 7, 1er trimestre 1961- printemps 1964 -‎

‎ Paris : Editions de Minuit puis Gonthier, 1961-1964 - 7 volumes in-8 (15,5x23,5 cm) brochés, rhodoïds imprimés pour les numéros 6 et 7. Direction : Stanley-A. Miesegaes. Rédaction : Jean-Louis Ferrier et Jean Ricardou. Revue trimestrielle de littérature et d'esthétique comprenant des cahiers de poésie. Textes de Roland Barthes, Yves Berger, Pierre Boulez, Michel Butor, Andrée Chedid, Hubert Damisch, Christian Dotremont, Jean Dubuffet, Lawrence Durrell, Carl Einstein, Jean-Pierre Faye, René Girard, Roger Giroux, Lucien Goldmann, Bernard Groethuysen, Martin Heidegger, Robert Lapoujade, Henri Lefebvre, Jean Malrieu, André Masson, Maurice Merleau-Ponty, Abraham Moles, Eugenio Montale, Claude Ollier, Octavio Paz, André Pieyre de Mandiargues, Max Planck, Francis Ponge, Alain Robbe-Grillet, Jean-Paul Sartre, Jean-Louis Schefer, Claude Simon, etc. Edition originale de la collection, complète et en bon état. ‎

‎Lève-toi, resplendis !‎

‎Anne Sigier. 1987. In-8. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Quelques rousseurs. 194 pages - papier jauni.. . . . Classification Dewey : 240-Théologie morale et spirituelle‎

‎ Classification Dewey : 240-Théologie morale et spirituelle‎

‎La machine de Turing - Collection Points Sciences n°131.‎

‎Seuil. 1999. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 174 pages.. . . . Classification Dewey : 510-Mathématiques‎

‎Collection Points Sciences n°131 - traduit de l'anglais par Julien Basch et Patrice Blanchard. Classification Dewey : 510-Mathématiques‎

‎LES PRECURSEURS UN ITINERAIRE FRANCISTE DANS LA GUERRE - COLLECTION VERITES POUR L'HISTOIRE.‎

‎DUALPHA. 2010. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 137 pages.. . . . Classification Dewey : 940.53-Seconde Guerre mondiale 1939-1945‎

‎COLLECTION VERITES POUR L'HISTOIRE. Classification Dewey : 940.53-Seconde Guerre mondiale 1939-1945‎

‎BRAISE SILENCIEUSE‎

‎SIGIER ANNE. 1995. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 140 pages augmentées d'un marque-page.. . . . Classification Dewey : 200-RELIGION‎

‎ Classification Dewey : 200-RELIGION‎

‎VIALLAT.‎

‎Paris, Centre Georges Pompidou, 1982. In-8 carré, broché, illustrations.‎

‎État proche du neuf. [7563] 55 €.‎

‎Médiations, N°1, Les éditions de minuit, 1961. In-8°, broché.‎

‎[15955]‎