Tôi đã tự hỏi một thời gian về nguồn gốc của các tên "miễn dịch" và "đơn giản". Tôi cũng đặt ra câu hỏi tương tự với Andrea Sorbi, người lần lượt liên quan đến một vài đồng nghiệp nữa trong cuộc thảo luận.
Về "đơn giản" chúng tôi có một vài phỏng đoán. Martin Davis cho rằng tên này bắt nguồn từ một sự tương tự với các nhóm đơn giản. Các nhóm đơn giản không có các nhóm con bình thường không tầm thường; bổ sung của bộ đơn giản không có tập hợp lại vô hạn.
Những người khác (Stephan, Nerode) dường như nghĩ rằng "đơn giản" chỉ đề cập đến thực tế rằng chúng đơn giản hơn các bộ sáng tạo, sau này được coi là một tài sản hữu ích của tâm trí con người.
Đây là tài khoản của Nerode:
"Bài viết ban đầu hy vọng sẽ có được các tập hợp có thể tính toán được với các mức độ không thể giải quyết khác với một trong các tập hợp sáng tạo của anh ấy bằng cách kiểm soát mạng các tập hợp con của phần bổ sung của chúng. Các tập đơn giản là các tập hợp lại vô hạn với các tập hợp bổ sung vô hạn bổ sung càng nhỏ càng tốt. Vì vậy, "đơn giản" đã được chọn để biểu thị "tập hợp con bổ sung ít nhất", trái ngược hoàn toàn với "tập hợp sáng tạo", nghĩa là "số lượng tập hợp lại của phần bổ sung" không thể đếm được sự không hoàn hảo của toán học. "
Tuy nhiên, về "miễn dịch", chúng tôi không có manh mối. Rõ ràng, từ này được Dekker giới thiệu, trong một bài viết với Myhill vào những năm năm mươi. Một lần nữa, đây là ý kiến trìu mến của Nerode:
"Về lý do" miễn dịch ", Dekker cũng giới thiệu" cô lập "và" thoái bộ ". Stanley Tennenbaum luôn nói rằng điều này là do Jim Dekker sống một cuộc sống biệt lập. Anh ta là một người thân hấp dẫn. Tôi nghĩ rằng tôi và Myhill và Stanley Tennenbaum là Tất cả chúng ta đã gặp nhau tại U Chicago vào khoảng năm 1952 ngay sau khi Myhill chứng minh rằng tất cả các bộ sáng tạo đều là đẳng cấu đệ quy, vẫn là một trong những định lý yêu thích của tôi. "
Nếu bất cứ ai có thông tin tốt hơn, tôi sẽ vô cùng biết ơn nếu anh ta có thể chia sẻ chút kiến thức này.