A variant of a recursively unsolvable problem

An Unsolvable Problem of Elementary Number Theory

Alonzo Church · American Journal of Mathematics · 1936 · 1.7K citations

Natural Sciences, Computer Science, Mathematics +11

Recursively enumerable sets of positive integers and their decision problems

Emil L. Post · Bulletin of the American Mathematical Society · 1944 · 890 citations · Full text

Humanities, Computer Science, Mathematics +13

Formal Reductions of the General Combinatorial Decision Problem

Emil L. Post · American Journal of Mathematics · 1943 · 847 citations

Natural Sciences, Computer Science, Mathematics +10

Step by Recursive Step: Church's Analysis of Effective Calculability

Wilfried Sieg · Bulletin of Symbolic Logic · 1997 · 176 citations

Humanities, Computer Science, Mathematics +8