Ok

En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies. Ces derniers assurent le bon fonctionnement de nos services. En savoir plus.

25/12/2012

Direct Methods for Solving the Boltzmann Equation and Study of Nonequilibrium Flows, Fluid Mechanics and Its Applications V. V. Aristov - relié - janvier 2001

Direct Methods for Solving the Boltzmann Equation and Study of Nonequilibrium Flows, Fluid Mechanics and Its Applications

V. V. Aristov - relié - janvier 2001

EAN 978-0792368311
Date de parution janvier 2001
Editeur Kluwer Academic Pub
Hauteur 24.13 cm
Langues English
Largeur 1.91 cm
Longueur 15.88 cm
Poids 0.61 kg
Divers
Détails Techniques - Illustrations : Non
Nombre de pages 294

 

Pour commander

En savoir plus

12:04 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

LIVRE The lattice boltzmann equation Sauro Succi (Auteur) - relié. Paru en 06/2001

Auteur Sauro Succi
Editeur Oxford Press Libri
Date de parution juin 2001
ISBN 0198503989
EAN 978-0198503989

 

En savoir plus

Commander

 

12:02 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Pour compléter le livre de Cédric Villani "Théorème Vivant" Chapitre 1 p14 L'équation de Boltzmann

Équation de Boltzmann

"L'équation de Boltzmann (1872) est une équation intégro-différentielle de la théorie cinétique qui décrit l'évolution d'un gaz peu dense hors d'équilibre. Elle permet notamment de démontrer lethéorème H, et d'étudier la relaxation du gaz d'un état d'équilibre local1 vers l'équilibre global caractérisé par la distribution de Maxwell des vitesses.

La première solution analytique complète..."

Lire la suite : http://fr.wikipedia.org/wiki/%C3%89quation_de_Boltzmann

 

 

11:58 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

16/12/2012

VIDEO Cédric Villani - La meilleure et la pire des erreurs de Poincaré


Cédric Villani - La meilleure et la pire des... par CIJM

11:19 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

VIDEO Rencontre avec Cédric Villani, auteur de « Théorème vivant »

11:17 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Courbe elliptique

ECClines-3.svg

"En mathématiques, une courbe elliptique est un cas particulier de courbe algébrique, munie entre autres propriétés d'une addition géométrique sur ses points.

Les courbes elliptiques ont de nombreuses applications dans des domaines très différents des mathématiques : elles interviennent ainsi en mécanique classique dans la description du mouvement des toupies, en théorie des nombres dans la preuve du dernier théorème de Fermat, en cryptologie dans le problème de la factorisation des entiers ou pour fabriquer des codes performants.

Contrairement à ce que son nom pourrait laisser croire, l'ellipse n'est pas une courbe elliptique. Le nom des courbes elliptiques vient historiquement de leur association avec les intégrales elliptiques, elles-mêmes appelées ainsi car elles servent en particulier à calculer la longueur d'arcs d'ellipses.

À l'aide d'un choix adapté de coordonnées, une courbe elliptique peut être représentée dans un plan par une équation cubique de la forme :

y^2+a_1 x y + a_3 y = x^3 +a_2 x^2 +a_4 x + a_6 ,

Les coefficients a_1a_2a_3a_4 et a_6 sont des éléments du corps K sur lequel est définie la courbe, mais ils ne sont pas déterminés par la courbe..."

Lire la suite :

http://fr.wikipedia.org/wiki/Courbe_elliptique

11:15 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Vidéo L'intuition scientifique - Andrew Wiles et le théorème de Fermat

10:47 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Grigori Perelman par Cédric Villani 25.10.10

"Grigori Perelman naît le 13 juin 1966 à Leningrad,

l’actuelle Saint-Pétersbourg. Sa mère, intellectuelle

juive, avait renoncé à une carrière de mathématicienne pour se consacrer à l’éducation de ses deux

enfants, Grigori et Lena, tous deux devenus mathématiciens.

À cette époque, les mathématiques constituaient l’un des rares

moyens d’accéder à des trésors bannis par le gouvernement

dans d’autres domaines : le raisonnement logique, la..."

Lire la suite : 

http://cedricvillani.org/wp-content/uploads/2012/10/perel...

 

 

10:40 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

15/12/2012

Création d'un portail mathématique pour l'industrie italienne

La naissance d'un "Portail Mathématique pour l'Industrie Italienne" a été annoncée à la fin du mois de juin lors du congrès biennale de la Société Italienne de Mathématique Appliquée et Industrielle (SIMAI) à Turin. Son objectif est de faire connaitre au monde de l'entreprise l'offre mathématique potentiellement utile au monde industriel. Ci-dessous est reporté un entretien de Roberto Natalini, directeur...

Lire la suite :

http://www.bulletins-electroniques.com/actualites/71448.htm

15:19 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Enquête internationale sur la mathématique et les sciences

Enquête internationale sur la mathématique et les sciences

« Le Québec a de quoi être fier de ses élèves! » - Josée Bouchard

LBR.ca - QUÉBEC, le 11 décembre 2012 - La Fédération des commissions scolaires du Québec (FCSQ) est très heureuse de souligner la réussite des élèves québécois à l'enquête internationale sur la mathématique et les sciences (TEIMS) dont les résultats ont été dévoilés aujourd'hui.

C'est en mathématique de 2e secondaire que les élèves du Québec se sont le plus illustrés avec d'excellents résultats. La performance mérite d'être soulignée puisque les élèves ont non seulement amélioré leurs résultats par rapport aux enquêtes précédentes (2003 et 2007), mais ils se sont classés les premiers au Canada et ont obtenu des résultats nettement supérieurs à la...

Lire la suite : 

http://www.lbr.ca/index.php?pageID=5&idA=19809

15:18 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

NIELS HENRIK ABEL MEMORIAL Publie A L'Occasion Du Centenaire De Sa Naissance. HOLST, Elling STORMER, Carl & SYLOW, L. [Editors]

NIELS HENRIK ABEL MEMORIAL Publie A L'Occasion Du Centenaire De Sa Naissance.

HOLST, Elling STORMER, Carl & SYLOW, L. [Editors]

Détails bibliographiques

 

Titre : NIELS HENRIK ABEL MEMORIAL Publie A ...

Éditeur : Jacob Dybwad [&] Gauthier-Villars [&] B.G. Teubner [&] Williams & Norgate, 1902.

Date d'édition : 1902

Reliure : Hardcover

Edition : 1st Edition


Description :

1st edn. 4to. Rebound in recent gilt lettered blue buckram cloth (Fine). Pp. variously paginated (new endpapers with original printed card covers bound in; no inscriptions), illus with b&w plates and folding facsimile sheets. N° de réf. du libraire 22502

 

EN SAVOIR PLUS 

Commander

15:14 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Niels Henrik ABEL LIVRE 1881 Oeuvres complètes. Nouvelle edition publiee aux frais de l'Etat Norvegien par MM. L. Sylow et S. Lie. Tome premier + Tome second., 2 Volumes (so complete), Abel, Niels Henrik.

 

Oeuvres complètes. Nouvelle edition publiee aux frais de l'Etat Norvegien par MM. L. Sylow et S. Lie. Tome premier + Tome second., 2 Volumes (so complete),

Abel, Niels Henrik.

 

 

Détails bibliographiques

 

Titre : Oeuvres complètes. Nouvelle edition publiee ...

Éditeur : Grondahl & Son, Christiana

Date d'édition : 1881

Reliure : Hardcover


 

Description :

VIII, 621 S.; 1 Bl., 338 S., 2 Bl., Originalausgabe! Original (French) Edition from 1881! Rückentitel in Deutsch: "Abels Werke I, II". Lexikon bedeutender Mathematiker, S. 9. Abel, Niels Henrik (1802-1829) lieferte grundlegende Arbeiten zur Auflösungstheorie algebraischer Gleichungen, über elliptische Funktionen und zur Reihenlehre, starb als 27jähriger vor Antritt einer Anstellung als PD an der Berliner Universität an Tuberkulose. Sprache: fr Gewicht in Gramm: 3320 4°, marmoriertes Halbleinen mit Rückentitel, Bibliotheks-Exemplar (ordnungsgemäß entwidmet) mit kleinem Rückenschild, Stempel auf Vortitel, Kanten leicht berieben, insgesamt sehr gutes und innen sauberes Exemplar, N° de réf. du libraire 62366

 

EN SAVOIR PLUS

 

 

 

 

 

15:12 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Grigori Perelman face à la conjecture de Poincaré (French Edition) (ISBN 10: 2100508687 / ISBN 13: 9782100508686 ) O'Shea, Donal

Grigori Perelman face à la conjecture de Poincaré (French Edition)

(ISBN 10: 2100508687 / ISBN 13: 9782100508686 )

O'Shea, Donal

Détails bibliographiques

 

Titre : Grigori Perelman face à la conjecture de ...

Éditeur : DUNOD

Date d'édition : 2007

Reliure : PAPERBACK

Etat du livre : New


Description :

2100508687 Thematic: Scientifiques et techniques. Language: French. Format: Poche. Ed: DUNOD (06/13/2007) Weight: 502g. / 1.11lbs Great Customer Service! Shipped by courier tracking. N° de réf. du libraire 9782100508686

 

15:04 Publié dans Grigori Perelman | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Jules Henri POINCARE Thèses présentées a la Faculté des sciences de Paris pour obtenir le grade de docteur des sciences mathématiques. 1re These. Sur les propriétés des fonctions définies par les équations aux différences partielles. 2e These

 

Thèses présentées a la Faculté des sciences de Paris pour obtenir le grade de docteur des sciences mathématiques. 1re These. Sur les propriétés des fonctions définies par les équations aux différences partielles. 2e These. Propositions données par la Faculté. Soutenues le 1er aout 1879, devant la commission d'examen.

POINCARÉ, Jules Henri.

Détails bibliographiques

 

Titre : Thèses présentées a la Faculté des sciences ...

Éditeur : Gauthier-Villars, Paris

Date d'édition : 1879

Edition : First edition


Description :

A fine copy, with the original printed wrappers, of Poincaré's thesis for his doctorate in science from the University of Paris. "Poincaré's doctoral thesis [was] on differential equations (not on methods of solution, but on existence theorems), which led to one of his most celebrated contributions to mathematics-the properties of automorphic functions" (Boyer & Merzbach, History of Mathematics, p. 675). "The theory of differential equations and its applications to dynamics was clearly at the center of Poincaré’s mathematical thought; from his first (1878) to his last (1912) paper, he attacked the theory from all possible angles and very seldom let a year pass without publishing a paper on the subject" (DSB XI: 56)."Poincaré's thesis, which was examined by Bouquet, Bonnet and Darboux, concerned the study of integrals of first-order partial differential equations in the neighbourhood of a singular point. It was his second paper of the theory of differential equations and, as Hadamard remarked, it contained a strong pointer towards his future success with the topic and its applications to celestial mechanics: ‘Even Poincaré 's thesis contained a remarkable result which was destined later to provide him with a powerful tool in his researches in celestial mechanics.’ "Looked at in the context of the theory of differential equations already in existence at the time, Poincaré's thesis was the natural convergence of two streams of thought. On the one hand, Cauchy, and later Kovalevskaya, had applied Cauchy’s method of majorants to obtain results about the solutions of partial differential equations in the neighbourhood of an ordinary point, while on the other, Briot and Bouquet. and later Fuchs, using similar methods, had studied the solutions of ordinary differential equations in the neighbourhood of a singular point. Poincare followed both Cauchy, by considering the solutions of partial differential equations, and Briot and Bouquet, by considering these solutions in the neighbourhood of a singular point" (June Barrow-Green, Poincaré and the three-body problem, Vol. 2, p. 44). "The development of mathematics in the nineteenth century began under the shadow of a giant, Carl Friedrich Gauss; it ended with the domination by a genius of similar magnitude, Henri Poincaré. Both were universal mathematicians in the supreme sense, and both made important contributions to astronomy and mathematical physics. Poincaré remains the most important figure in the theory of differential equations and the mathematician who after Newton did the most remarkable work in celestial mechanics" (DSB XI: 52). Large 4to (262 x 210 mm), pp [iv] 93 [3], bound in a fine recent half cloth binding over marbled boards, gilt morocco title label to spine, original brown printed wrappers with bound (small hole to the front wrapper, paper flaw?), a fine copy copy. N° de réf. du libraire 2928

 

Pour commander

 

En savoir plus

 

14:59 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Henri POINCARÉ LIVRE de 1890 Sur le problème des trois corps et les équations de la dynamique. (In: Acta Mathematica, vol. 13)

Sur le problème des trois corps et les équations de la dynamique. (In: Acta Mathematica, vol. 13)

POINCARÉ, Henri

Détails bibliographiques

 

Titre : Sur le problème des trois corps et les ...

Éditeur : F.&G. Beijer, Stockholm

Date d'édition : 1890

Reliure : Couverture rigide

Etat du livre : Très bon

Edition : Edition originale


Description :

Demi reliure à coins en basane de l'époque, dos lisse portant le titre doré. Un volume in quarto (26,4x21,3 cm) de xii / 270-(2) / 174 / (2) pages Reliure légèrement frottée. Marge de la page 155 fendillée Les 174 dernières pages sont occupées par le mémoire primé d'Appell «Sur les Intégrales Fonctions de multiplicateurs et une demande au Développement". Première et seule édition de ce traité fondamental de Poincaré. Henri Poincaré est le dernier mathématicien universel. Il a crée une branche importante des mathématiques (la topologie). De part ses travaux, précédent le mémoire d'Einstien, certains le considèrent comme le père de la relativité restreinte. Le "problème des trois corps" est le traité fondateur de la théorie du chaos. Dans ce mémoire, Poincaré tente de répondre au problème posé par le roi Oscar II de Suède et de Norvège. Il s'agissait de décrire le système formé par N corps célestes dont les mouvements sont régis par la loi de l'attraction universelle. Cela aurait permis de savoir si le système solaire est stable ou non. Ce problème est d'une grande compléxité, et Poincaré n'y répond que partiellement : il traite le cas d'un système à trois corps. Il y développe de nouveaux outils (section de Poincaré), démontre la stabilité d'un système à trois corps avec l'un de masse nulle (correspond en gros à un système soleil, terre, lune) et y découvre un système extrèmement sensible aux conditions initiales : une variation minime dans la position initiale de la trajectoire peut modifier radicalement son comportement à long terme. C'est la découverte des phénomènes chaotiques dans les systèmes dynamiques. 1152 g. N° de réf. du libraire 538

 

14:56 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Poincare, Henri Leçons de mécanique céleste professées a la Sorbonne [Tome I, Tome II, Tome III] (Lessons of Celestial Mechanics)

Leçons de mécanique céleste professées a la Sorbonne [Tome I, Tome II, Tome III] (Lessons of Celestial Mechanics)

Poincare, Henri

 

Description :

Paris: Gauthier-Villars, 1905-1910. First Edition. 3 volumes in 4, vi, 365, [3]; [4], 165, [3]; [4], 136, [2], + 2 ad.; [4], 472. Illustrated with text figures and two folding world maps in Vol. III. 10x6½, original grey printed wrappers. First edition of a work fundamental to celestial mechanics. Poincaré was one of the greatest mathematical minds of the 19th century; his work on the "three-body problem" (the gravitational interplay of three masses) leads some to credit him as a co-discoverer of the special theory of relativity, along with Einstein and Lorentz. The present is one of two of Poincaré's major works on the subject. With the inkstamp of Paul Berg. Scarce, no copies appear in ABPC for the past 20 years. Some light wear and staining/darkening to spines, back wrapper of Vol. III chipped at edges, minor splitting at joints, but overall very good or better with clean pages partially unopened. Another one of those sets you just have to hold in your hands and stare at sometimes. L1516. N° de réf. du libraire 000234

 

En savoir plus

 

POUR COMMANDER

14:53 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Gotlob FREGE Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet, I-II [all published].

 

Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet, I-II [all published].

FREGE, Gotlob.

 

Détails bibliographiques

 

Titre : Grundgesetze der Arithmetik. ...

Éditeur : Hermann Pohle 1893-1903, Jena

Date d'édition : 1893

Edition : First edition


Description :

A fine copy of Frege’s magnum opus, from the library of American philosopher Paul Weiss. "The climax of Frege's career as a philospher should have been the publication of the two volumes of ‘Die Grundgesetze der Arithmetik’ (1893-1903), in which he set out to present in formal manner the logicist construction of arithmetic on the basis of pure logic and set theory. This work was to execute the task which had been sketched in the earlier books on the philosophy of mathematics: it was to enunciate a set of axioms which would be recognizably truths of logic, to propound a set of undoubtedly sound rules of inference, and then to present, one by one, derivations by these rules from these axioms of standard truths of arithmetic. The magnificent project aborted before it was ever completed. The first volume was published in 1893; the second volume did not appear until 1903 and while it was in the press Frege received a letter from Russell pointing out that the fifth of the initial axioms made the whole system inconsistent. This was the axiom which, in Frege's words, allowed 'the transition from a concept to its extension', the transition which was essential if it was to be established that numbers were logical objects. Frege’s system, with this axiom, permitted the formation of the class of all classes that are not members of themselves. But the formation of such a class, Russell pointed out, leads to paradox: if it is a member of itself then it is not a member of itself; if it is not a member of itself, then it is a member of itself. A system which leads to such paradox cannot be logically sound. With good reason, Frege was utterly downcast by this discovery, though he strove to patch his system by weakening the guilty axiom. We now know that his logicist programme cannot ever be successfully carried out. The path from the axioms of logic to the theorems of arithmetic is barred at two points. First, as Russell's paradox showed, the naive set theory which was part of Frege’s logical basis was inconsistent in itself, and the remedies which Frege proposed for this proved ineffective. Thus, the axioms of arithmetic cannot be derived from purely logical axioms in the way he hoped. Secondly, the notion of 'axioms of arithmetic' was itself latter called in question when Gödel showed that it was impossible to give arithmetic a complete and consistent axiomatization. None the less, the concepts and insights developed by Frege in the course of expounding his logicist thesis have a permanent interest which is unimpaired by the defeat of that programme at the hands of Russel and Gödel". (The Oxford Companion to Philosophy). Provenance: with the signature of Paul Weiss to the front free end paper. The American philosopher Paul Weiss (1901-2002) who taught at Bryn Mawr and Yale, co-edited (with Charles Hartshorne) the first six volumes of The Collected Papers of Charles Sanders Peirce (Harvard University Press, 1931-1935), and in 1947 founded the Metaphysical Society of America and its academic journal, Review of Metaphysics, serving as the journal’s editor until 1964. Two volumes. Large 8vo: 246 x 163 mm. The two volumes bound together in early twentieth century dark blue cloth with paper spine label, a fine and clean copy. XXXII, 253, (1); (2:blank),xv, (1), 265, (1) pp. N° de réf. du libraire 2309

 

EN SAVOIR PLUS

 

Commander

14:36 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Ergebnisse eines mathematischen Kolloquiums, unter Mitwirkung von Kurt Gödel und Georg Nöbeling. Herausgegeben von Karl Menger. Heft 1-7 GÖDEL, Kurt

 

Ergebnisse eines mathematischen Kolloquiums, unter Mitwirkung von Kurt Gödel und Georg Nöbeling. Herausgegeben von Karl Menger. Heft 1-7

GÖDEL, Kurt.

 

Description :

An absolutely mint set, in the original wrappers, of these rare proceedings to which Gödel contributed fifteen important papers and remarks on the foundations of logic and mathematics. "By invitation, in October 1929 Gödel began attending Menger’s mathematics colloquium, which was modeled on the Vienna Circle. There in May 1930 he presented his dissertation results, which he had discussed with Alfred Tarski three months earlier, during the latter’s visit to Vienna. From 1932 to 1936 he published numerous short articles in the proceedings of that colloquium (including his only collaborative work) and was coeditor of seven of its volumes. Gödel attended the colloquium quite regularly and participated actively in many discussions, confining his comments to brief remarks that were always stated with the greatest precision." (D.S.B. XVII: 350). The papers are: (1) Ein Spezialfall des Entscheidungsproblems der theoretischen Logik, vol. 2, pp. 27-28; (2) Über Vollständigkeit und Widerspruchsfreiheit, vol. 3, pp. 12-13; (3) Eine Eigenschaft der Realisierungen des Aussagenkalküls, vol. 3, pp. 20-21; (4) Untitled remark following W. T. Parry Ein Axiomensystem für eine neue Art von Implikation (analytische Implikation), vol. 4, p. 6; (5) Über Unabhängigkeitsbeweise im Aussagenkalkül, vol. 4, pp. 9-10; (6) Über die metrische Einbettbarkeit der Quadrupel des R3 in Kugelflächen, vol. 4, pp. 16-17; (7) Über die Waldsche Axiomatik des Zwischenbegriffes, vol. 4), pp. 17-18; (8) Zur Axiomatik der elementargeometrischen Verknüpfungsrelationen, vol. 4, p. 34; (9) Zur intuitionistischen Arithmetik und Zahlentheorie, vol. 4, pp. 34-38; (10) Eine Interpretation des intuitionistischen Aussagenkalküls, vol. 4, pp. 39-40; (11) Reprint of Zum intuitionistischen Aussagenkalkül [Anzeiger der Akademie der Wissenschaften in Wien, vol. 69,1932, pp. 65-66], vol. 4, p. 40; (12) Bemerkung über projektive Abbildungen, vol. 5, p. 1; (13) Diskussion über koordinatenlose Differentialgeometrie (with K. Menger and A. Wald), vol. 5, pp. 25-26; (14) Über die Produktionsgleichungen der ökonomischen Wertlehre, vol. 7, p. 6; (15) Über die Länge von Beweisen, vol. 7, pp. 23-24. John Dawson in his Annotated Bibliography of Gödel has the following summaries of these papers: (1) This undated contribution was not presented to a regular meeting of the colloquium, but appeared among the Gesammelte Mitteilungen for 1929/30. In the context of the first-order predicate calculus without equality, Gödel describes an effective procedure for deciding whether or not a formula with prenex form (3x1.xn)(y1y2)(3z1.zn)A(xi,yi,zi) is satisfiable; the procedure is related to the method used in [his dissertation Die Vollstandigkeit der Axiome des logischen Funktionenkalküls] to establish the completeness theorem; (2) Closely related to [Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, 1931], [this paper] notes extensions of the incompleteness theorems to a wider class of formal systems. The system considered in [his 1931 paper] is based on Principia Mathematica and allows variables of all finite types. Here Gödel observes that any finitely-axiomatizable, omega-consistent formal system S with just substitution and implication (modus ponens) as rules of inference will possess undecidable propositions whenever S extends the theory Z of first-order Peano arithmetic plus the schema of definition by recursion; and indeed, that the same is true of infinite axiomatizations so long as the class of Gödel numbers of axioms, together with the relation of immediate consequence under the rules of inference, is definable and decidable in Z; (3) In answer to a question of Menger, Gödel shows that given an arbitrary realization of the axioms of the propositional calculus in a structure with operations interpreting the connectives ~ and ?, the elements of the structure can always be partitioned into two disjoint classes behaving exactly like the classes of true and false pro. N° de réf. du libraire 2713

EN SAVOIR PLUS

 

Pour commander

14:31 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

On Computable Numbers, with an Application to the Entscheidungsproblem. TURING, Alan Mathison.

 

On Computable Numbers, with an Application to the Entscheidungsproblem.

TURING, Alan Mathison.

 

Détails bibliographiques

 

Titre : On Computable Numbers, with an Application ...

Éditeur : C.F. Hodgson & Son 1936-1937, London

Date d'édition : 1936

Edition : First edition


Description :

A fine set, not ex-library, of arguably the single most important theoretical work in the history of computing. In this paper Turing introduced the concept of a ‘universal machine’, an imaginary computing device designed to replicate the mathematical ‘states of mind’ and symbol-manipulating abilities of a human computer. Turing conceived of the universal machine as a means of answering the last of the three questions about mathematics posed by David Hilbert in 1928: (1) is mathematics complete; (2) is mathematics consistent; and (3) is mathematics decidable. Hilbert's final question, known as the ‘Entscheidungsproblem’, is concerned with whether there exists a definite method, or ‘mechanical process’, that can be applied to any mathematical assertion, and which is guaranteed to produce a correct decision as to whether that assertion is true or not. The logician Kurt Gödel had already in 1931 shown that arithmetic (and by extension mathematics) could not be both consistent and complete. Turing showed, by means of his universal machine, mathematics is undecidable. To demonstrate this, Turing came up with the concept of ‘computable numbers’, which are numbers defined by some definite rule, and thus calculable on the universal machine. These computable numbers would include every number that could be arrived at through arithmetical operations, finding roots of equations, and using mathematical functions like sines and logarithms - every number that could possibly arise in computational mathematics. Turing then showed that these computable numbers could in turn give rise to uncomputable ones, ones that could not be calculated using a definite rule, and that therefore there could be no ‘mechanical process’ for solving all mathematical questions, since computing an uncomputable number was an example of an unsolvable problem. Turing's idea of a ‘universal machine’ was given the name "Turing machine" by Church. The concept of the Turing machine has become the foundation of modern computer science. Origins of Cyberspace 394. Richard Green Library (Christie's sale 2013, lot 326). Erwin Thomas Library T61 and T62. In: Proceedings of the London Mathematical Society, Vol.42: pp.230-265 and Vol.43: pp.544-546 ("A Correction"). The complete volumes offered in near contemporary cloth with gilt spine lettering, completely clean and fresh throughout - a fine set. N° de réf. du libraire 2091

14:28 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook

Luigi Ambrosio/ Yann Brenier/ Giuseppe Buttazzo/ Cedric Villani Optimal Transportation and Applications: Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 2-8, 2001 (Lecture Notes in Mathematics / Fondazione C.I.M.E., F

Optimal Transportation and Applications: Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 2-8, 2001 (Lecture Notes in Mathematics / Fondazione C.I.M.E., Firenze)

(ISBN 10: 354040192X / ISBN 13: 9783540401926 )

Luigi Ambrosio/ Yann Brenier/ Giuseppe Buttazzo/ Cedric Villani

Description :

1st edition. 171 pages. 9.00x6.00x0.50 inches. In Stock. N° de réf. du libraire __354040192X

 

Pour commander 

En savoir plus

 

 

14:23 | Lien permanent | Commentaires (0) | |  del.icio.us | | Digg! Digg |  Facebook