Accueil
 
  • Revues
  • Séminaires
  • Livres
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Livres
  • Thèses
  • Auteurs
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
NOT
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Plein texte
  • Annales scientifiques de l'Université de Clermont. Mathématiques
  • Tome 7 (1962)
  • no. 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
  • À propos
  • Aide
  • Mentions légales
  • Contact
 

Développé par

 

Soutenu par

 
 

Partenaire de