Bernard JAULIN

membre de l'Académie des sciences

MODÈLE

  • Écrit par 
  • Bernard JAULIN, 
  • Bernard VICTORRI, 
  • Hubert DAMISCH, 
  • Jean-François RICHARD, 
  • Jean GOGUEL, 
  • Noël MOULOUD, 
  • Raymond BOUDON, 
  • Sylvanie GUINAND
  •  • 24 464 mots

Le langage de la philosophie aiderait peu à éclairer l'origine de la notion de modèle, qui a reçu un emploi très large dans la méthodologie des sciences. Cette origine est technologique : le modèle est d'abord la « maquette », l'objet réduit et maniable qui reproduit en lui, sous une forme simplifiée, « miniaturisée », les propriétés d'un objet de grande […] Lire la suite

POST EMIL LEON (1897-1954)

  • Écrit par 
  • Bernard JAULIN
  •  • 622 mots

Mathématicien américain né à Augustów (Pologne) et mort à New York. Arrivé aux États-Unis en 1904, Emil Post obtint son Ph.D. à l'université Columbia de New York en 1920. Il était membre de l'American Mathematical Society depuis 1918 et de l'Association for Symbolic Logic dès sa fondation en 1935.Sa thèse de doctorat, publiée en 1921, porte sur le calcul propositionnel de A. N. Whitehead et B. Rus […] Lire la suite

RÉCURSIVITÉ, logique mathématique

  • Écrit par 
  • Bernard JAULIN, 
  • Jean-Pierre RESSAYRE, 
  • Kenneth Mc ALOON
  •  • 8 914 mots

Les (semi-) fonctions récursives ont été introduites pour donner un équivalent mathématique à la notion métamathématique intuitive de (semi-) fonction effectivement ou mécaniquement calculable (cf. logique mathématique, chap. 4). Par souci de simplicité, nous considérons ici le cas des fonctions des entiers dans les entiers, bien que l'on puisse définir la notion de récursi […] Lire la suite