Recherche avancée

Les Métamorphoses du calcul - Une étonnante histoire des mathématiques

Gilles Dowek

  • Le Pommier

  • Broché

  • Paru le : 05/03/2007

Socle même de la méthode mathématique depuis l'Antiquité grecque, la notion de démonstration s'est profondément transformée depuis le début des années...

› Lire la suite

soixante-dix. Plusieurs avancées mathématiques importantes, non toujours connectées les unes aux autres, remettent ainsi progressivement en cause la prééminence du raisonnement sur le calcul, pour proposer une vision plus équilibrée, dans laquelle l'un et l'autre jouent des rôles complémentaires. Cette véritable révolution nous amène à repenser le dialogue des mathématiques avec les sciences de la nature. Elle éclaire d'une lumière nouvelle certains concepts philosophiques, comme ceux de jugement analytique et synthétique. Elle nous amène aussi à nous interroger sur les liens entre les mathématiques et l'informatique, et sur la singularité des mathématiques qui est longtemps restée l'unique science à ne pas utiliser d'instruments. Enfin, et c'est certainement le plus prometteur, elle nous laisse entrevoir de nouvelles manières de résoudre des problèmes mathématiques, qui s'affranchissent de certaines limites arbitraires que la technologie du passé a imposé à la taille des démonstrations : les mathématiques sont peut-être en train de partir à la conquête d'espaces jusqu'alors inaccessibles.

 › Réduire

Gilles Dowek - Les Métamorphoses du calcul - Une étonnante histoire des mathématiques.

Zoom
Les internautes qui ont aimé ce livre ont aussi apprécié :

Sommaire

Afficher le sommaire
  • UNE ORIGINE ANCIENNE
    • De la préhistoire des mathématiques aux mathématiques grecques
    • Deux mille ans de calcul
  • L'AGE CLASSIQUE
    • La logique des prédicats
    • Du problème de la décision au théorème de Church
    • La thèse de Church
    • Une tentative de donner sa place au calcul en mathématiques : le lambda-calcul
    • La constructivité
    • Les démonstrations constructives et les algorithmes
  • LA CRISE DE LA METHODE AXIOMATIQUE
    • La théorie intuitionniste des types
    • La démonstration automatique
    • La vérification des démonstrations
    • Des nouvelles du terrain
    • Les instruments
    • En finir avec les axiomes ?

Fiche technique

  • Date de parution : 05/03/07
  • Editeur : Le Pommier
  • ISBN : 978-2-7465-0324-3
  • EAN : 9782746503243
  • Présentation : Broché
  • Nb. de pages : 223 pages
  • Poids : 0,26 Kg
  • Dimensions : 13,5 cm × 20,0 cm × 1,7 cm
22,00 € -5% 20,90 €
Expédié sous 3 à 5 jours
Disponible en librairie ?
  • Sous 4 à 8 jours: Decitre Annecy
  • Sous 4 à 8 jours: Decitre Bellecour
  • Sous 4 à 8 jours: Decitre Chambéry
  • Sous 4 à 8 jours: Decitre Confluence
  • Sous 4 à 8 jours: Decitre Ecully
  • Sous 4 à 8 jours: Decitre Grenoble
  • Sous 4 à 8 jours: Decitre Langues du Monde
  • Sous 4 à 8 jours: Decitre Part-Dieu
  • Sous 4 à 8 jours: Decitre Saint-Genis-Laval
 
Ajouter à ma liste

Vos avantages Decitre
  • -5%Sur tous les livres sur les prix éditeurs
  • Satisfait ou remboursé
  • Livraison à domicile gratuite dès 35 €
  • Relais Colis livraison gratuite

À propos de l'auteur

Biographie de Gilles Dowek

Mathématicien, logicien et informaticien, Gilles Dowek est chercheur et professeur à l'Ecole polytechnique. Auteur de plusieurs ouvrages de vulgarisation dont, au Pommier, deux " Petites Pommes du savoir " et un volume de la collection " le collège de la cité il a obtenu en 2000 le Prix d'Alembert des lycéens de la Société Mathématique de France.
Du même auteur :
Ce titre est également présent dans les rayons :
Les Métamorphoses du calcul. Une étonnante histoire des...
Gilles Dowek
-5% 20,90 € 22,00 €
Haut de page
Newsletter

Inscrivez-vous gratuitement !

Evénements Decitre

Agenda des rencontres DecitreTéléchargez l'agenda des rencontres

Service Client

Du lundi au vendredi de 9h à 17h30

Tel. : 0 825 56 10 55 (0,15 € / min)

E-mail : nous contacter

Decitre : permettre à chaque lecteur de trouver ses livres...