3 ms·All formal systems capable of describing Turing-complete computation. All of them.by eli_gottlieb 10y agoAll formal systems capable of describing Turing-complete computation. All of them.