Added AI Completeness topic and Turing (1950)