On mind \& Turing's machines (Q885688): Difference between revisions

@@ Property / cites work @@
+Q4842677
@@ Property / cites work: Q4842677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3813782
@@ Property / cites work: Q3813782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3916562
@@ Property / cites work: Q3916562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3720554
@@ Property / cites work: Q3720554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997237
@@ Property / cites work: Q3997237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5704852
@@ Property / cites work: Q5704852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787957
@@ Property / cites work: Q4787957 / rank @@
+Normal rank
@@ Property / cites work @@
+Paper Machines
@@ Property / cites work: Paper Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Finite combinatory processes—formulation
@@ Property / cites work: Finite combinatory processes—formulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324696
@@ Property / cites work: Q4324696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793040
@@ Property / cites work: Q4793040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3410829
@@ Property / cites work: Q3410829 / rank @@
+Normal rank
@@ Property / cites work @@
+Godel on computability
@@ Property / cites work: Godel on computability / rank @@
+Normal rank
@@ Property / cites work @@
+Automated search for Gödel's proofs
@@ Property / cites work: Automated search for Gödel's proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231133
@@ Property / cites work: Q4231133 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Logic Based on Ordinals<sup>†</sup>
@@ Property / cites work: Systems of Logic Based on Ordinals<sup>†</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3216621
@@ Property / cites work: Q3216621 / rank @@
+Normal rank