Decidability: The Entscheidungs problem

Alan Mathison Turing was born on 23 June, 1912 - exactly one hundred years before this weekend meeting which celebrates his life and achievements. Although most well-known for his work at Bletchley Park in the pioneering days which saw the birth of modern practical computing; Turing had achieved fame well before the second world war, with a seminal account of theoretical computation and his solution to the Entscheidungs problem. An Olympic-class marathon runner, whose refusal to conform to...