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 526 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 […] Lire la suite☛ http://www.universalis.fr/encyclopedie/modele/#i_0

POST EMIL LEON (1897-1954)

  • Écrit par 
  • Bernard JAULIN
  •  • 626 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☛ http://www.universalis.fr/encyclopedie/emil-leon-post/#i_0

RÉCURSIVITÉ, logique mathématique

  • Écrit par 
  • Bernard JAULIN, 
  • Jean-Pierre RESSAYRE, 
  • Kenneth Mc ALOON
  •  • 8 946 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☛ http://www.universalis.fr/encyclopedie/recursivite-logique-mathematique/#i_0