Did Turing stand on Gödel's shoulders? (Q6169862): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00283-022-10177-y
+Normal rank
@@ Property / OpenAlex ID @@
+W4281891198
@@ Property / OpenAlex ID: W4281891198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2797848
@@ Property / cites work: Q2797848 / rank @@
+Normal rank
@@ Property / cites work @@
+An Unsolvable Problem of Elementary Number Theory
@@ Property / cites work: An Unsolvable Problem of Elementary Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4827940
@@ Property / cites work: Q4827940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4830809
@@ Property / cites work: Q4830809 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3460891
@@ Property / cites work: Q3460891 / rank @@
+Normal rank
@@ Property / cites work @@
+Hobson’s Conception of Definable Numbers
@@ Property / cites work: Hobson’s Conception of Definable Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5737082
@@ Property / cites work: Q5737082 / rank @@
+Normal rank
@@ Property / cites work @@
+The mentor of Alan Turing: Max Newman (1897--1984) as a logician
+Normal rank
@@ Property / cites work @@
+Q2827266
@@ Property / cites work: Q2827266 / rank @@
+Normal rank
@@ Property / cites work @@
+Working with Alan Turing
@@ Property / cites work: Working with Alan Turing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3327698
@@ Property / cites work: Q3327698 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflections on Church's thesis
@@ Property / cites work: Reflections on Church's thesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2889269
@@ Property / cites work: Q2889269 / rank @@
+Normal rank
@@ Property / cites work @@
+A science of operations. Machines, logic and the invention of programming.
+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 @@
+Mechanism, mentalism, and metamathematics. An essay on finitism
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6169862