Jack Howard Silver, matematico e filosofo, ha trascorso la sua carriera analizzando i confini della teoria degli insiemi e la struttura dei grandi cardinali. Il suo lavoro presso l'Università della California, Berkeley, ha fornito strumenti essenziali per comprendere l'universo costruibile L, influenzando il modo in cui i logici affrontano il problema dei cardinali singolari e la consistenza di vari modelli matematici.
Fondamenti accademici e ricerca
Nato nel 1942 a Missoula, nel Montana, Silver ha conseguito il dottorato di ricerca presso l'Università della California, Berkeley, nel 1966. Il suo relatore è stato Robert Vaught. L'anno successivo è entrato a far parte della facoltà della stessa istituzione, rimanendovi per tutta la sua carriera accademica. Tra il 1970 e il 1972 ha ricevuto una borsa di ricerca Alfred P. Sloan.
Contributi alla teoria degli insiemi
Silver ha identificato 0# nella sua tesi di dottorato del 1966, un concetto successivamente descritto in dettaglio nel libro di testo di Frank R. Drake Set Theory: An Introduction to Large Cardinals. Nel suo articolo del 1975, "On the Singular Cardinals Problem", ha dimostrato che per un cardinale singolare con cofinalità non numerabile, l'ipotesi del continuo generalizzata implica 2κ = κ+. Questa dimostrazione ha messo in discussione l'opinione prevalente secondo cui gli argomenti di forcing potessero portare alla negazione del teorema all'interno di ZFC. Per facilitare la sua ricerca, ha introdotto la nozione di condizione master, che è servita come strumento tecnico per le dimostrazioni di forcing che coinvolgono grandi cardinali.
Innovazioni metodologiche
La sua ricerca si è ampliata fino a includere il collasso di Silver, una variante del collasso di Levy, che ha utilizzato per dimostrare la consistenza della congiuntura di Chang. Ha dimostrato che, data la consistenza di un cardinale supercompatto, è possibile costruire un modello in cui 2κ = κ++ per un cardinale misurabile κ. Sviluppando le macchine di Silver, ha prodotto una dimostrazione del lemma di copertura di Jensen che funzionava senza struttura fine. Inoltre, ha scoperto gli indiscernibili di Silver e ha generalizzato la nozione di albero di Kurepa, un concetto noto come principio di Silver.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Informazioni rapide
- Nato: 1942, Missoula - Deceduto: 22 dicembre 2016 - Formazione: Dottorato di ricerca, Università della California, Berkeley, 1966 - Settore: Teoria degli insiemi e logica - Scoperta chiave: 0# (zero sharp) - Borsa di studio notevole: Borsa di ricerca Alfred P. Sloan (1970–1972)
Domande frequenti
### Cos'è 0#?
0# (zero sharp) è un concetto matematico scoperto da Jack Silver nella sua tesi di dottorato del 1966.
### Dove ha lavorato Jack Silver?
Ha lavorato presso l'Università della California, Berkeley, dove ha anche conseguito il dottorato di ricerca.
