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

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)

Lapalus

p. 7-8

Présentation du colloque

de Possel, René

p. 9-17

Blaise Pascal et la recherche scientifique de tous les temps

Tonnelat, M. A.

p. 19-22

Pascal, l'homme, le nombre et l'infini

Mercier, André

p. 23-36

Classes of models and sets of sentences with the intersection property

Rabin, Michael O.

p. 39-53

Le définitionnisme

Krasner, Marc

p. 55-81

Observations concernant la théorie de la définition

Beth, E. W.

p. 83-87

Pascals Kritik an der axiomatischen Methode

Lorenzen, Paul

p. 89-100

Méthode et problèmes de l'intuitionnisme

Heyting, A.

p. 101-105

L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications

Mostowski, A.

p. 107-116

Sur les invariants calculables

Markov, A. A.

p. 117-120

Remarques sur l'imprédicativité

Bernays, P.

p. 121-122