Jack Howard Silver, matemático e filósofo, passou sua carreira analisando os limites da teoria dos conjuntos e a estrutura dos grandes cardinais. Seu trabalho na Universidade da Califórnia, em Berkeley, forneceu ferramentas essenciais para a compreensão do universo construível L, influenciando a forma como os lógicos abordam o problema dos cardinais singulares e a consistência de vários modelos matemáticos.
Fundamentos acadêmicos e pesquisa
Nascido em 1942 em Missoula, Montana, Silver concluiu seu doutorado na Universidade da Califórnia, em Berkeley, em 1966. Seu orientador foi Robert Vaught. Ele integrou o corpo docente da mesma instituição no ano seguinte, permanecendo lá durante toda a sua carreira acadêmica. Entre 1970 e 1972, foi bolsista de pesquisa Alfred P. Sloan.
Contribuições para a teoria dos conjuntos
Silver identificou 0# em sua tese de doutorado de 1966, um conceito detalhado posteriormente no livro de Frank R. Drake, Set Theory: An Introduction to Large Cardinals. Em seu artigo de 1975, "On the Singular Cardinals Problem", ele provou que para um cardinal singular com cofinalidade não enumerável, a hipótese generalizada do contínuo implica 2κ = κ+. Essa prova desafiou a visão predominante de que os argumentos de forcing poderiam levar à negação do teorema dentro de ZFC. Para facilitar sua pesquisa, ele introduziu a noção de condição mestre, que serviu como instrumento técnico para demonstrações de forcing envolvendo grandes cardinais.
Inovações metodológicas
Sua pesquisa expandiu-se para incluir o colapso de Silver, uma variante do colapso de Levy, que ele utilizou para provar a consistência da conjectura de Chang. Ele demonstrou que, dada a consistência de um cardinal supercompacto, pode-se construir um modelo onde 2κ = κ++ para um cardinal mensurável κ. Ao desenvolver as máquinas de Silver, ele produziu uma prova do lema de cobertura de Jensen que funcionava sem estrutura fina. Além disso, ele descobriu os indiscerníveis de Silver e generalizou a noção de árvore de Kurepa, um conceito conhecido como Princípio de Silver.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Fatos rápidos
- Nascimento: 1942, Missoula - Falecimento: 22 de dezembro de 2016 - Formação: Ph.D., Universidade da Califórnia, Berkeley, 1966 - Área: Teoria dos conjuntos e lógica - Descoberta principal: 0# (zero sharp) - Bolsa notável: Bolsa de Pesquisa Alfred P. Sloan (1970–1972)
Perguntas frequentes
### O que é 0#?
0# (zero sharp) é um conceito matemático descoberto por Jack Silver em sua tese de doutorado de 1966.
### Onde Jack Silver trabalhou?
Ele trabalhou na Universidade da Califórnia, em Berkeley, onde também obteve seu doutorado.
