1
「免疫」と「シンプル」の由来について
「免疫」と「シンプル」の名前の由来について、しばらく考えていました。私はまた、Andrea Sorbiにも同じ質問をしました。AndreaSorbiは、さらに数人の同僚を話し合いに参加させました。 「シンプル」については、いくつかの推測があります。マーティン・デイビスは、名前が単純なグループとの類推に由来することを示唆しています。単純なグループには、重要な通常のサブグループはありません。単純な集合の補集合には、無限のreサブセットはありません。 他の人々（Stephan、Nerode）は、「単純な」とは単に創造的なセットよりも単純であり、後者は人間の心の有用な特性であると考えられているという事実を指すと考えているようです。 これはネロードのアカウントです： 「元々Postは、reサブセットのreサブセットのラティスを制御することにより、彼のクリエイティブセットの1つとは異なる解決不可能な程度の計算可能な列挙可能なセットを取得することを望んでいました。補数は可能な限り小さいため、「単純」は「補数の最小サブセット」を暗示するために選択され、「創造のセット」は「補数の実質的に数え切れない数の再サブセット」を暗示するものであり、非公式に永続的な数学の不完全さ。」 「免疫」については、私たちには手掛かりがありません。どうやら、この言葉は50年代のマイヒルとの記事でデッカーによって紹介された。再びこれはネロードの愛情深い意見です： 「なぜ「免疫」なのか、デッカーは「孤立した」と「退行的な」も導入しました。スタンリーテンネンバウムは、ジムデッカーが孤立した人生を送っていたからだといつも言っていました。科学的にも個人的にも彼の主要な友人でした。1952年頃、マイヒルがすべてのクリエイティブセットが再帰的に同型であることを証明し、それでも私のお気に入りの定理の1つであることを証明した直後、私たちはすべてUシカゴで会いました。」 もし誰かがより良い情報を持っているなら、彼がこの少しの知識を共有することができれば私は非常に感謝しています。