Can you explain with reference to appropriate section of
TAOCP
1. How to parse a context free grammar
2. Cooks Theorem
3. Hindley Milner Type inference algorithm
4. No free lunch theorem in Machine Learning
5. The 2 phase and 3 phase commit protocols
6. The PAXOS consensus problem
7. The Bakers algorithm for mutual exclusion
8. The Diagonalization argument of Alan Turing - The Halting problem
9. The RSA public key encryption algorithm
10. A proof of undecidability via Lambda Calculus
I have a copy, and I could find none of these topics discussed in TAOCP. You can pick up any of these topics and absolutely none of the original works describing these works uses the TAOCP as a front bone/ back bone or anything else.
In fact, TAOCP uses original research work such as those described above as its backbone and summarizes them in a reference. With additional rigorous analysis using MMIX, which the original papers probably skipped.
Either you haven't read the book in any detail or have no idea about how CS research works and how research scholars and professors arrive at new results.
