Gần 200 năm trước, khi máy tính điện tử còn chưa tồn tại, một nhà toán học nữ đã hình dung ra thế giới của những cỗ máy có thể lập trình.