Renormalisation and computation II: time cut-off and the Halting Problem (Q2919937): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023358
@@ Property / cites work: Q4023358 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability Theory and Differential Geometry
@@ Property / cites work: Computability Theory and Differential Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Causal nets or what is a deterministic computation?
+Normal rank
@@ Property / cites work @@
+Optimal enumerations and optimal gödel numberings
+Normal rank
@@ Property / cites work @@
+Natural halting probabilities, partial randomness, and zeta functions
+Normal rank
@@ Property / cites work @@
+Gödel numberings of partial recursive functions
@@ Property / cites work: Gödel numberings of partial recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Most programs stop quickly or never halt
@@ Property / cites work: Most programs stop quickly or never halt / rank @@
+Normal rank
@@ Property / cites work @@
+The fractal nature of Riem/Diff. I.
@@ Property / cites work: The fractal nature of Riem/Diff. I. / rank @@
+Normal rank
@@ Property / cites work @@
+Physics, Topology, Logic and Computation: A Rosetta Stone
+Normal rank
@@ Property / cites work @@
+A Course in Mathematical Logic for Mathematicians
@@ Property / cites work: A Course in Mathematical Logic for Mathematicians / rank @@
+Normal rank
@@ Property / cites work @@
+An existence theorem for recursion categories
@@ Property / cites work: An existence theorem for recursion categories / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2919937