English mathematician, considered the first computer programmer