English mathematician and inventor of machine computing