Ich habe mich eine Weile über die Herkunft der Namen "immun" und "einfach" gewundert. Die gleiche Frage stellte ich auch Andrea Sorbi, die wiederum einige weitere Kollegen in die Diskussion einbezog.
Über "einfach" haben wir einige Vermutungen. Martin Davis schlägt vor, dass der Name von einer Analogie mit einfachen Gruppen abgeleitet ist. Einfache Gruppen haben keine nicht trivialen normalen Untergruppen. Komplemente einfacher Mengen haben keine unendlichen Teilmengen.
Andere Leute (Stephan, Nerode) scheinen zu denken, dass "einfach" sich nur auf die Tatsache bezieht, dass sie einfacher sind als kreative Sets, wobei letztere als nützliche Eigenschaft eines menschlichen Geistes angesehen werden.
Dies ist Nerodes Konto:
"Post hatte ursprünglich gehofft, rechnerisch aufzählbare Mengen mit einem Grad an Unlösbarkeit zu erhalten, der sich von einem seiner kreativen Mengen unterscheidet, indem das Gitter der Re-Teilmengen ihrer Komplemente gesteuert wird. Einfache Mengen sind jene unendlichen Re-Mengen mit unendlichen Komplementen, für die das Gitter der Re-Teilmengen der Komplement ist so klein wie möglich. Daher wurde "einfach" gewählt, um "die wenigsten Teilmengen des Komplements" zu bezeichnen, im krassen Gegensatz zu "Kreativmenge", die "effektiv unzählige Anzahl von Teilmengen des Komplements" bedeutet, die informell das Ewige darstellt Unvollständigkeit der Mathematik. "
Über "immun" haben wir jedoch keine Ahnung. Anscheinend wurde das Wort von Dekker in einem Artikel mit Myhill in den fünfziger Jahren eingeführt. Auch dies ist Nerodes liebevolle Meinung:
"Warum" immun ", führte Dekker auch" isoliert "und" regressiv "ein. Stanley Tennenbaum sagte immer, dass dies daran lag, dass Jim Dekker ein isoliertes Leben führte. Er war ein engagierter Homebody. Ich denke, dass ich und Myhill und Stanley Tennenbaum es waren Seine wichtigsten Freunde, wissenschaftlich und persönlich. Wir alle trafen uns um 1952 in U Chicago, kurz nachdem Myhill bewiesen hatte, dass alle kreativen Sets rekursiv isomorph waren, immer noch eines meiner Lieblingssätze. "
Wenn jemand bessere Informationen hat, wäre ich sehr dankbar, wenn er dieses Wissen teilen könnte.
quelle