Một trong những điều tuyệt vời về khoa học máy tính là việc triển khai vật lý theo một nghĩa nào đó "không liên quan". Mọi người đã chế tạo thành công máy tính từ nhiều chất nền khác nhau - rơle, ống chân không, bóng bán dẫn rời rạc, v.v. Mọi người có thể sớm thành công trong việc chế tạo máy tính hoàn chỉnh Turing từ vật liệu quang phi tuyến tính, nhiều phân tử sinh học và một vài chất nền khác. Về nguyên tắc, dường như có thể xây dựng một máy tính bi-a .
Tuy nhiên, chất nền vật lý không hoàn toàn không liên quan. Mọi người đã phát hiện ra rằng một số bộ linh kiện nhất định - đặc biệt là logic điện trở diode - là "chưa hoàn chỉnh": cho dù bạn có kết nối với nguồn điện bao nhiêu và với nhau, có một số điều rất đơn giản mà nó không thể làm (Logic logic điện trở có thể thực hiện AND, OR, nhưng không thực hiện KHÔNG). Ngoài ra, một số cách nhất định để kết nối các thành phần - đặc biệt là các tri giác một lớp - là "không đầy đủ": có một số điều rất đơn giản mà chúng không thể làm. (Một tri giác một lớp có thể thực hiện AND, OR, KHÔNG, nhưng không thực hiện XOR).
Có một cụm từ ít khó xử hơn cho "những thứ vật chất mà người ta có thể xây dựng một máy Turing" không? Hay ngược lại, "những thứ vật chất mà cho dù có bao nhiêu trong số chúng, không thể tạo thành một máy Turing"?
Trong một thời gian, tôi đã sử dụng cụm từ "bộ hoàn chỉnh chức năng" hoặc "bộ cổng phổ quát" - hoặc, khi nói chuyện với các nhà toán học, "những thứ vật lý có thể thực hiện một bộ hoàn chỉnh về chức năng" - nhưng tôi đã nói rằng đó không phải là ' t khá đúng. Một số bộ thành phần có thể thực hiện một bộ hoàn chỉnh về chức năng; và chưa thể xây dựng một máy hoàn chỉnh Turing hoàn toàn từ các thành phần này. Ví dụ, bóng đèn và công tắc đèn 4 chiều vận hành thủ công có thể thực hiện một bộ hoàn chỉnh về chức năng (AND, OR, NOT, XOR, v.v.); tuy nhiên không thể chế tạo một máy hoàn chỉnh Turing hoàn toàn bằng các công tắc đèn và bóng đèn, vì đầu ra (điện hoặc quang) của một người không thể được đưa vào đầu vào (quay cơ học) của đầu vào tiếp theo.
có liên quan: Có một tên chính thức cho một khái niệm "phổ biến tái sử dụng"? và Có một cái tên nào cho các chip chip trong đó người ta có thể xây dựng CPU CPU không?