With regard to my previous blog on a One-bit processor and a mega-cool Turing machine, I’ve been bouncing around the Internet discovering all sorts of cool things… But before we hurl ourselves ...

The Church-Turing limit restricts all current computation, including quantum computers, to rational number computation. This is because quantum computer designs (still not scalable even with high ...

The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...

Alan Turing theorized a machine that could do infinite calculations from an infinite amount of data that computes based on a set of rules. It starts with an input, transforms the data and outputs an ...

This week we’ll venture in the realm of theory for a change, starting with Turing machines. In case some of you don’t know what a Turing machine is, here is the Wikipedia definition: “A theoretical ...

On June 23, we commemorate the birth of Alan Mathison Turing, a visionary whose profound contributions laid the very groundwork for modern computing and artificial intelligence. Often hailed as the ...