Recherche avancée

Les métamorphoses du calcul - Une étonnante histoire de mathématiques

Gilles Dowek

  • Le Pommier

  • Broché

  • Paru le : 22/09/2011

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 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 de 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
  • LA CRISE DE LA METHODE AXIOMATIQUE
    • La théorie intuitionniste des types
    • La démonstration automatique
    • La vérification des démonstrations

Fiche technique

  • Date de parution : 22/09/11
  • Editeur : Le Pommier
  • Collection : Poche-Le pommier
  • ISBN : 978-2-7465-0561-2
  • EAN : 9782746505612
  • Présentation : Broché
  • Nb. de pages : 231 pages
  • Poids : 0,175 Kg
  • Dimensions : 11,0 cm × 18,0 cm × 1,0 cm
8,50 € -5% 8,08 €
Expédié sous 4 à 8 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 directeur de recherche à l'INRIA. Il a enseigné à l'Ecole polytechnique, a été expert pour la NASA et le ministère de l'Education nationale.
Du même auteur :
Ce titre est également présent dans les rayons :
Les métamorphoses du calcul. Une étonnante histoire de...
Gilles Dowek
-5% 8,08 € 8,50 €
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...