Chuyển ngữ 1 Computational complexity 1 Cuộc sống 1 Các định lý về tính không đầy đủ 1 Du hành 1 Gödel's theorem 1 Incompleteness theorems 1 more ... Logic, Symbolic and mathematical 1 Logic, biểu tượng và toán học 1 Metamathematics 1 Nhân vật lịch sử 1 Sự nghiệp 1 Tiếng Trung Quốc 1 Tiểu thuyết 1 Văn học hiện đại 1 Văn học thiếu nhi 1 Định lý Gödel 1 Đọc 1 Độ phức tạp tính toán 1 less ...