In the Wikipedia article for TMvTM (The Mitchells vs The Machines)