Chuyển ngữ 1 Computational complexity 1 Các định lý về tính không đầy đủ 1 Gödel's theorem 1 Incompleteness theorems 1 Khoa học thường thức 1 Logic, Symbolic and mathematical 1 more ... Logic, biểu tượng và toán học 1 Metamathematics 1 Nghiên cứu hành vi 1 Não 1 Phương pháp tiếp cận thực hành 1 Thần kinh trung ương 1 Tế bào gốc 1 Định lý Gödel 1 Độ phức tạp tính toán 1 less ...