In einigen kürzlich gestellten Fragen ( q1 q2 ) wurde "Theorie A" gegen "Theorie B" diskutiert, um die Kluft zwischen dem Studium von Logik und Programmiersprachen und dem Studium von Algorithmen und Komplexität zu erfassen.
Diese Terminologie war für mich neu, und bei einer schnellen Websuche wurden keine offensichtlichen Verweise gefunden, die dies erläuterten.
Kennt jemand eine Referenz oder Referenzen, die den Ursprung dieser Terminologie erklären, und welchen, wenn überhaupt, materiellen Nutzen soll diese Unterscheidung haben?