Gödel’s perspective in this letter is a refutation of the simplistic take on Turing’s proof seen so often in the computer science literature. In particular: After all, one would simply have to choose the natural number n so large that
Primitive recursion and transducers
11/23/2009 please see the updated version: here. Yet another version of the recursion/transducer paper . The main result is that simultaneous primitive recursion on strings corresponds to general products of state machines. Primitive recursion on strings is analogous to primitive
Deterministic multithreading
An interesting paper appearing in ASPLOS proceedings provides a “deterministic” locking method Kendo enforces a deterministic interleaving of lock acquisitions and specially declared non-protected reads through a novel dynamically load-balanced deterministic scheduling algorithm. The algorithm tracks the progress of each
IEEE’s war on science
I dropped my subscription to the IEEE “Digital Library” because I found that if I strayed from a very narrow range of areas, the IEEE wanted ridiculous fees for access to papers. For example, despite a subscription to the digital