Nguồn gốc và ứng dụng của Lý thuyết A vs Lý thuyết B?

Trong một vài câu hỏi gần đây ( q1 q2 ), đã có cuộc thảo luận về "Lý thuyết A" so với "Lý thuyết B", dường như để nắm bắt sự phân chia giữa nghiên cứu logic và ngôn ngữ lập trình và nghiên cứu về thuật toán và độ phức tạp.

Thuật ngữ này là mới đối với tôi và một tìm kiếm trên web nhanh chóng không đưa ra bất kỳ tài liệu tham khảo rõ ràng nào giải thích nó.

Có ai biết một tài liệu tham khảo hoặc tài liệu tham khảo giải thích nguồn gốc của thuật ngữ này không, và nếu có, lợi ích đáng kể nào được dự định bắt nguồn từ việc tạo ra sự khác biệt này?

Nó xuất phát từ cuốn cẩm nang về khoa học máy tính lý thuyết , có hai tập: A dành cho thuật toán và độ phức tạp, và B dành cho logic và ngữ nghĩa.

Jukka, ICALP có trước điều này không? Hay là để đáp lại điều này?

Về lợi ích, tôi nghĩ luôn có một số tiện ích trong việc phân loại các lĩnh vực dựa trên các chủ đề quan tâm và các hình thức nghiên cứu. Tuy nhiên, như với tất cả các phân loại, vấn đề xảy ra khi bạn quên "quay trở lại cây và xuống phía bên kia" :).

EDIT : như ICALP tuyên bố rõ ràng, bộ phận này xuất phát từ tạp chí Elsevier Theoryory Computer Science , bản thân nó có trước cuốn cẩm nang, vì vậy tôi nghĩ đó là một nguồn chính xác hơn.

EDIT ++ : Từ lịch sử của EATCS xuất hiện đoạn trích này về TCS, tạp chí:

Kể từ đó, M. Nivat, người vẫn là Tổng biên tập đã báo cáo thường xuyên cho hội đồng và hội đồng chung và đôi khi trong Bản tin - ví dụ: khi chia thành các phần A (automata, đại số und thuật toán) và B (logic, ngữ nghĩa và các chủ đề liên quan) đã được quyết định (Bản tin số 45, tr.2,3, tháng 10 năm 1991);

mang lại năm 1991 như khi điều này lần đầu tiên bắt đầu xảy ra tại tạp chí. Tuy nhiên, Cẩm nang được xuất bản lần đầu vào tháng 9 năm 1990!

ICALP theo dõi A so với B.