The fact that a program can find a

The fact that a program can find a solution in principle does
not mean that the program contains any of the mechanisms needed to find it in practice.

Kết quả (Việt) 1:

Một thực tế rằng một chương trình có thể tìm thấy một giải pháp về nguyên tắc nào không có nghĩa là chương trình chứa bất kỳ cơ chế cần thiết để tìm thấy nó trong thực tế.

Kết quả (Việt) 2:

Thực tế là một chương trình có thể tìm thấy một giải pháp về nguyên tắc không
có nghĩa là các chương trình có chứa bất kỳ các cơ chế cần thiết để tìm thấy nó trong thực tế.