Conceptual Confluence in 1936: Post and Turing (Q4637215): Difference between revisions

@@ Property / cites work @@
+An analysis of Turing's ''The word problem in semi-groups with cancellation''
+Normal rank
@@ Property / cites work @@
+A note on the Entscheidungsproblem
@@ Property / cites work: A note on the Entscheidungsproblem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3021450
@@ Property / cites work: Q3021450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4827940
@@ Property / cites work: Q4827940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4981736
@@ Property / cites work: Q4981736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844489
@@ Property / cites work: Q2844489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+Why Gödel didn't have church's thesis
@@ Property / cites work: Why Gödel didn't have church's thesis / rank @@
+Normal rank
@@ Property / cites work @@
+Closing the Circle: An Analysis of Emil Post's Early Work
+Normal rank
@@ Property / cites work @@
+Generating, Solving and the Mathematics of Homo Sapiens: Emil Post’s Views on Computation
+Normal rank
@@ Property / cites work @@
+A Natural Axiomatization of Computability and Proof of Church's Thesis
+Normal rank
@@ Property / cites work @@
+Q4893763
@@ Property / cites work: Q4893763 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5299931
@@ Property / cites work: Q5299931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3916562
@@ Property / cites work: Q3916562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4207876
@@ Property / cites work: Q4207876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753978
@@ Property / cites work: Q3753978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4479354
@@ Property / cites work: Q4479354 / rank @@
+Normal rank
@@ Property / cites work @@
+General recursive functions of natural numbers
@@ Property / cites work: General recursive functions of natural numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Predicates and Quantifiers
@@ Property / cites work: Recursive Predicates and Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Origins of Recursive Function Theory
@@ Property / cites work: Origins of Recursive Function Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of an algorithm
@@ Property / cites work: On the definition of an algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q5804998
@@ Property / cites work: Q5804998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181669
@@ Property / cites work: Q5181669 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Q5801329
@@ Property / cites work: Q5801329 / rank @@
+Normal rank
@@ Property / cites work @@
+Highlights of the History of the Lambda-Calculus
@@ Property / cites work: Highlights of the History of the Lambda-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324696
@@ Property / cites work: Q4324696 / rank @@
+Normal rank
@@ Property / cites work @@
+Step by Recursive Step: Church's Analysis of Effective Calculability
+Normal rank
@@ Property / cites work @@
+Q4428707
@@ Property / cites work: Q4428707 / rank @@
+Normal rank
@@ Property / cites work @@
+Only Two Letters: The Correspondence between Herbrand and Gödel
+Normal rank
@@ Property / cites work @@
+Axioms for Computability: Do They Allow a Proof of Church’s Thesis?
+Normal rank
@@ Property / cites work @@
+Q4893138
@@ Property / cites work: Q4893138 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Recursion
@@ Property / cites work: Computability and Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
+Normal rank
@@ Property / cites work @@
+The word problem in semi-groups with cancellation
@@ Property / cites work: The word problem in semi-groups with cancellation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002816
@@ Property / cites work: Q4002816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002815
@@ Property / cites work: Q4002815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763548
@@ Property / cites work: Q2763548 / rank @@
+Normal rank