Jack Howard Silver, mathématicien et philosophe, a consacré sa carrière à l'analyse des frontières de la théorie des ensembles et de la structure des grands cardinaux. Ses travaux à l'Université de Californie à Berkeley ont fourni des outils essentiels pour comprendre l'univers constructible L, influençant la manière dont les logiciens abordent le problème des cardinaux singuliers et la cohérence de divers modèles mathématiques.
Fondements académiques et recherche
Né en 1942 à Missoula, dans le Montana, Silver a obtenu son doctorat à l'Université de Californie à Berkeley en 1966. Son directeur de thèse était Robert Vaught. Il a rejoint le corps professoral de la même institution l'année suivante et y est resté tout au long de sa carrière académique. Entre 1970 et 1972, il a bénéficié d'une bourse de recherche Alfred P. Sloan.
Contributions à la théorie des ensembles
Silver a identifié 0# dans sa thèse de doctorat de 1966, un concept détaillé plus tard dans le manuel de Frank R. Drake Set Theory: An Introduction to Large Cardinals. Dans son article de 1975, « On the Singular Cardinals Problem », il a démontré que pour un cardinal singulier de cofinalité non dénombrable, l'hypothèse généralisée du continu implique 2κ = κ+. Cette preuve a remis en question l'idée prédominante selon laquelle les arguments de forcing pouvaient conduire à la négation du théorème au sein de ZFC. Pour faciliter ses recherches, il a introduit la notion de condition maîtresse, qui a servi d'instrument technique pour les démonstrations de forcing impliquant de grands cardinaux.
Innovations méthodologiques
Ses recherches se sont élargies pour inclure l'effondrement de Silver, une variante de l'effondrement de Levy, qu'il a utilisé pour prouver la cohérence de la conjecture de Chang. Il a démontré que, étant donnée la cohérence d'un cardinal supercompact, on peut construire un modèle où 2κ = κ++ pour un cardinal mesurable κ. En développant les machines de Silver, il a produit une preuve du lemme de recouvrement de Jensen qui fonctionnait sans structure fine. De plus, il a découvert les indiscernables de Silver et généralisé la notion d'arbre de Kurepa, un concept connu sous le nom de principe de Silver.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →En bref
- Naissance : 1942, Missoula - Décès : 22 décembre 2016 - Formation : Doctorat, Université de Californie à Berkeley, 1966 - Domaine : Théorie des ensembles et logique - Découverte clé : 0# (zero sharp) - Bourse notable : Bourse de recherche Alfred P. Sloan (1970–1972)
Questions des lecteurs
### Qu'est-ce que 0# ?
0# (zero sharp) est un concept mathématique découvert par Jack Silver dans sa thèse de doctorat de 1966.
### Où Jack Silver a-t-il travaillé ?
Il a travaillé à l'Université de Californie à Berkeley, où il a également obtenu son doctorat.
