COMPLÉTUDE, mathématiques

Articles

• CONTINU HYPOTHÈSE DU

  • Écrit par Patrick DEHORNOY
  • 2 220 mots
  La Ω-logique est cohérente : tout énoncé Ω-prouvable est Ω-valide. En revanche, sa complétude, c'est-à-dire la question de savoir si tout énoncé Ω-valide est Ω-prouvable, reste pour le moment une conjecture, simplement appelée la Ω-conjecture. Woodin donne plusieurs arguments étayant la Ω-conjecture....

• ROBINSON ABRAHAM (1918-1974)

  • Écrit par Daniel ANDLER
  • 1 127 mots

  Mathématicien et logicien américain d'origine allemande.

  Né à Waldenburg, en Allemagne (l'actuelle Walbrzych polonaise), dans une famille intellectuelle sioniste, Abraham Robinson émigre en Palestine avec sa famille en 1933. Tout en gagnant sa vie et en suivant l'entraînement militaire...