The official website Cubadebate on Friday said the U.S. used “old, unprovable arguments” in its annual Country Reports on Terrorism 2010, published Thursday. Trang web chính thức Cubadebate ngày thứ Sáu nói rằng Hoa Kỳ sử dụng những lý luận “cũ rích và không chứng minh được” trong bản phúc trình thường niên ấn hành hôm thứ Năm có tên Phúc Trình về Khủng Bố năm 2010.
On October 7, 1931, when he was 24 years old, he announced his result, a proof that showed that any formal system that is rich enough to express arithmetic will have a proposition which is true and unprovable. Vào ngày 7 tháng 10 năm 1931, khi 24 tuổi, ông loan báo kết quả của mình, một chứng cứ bày tỏ rằng bất cứ hệ thống hình thức nào đủ phong phú để biểu hiện số học cũng sẽ có một mệnh đề là đúng và không thể chứng minh.
The problem had looked unprovable when viewing the numbers, but she had simply lacked the information needed to find the answer and had not even noticed that she was making leaps of logic. Vấn đề tuy trông thì không đời nào chứng minh được nếu nhìn các con số, song đó chẳng qua chỉ là do cô ta thiếu thông tin cần thiết để tìm ra câu trả lời, thậm chí còn chưa nhận ra mình đang thực hiện bước nhảy vọt logic thôi.
