Tuyên bố toán học về tính linh hoạt của máy tính được gọi là gì?
Khả năng lưu trữ và thực hiện danh sách các hướng dẫn được gọi là chương trình làm cho máy tính cực kỳ linh hoạt, phân biệt chúng với máy tính. Luận án Church-Turing là một tuyên bố toán học về tính linh hoạt này: bất kỳ máy tính nào có khả năng tối thiểu (đã hoàn thành Turing), về nguyên tắc, có khả năng thực hiện các nhiệm vụ tương tự như bất kỳ máy tính nào khác có thể thực hiện. Do đó, bất kỳ loại máy tính nào (netbook, siêu máy tính, tự động hoá di động, v.v.) đều có thể thực hiện các nhiệm vụ tính toán tương tự, cho đủ thời gian và dung lượng lưu trữ.
Luận án Church-Turing