Geodesic

Actes du colloque de mathématiques réuni à Clermont à l'occasion du tricentenaire de la mort de Blaise Pascal. Tome 1

Sommaire

Allocution prononcée par M. le Recteur Lapalus à l'ouverture du Colloque International de Mathématiques (4 Juin 1962)
p. 7-8
Présentation du colloque
p. 9-17
Blaise Pascal et la recherche scientifique de tous les temps
p. 19-22
Pascal, l'homme, le nombre et l'infini
p. 23-36
Classes of models and sets of sentences with the intersection property
p. 39-53
Le définitionnisme
p. 55-81
Observations concernant la théorie de la définition
p. 83-87
Pascals Kritik an der axiomatischen Methode
p. 89-100
Méthode et problèmes de l'intuitionnisme
p. 101-105
L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications
p. 107-116
Sur les invariants calculables
p. 117-120
Remarques sur l'imprédicativité
p. 121-122