About the Book
Ce contenu est une compilation d'articles de l'encyclopedie libre Wikipedia. Pages: 51. Chapitres: Ada, Typage statique, Typage dynamique, Bertrand Russell, Logique intuitionniste, Lambda-calcul, Systeme F, Logique lineaire, Logique combinatoire, Haskell Curry, Type, Correspondance de Curry-Howard, Calcul des constructions, Continuation, Type abstrait, Filtrage par motif, Jean-Yves Girard, Caml, Void, Type algebrique de donnees, Type recursif, Principe de substitution de Liskov, Systeme structural de types, Inference de types, Jean Ichbiah, Langage d'assemblage type, Systeme nominatif de types, Coq, Bertrand Meyer, Robin Milner, Reference, Claude Pair, Conversion de type, Barbara Liskov, PhoX, Duck typing, Simon Peyton Jones, Type unite, Xavier Leroy, Gilles Dowek, Olivier Danvy, Jean-Louis Krivine, Typage fort, Type vide, Philip Wadler, Georges Gonthier, Per Martin-Lof, Jean-Pierre Jouannaud, Benjamin Werner, Principe ouvert/ferme, Lambda cube, Jeannette Wing, Surete du typage. Extrait: Bertrand Arthur William Russell, 3 comte Russell, ne le 18 mai 1872 a Trellech (Monmouthshire), et mort le 2 fevrier 1970 pres de Penrhyndeudraeth (Pays de Galles), est un mathematicien, logicien, philosophe, epistemologue, homme politique et moraliste britannique. Russell est considere comme l'un des plus importants philosophes du siecle. Sa pensee peut etre presentee selon trois grands axes. La logique et le fondement des mathematiques: Russell est, avec Frege, l'un des fondateurs de la logique contemporaine. Son ouvrage majeur, ecrit avec Alfred North Whitehead, a pour titre Principia Mathematica. A la suite des travaux d'axiomatisation de l'arithmetique de Peano, Russell a tente d'appliquer ses propres travaux de logique a la question du fondement des mathematiques (cf. logicisme). Il soutint l'idee d'une philosophie scientifique, et a propose d'appliquer l'analyse logique aux problemes traditionnels, tels que l'analyse de l'esprit, ...
