Church–Turing theorem

Summary

Church–Turing theorem is a theorem^[1].

Key Facts

• Church–Turing theorem's instance of is recorded as theorem^[2].
• Alonzo Church is named after Church–Turing theorem^[3].
• Alan Turing is named after Church–Turing theorem^[4].
• Church–Turing theorem's Google Knowledge Graph ID is recorded as /g/1q6g7k3rv^[5].
• Church–Turing theorem's maintained by WikiProject is recorded as WikiProject Mathematics^[6].