Logique et fondements des mathématiques

A l'époque où se développent les techniques et les modes de pensée liés à l'informatique, l'intelligence artificielle et la modélisation mathématique des processus cognitifs, il importe, pour mieux maîtriser notre modernité, de comprendre son histoire. L'anthologie de Logique et fondements des mathématiques, dont cette première partie rassemble des textes couvrant la période 1850-1914, se propose de contribuer à cette tâche. Nombreuses sont les disciplines contemporaines qui peuvent être tenues pour le développement de ces recherches. Cet ouvrage présente des textes de Bolzano, De Morgan, Boole, Frege, Cantor, Peirce, Dedekind, Schröder, Hilbert, Russell, Richard, König, Baire, Borel, Hadamard, Lebesgue, Zermelo, Brouwer, Poincaré.