ต้นกำเนิดและการประยุกต์ของทฤษฎี A เทียบกับทฤษฎี B?

ในคำถามล่าสุดสองสามข้อ ( q1 q2 ) ได้มีการอภิปรายเกี่ยวกับ "ทฤษฎี A" กับ "ทฤษฎี B" ซึ่งดูเหมือนจะจับแบ่งระหว่างการศึกษาตรรกะและภาษาโปรแกรมและการศึกษาอัลกอริธึมและความซับซ้อน

คำศัพท์นี้ใหม่สำหรับฉันและการค้นหาเว็บอย่างรวดเร็วไม่ได้เกิดขึ้นกับการอ้างอิงที่ชัดเจนใด ๆ ที่อธิบายไว้

ไม่มีใครรู้ถึงการอ้างอิงหรือการอ้างอิงที่อธิบายถึงที่มาของคำศัพท์นี้และสิ่งที่ถ้ามีผลประโยชน์ที่สำคัญมีจุดมุ่งหมายที่จะได้มาจากการทำให้ความแตกต่างนี้หรือไม่?

มันมาจากคู่มือเกี่ยวกับวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีซึ่งมีสองเล่ม: A สำหรับอัลกอริธึมและความซับซ้อนและ B สำหรับตรรกะและซีแมนทิกส์

Jukka ICALP ลงวันที่ก่อนวันจริงหรือไม่? หรือว่าเป็นการตอบสนองต่อสิ่งนี้?

สำหรับประโยชน์ฉันคิดว่ามีประโยชน์ในด้าน taxonomizing อยู่เสมอตามหัวข้อที่น่าสนใจและรูปแบบของการศึกษา อย่างไรก็ตามเช่นเดียวกับ taxonomizations ปัญหาเกิดขึ้นเมื่อคุณลืมที่จะ "กลับไปที่ต้นไม้และลงไปอีกด้านหนึ่ง" :)

แก้ไข : ตามที่ ICALP ระบุไว้อย่างชัดเจนการแบ่งนี้มาจากวารสาร Elsevier Theoretical Computer Scienceซึ่งมีการกำหนดคู่มือไว้ล่วงหน้าดังนั้นฉันคิดว่านี่เป็นแหล่งที่มาที่แม่นยำกว่า

แก้ไข ++ : จากประวัติของ EATCSมาถึงตัวอย่างนี้เกี่ยวกับ TCS, วารสาร:

ตั้งแต่นั้นมา M. Nivat ผู้ซึ่งยังคงเป็นหัวหน้าบรรณาธิการได้รายงานต่อสภาและการประชุมใหญ่เป็นประจำและบางครั้งใน Bulletin - เช่นเมื่อแบ่งออกเป็นส่วน A (ออโตมาตา, อัลกอริทึมพีชคณิตและ B) และตรรกะตรรกะ หัวข้อที่เกี่ยวข้องได้รับการตัดสินใจเมื่อ (Bulletin No. 45, p.2, 3, ตุลาคม 1991);

ซึ่งให้ผลตอบแทนปี 1991 ราวกับว่าสิ่งนี้เริ่มเกิดขึ้นครั้งแรกในวารสาร อย่างไรก็ตามหนังสือเล่มนี้ได้รับการตีพิมพ์เป็นครั้งแรกในเดือนกันยายนปี 1990!

ICALP track A vs. B