On Computable Numbers, with an Application to the Entscheidungsproblem 论文

1937Proceedings of the London Mathematical Society引用 8059
Computability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledge