Tentang asal usul nama "kebal" dan "sederhana"

Saya sudah lama bertanya-tanya tentang asal-usul nama "kebal" dan "sederhana". Saya juga mengajukan pertanyaan yang sama kepada Andrea Sorbi, yang pada gilirannya melibatkan beberapa rekan kerja lagi dalam diskusi.

Tentang "sederhana" kami memiliki beberapa dugaan. Martin Davis mengemukakan bahwa namanya berasal dari analogi dengan kelompok-kelompok sederhana. Grup sederhana tidak memiliki subkelompok normal non-sepele; komplemen set sederhana tidak memiliki himpunan bagian yang tak terbatas.

Orang lain (Stephan, Nerode) tampaknya berpikir bahwa "sederhana" hanya merujuk pada fakta bahwa mereka lebih sederhana daripada set kreatif, yang terakhir dianggap sebagai properti yang berguna dari pikiran manusia.

Ini adalah akun Nerode:

"Post awalnya berharap untuk mendapatkan set yang dapat dihitung dengan tingkat ketidakmampuan menyelesaikan berbeda dari salah satu set kreatifnya dengan mengendalikan kisi sub himpunan bagian dari komplemen mereka. Himpunan sederhana adalah himpunan tak terbatas dengan pelengkap tak terbatas yang kisi dari himpunan bagian himpunan dari komplemen sekecil mungkin. Jadi "sederhana" dipilih untuk berkonotasi "paling sedikit himpunan bagian pelengkap", berbeda dengan "set kreatif" yang berkonotasi "jumlah himpunan ulang himpunan bagian pelengkap yang secara efektif tidak terhitung", yang secara informal mewakili kekal ketidaklengkapan matematika. "

Tentang "kebal", kami tidak memiliki petunjuk. Rupanya, kata itu diperkenalkan oleh Dekker, dalam sebuah artikel dengan Myhill pada tahun lima puluhan. Sekali lagi ini adalah pendapat penuh kasih Nerode:

"Mengenai mengapa" kebal ", Dekker juga memperkenalkan" terisolasi "dan" regresif ". Stanley Tennenbaum selalu mengatakan bahwa ini karena Jim Dekker menjalani kehidupan yang terisolasi. Dia adalah orang rumahan yang menarik. Saya pikir saya dan Myhill serta Stanley Tennenbaum adalah teman-teman utamanya, secara ilmiah dan pribadi. Kita semua bertemu di U Chicago sekitar tahun 1952 tepat setelah Myhill membuktikan bahwa semua perangkat kreatif secara isomorfis berulang, masih merupakan salah satu teorema favorit saya. "

Jika ada yang memiliki informasi yang lebih baik, saya akan sangat berterima kasih jika dia bisa membagikan sedikit pengetahuan ini.

Saya tidak tahu sejarahnya, tetapi "kebal" selalu mengejutkan saya sebagai istilah yang cukup tepat. ("Sederhana" tidak pernah benar-benar melakukannya, tetapi saya tidak pernah memikirkan analogi dengan kelompok-kelompok sederhana sebelumnya - itu bagus, meskipun itu tidak cukup cocok.) Kata bahasa Inggris imun memiliki dua kegunaan umum: (1) biologis (kebal terhadap penyakit ), dan (2) lebih umum ("tidak terpengaruh atau dipengaruhi oleh sesuatu"), dan keduanya tampaknya sesuai dengan definisi komputabilitas. Set imun kebal (dalam arti non-teknis) terhadap efek set (mengandung infinite) ce, dalam beberapa hal.

Ini juga berhubungan baik dengan "produktif", karena set kekebalan agak berlawanan dengan set produktif, dan dalam konteks itu, saya berpikir tentang penggunaan produktif sebagai dalam "batuk produktif."