Eu estive pensando por um tempo sobre a origem dos nomes "imune" e "simples". Também fiz a mesma pergunta a Andrea Sorbi, que por sua vez envolveu mais alguns colegas na discussão.
Sobre "simples", temos algumas conjecturas. Martin Davis sugere que o nome deriva de uma analogia com grupos simples. Grupos simples não possuem subgrupos normais não triviais; complementos de conjuntos simples não têm subconjuntos infinitos.
Outras pessoas (Stephan, Nerode) parecem pensar que "simples" se refere apenas ao fato de serem mais simples do que conjuntos criativos, sendo este último considerado uma propriedade útil da mente humana.
Esta é a conta de Nerode:
"Post originalmente esperava obter conjuntos enumeráveis computacionalmente com graus de insolubilidade diferentes de um de seus conjuntos criativos, controlando a estrutura de subconjuntos de seus complementos. Conjuntos simples são aqueles reconfigurações infinitas com complementos infinitos para os quais a rede de reconjuntos Portanto, o "simples" foi escolhido para conotar "o menor número de subconjuntos de complemento", em contraste com o "conjunto criativo", que conota "o número efetivamente incontável de reconjuntos do complemento", que informalmente representa o perpétuo incompletude da matemática ".
Sobre "imune", no entanto, não temos idéia. Aparentemente, a palavra foi introduzida por Dekker, em um artigo com Myhill nos anos cinquenta. Novamente, esta é a opinião afetuosa de Nerode:
"Por que" imune ", Dekker também introduziu" isolado "e" regressivo ". Stanley Tennenbaum sempre disse que isso era porque Jim Dekker vivia uma vida isolada. Ele era uma pessoa envolvente. Acho que eu e Myhill e Stanley Tennenbaum estávamos seus principais amigos, cientificamente e pessoalmente. Todos nos conhecemos em U Chicago, por volta de 1952, logo depois de Myhill provar que todos os conjuntos criativos eram recursivamente isomórficos, ainda um dos meus teoremas favoritos. "
Se alguém tiver informações melhores, ficaria extremamente grato se ele pudesse compartilhar esse conhecimento.
fonte