COMPLÉTUDE, mathématiques

Ce sujet est traité dans les articles suivants :

1.  CONTINU HYPOTHÈSE DU

Écrit par : Patrick DEHORNOY

Dans le chapitre "La Ω-logique de Woodin"  : … extension par forcing de (V, ∈). 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. Il montre en… Lire la suite

2.  ROBINSON ABRAHAM (1918-1974)

Écrit par : Daniel ANDLER

… *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 de la Haganah, il étudie les mathématiques à l'université… Lire la suite