3 ms·Alan Turing did that already; see his solution to the Entscheidungsproblem.by betterunix 14y agoAlan Turing did that already; see his solution to the Entscheidungsproblem.