Logique et fondements des mathématiques - Anthologie (1850-1914)

Publié par Payot, le 01 décembre 1992

Résumé

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é.

Sémantique et vérité : De Tarski à Davidson

Logique et fondements des mathématiques - Anthologie (1850-1914)

L'introduction a la logique

Une chronique de la seconde moitié du siècle dernier

Entre logique et langage

Figures de la vérité

Recherches sur l'universalisme logique - Russell et Carnap

Critiques