English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist.
