SOLDES

Jusqu'à -70% sur une sélection d'articles*

Louis Couturat. Traité de logique algorithmique

Par : Oliver Schlaudt, Mohsen Sakhri
Nous vous prions de nous excuser mais rencontrons momentanément des soucis d'approvisionnement. C’est le moment de vous laisser tenter par nos livres numériques et notre offre occasion.
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 18 novembre
      Cet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages317
  • FormatGrand Format
  • PrésentationBroché
  • Poids0.515 kg
  • Dimensions15,5 cm × 23,5 cm × 1,8 cm
  • ISBN978-3-0348-0307-6
  • EAN9783034803076
  • Date de parution01/12/2010
  • CollectionScience autour de 1900
  • ÉditeurBirkhäuser

Résumé

The manuscript of the Traité de Logiquealgorithnrique resulted from lectures Couturat gave at the University of Caen in 1898/99 on recent developments in symbolic logic, on the relations of logic and mathematics, and on the scope of the methods of mathematics. it is the only one of several manuscripts Couturat mentioned in his correspondence that meanwhile has been rediscovered. It is an outstanding document of the popularization and propagation of symbolic logic around 1900.
It allows to better understand the difficult relations of algebraic logic and the so-called logistic program which surpasses the simple alternative of logic as an application of algebra vs. logic as the foundation of mathematics. The complicated interactions in the historical developments of these two currents become manifest in Couturat s hesitations and changing attitudes within his own intellectual biography.
The publication of this manuscript helps to achieve a much more complete picture of the latter.