Michael Arbuthnot Ashcroft,  was a code breaker at Bletchley Park during World War II, working in Hut 8 under which English computer scientist, mathematician, logician, cryptanalyst, philosopher and theoretical biologist?