Ngày nay hệ thống máy tính có ở khắp mọi nơi. Ngay cả bộ não cũng được cho là một loại hệ thống tính toán. Nhưng việc nói rằng một cơ quan hoặc hệ thống nhất định có khả năng tính toán có nghĩa là gì? Điều gì về máy tính xách tay, điện thoại thông minh và hệ thống thần kinh mà chúng được cho là có chức năng tính toán và tại sao chúng ta hiếm khi mô tả dạ dày, cơn bão, đá hoặc ghế theo cách đó? Cuốn sách cung cấp một lập luận mở rộng về quan điểm ngữ nghĩa của tính toán, trong đó nêu rõ rằng các thuộc tính ngữ nghĩa có liên quan đến bản chất của hệ thống máy tính. Máy tính xách tay, điện thoại thông minh và hệ thần kinh tính toán vì chúng đi kèm với các biểu diễn. Ví dụ, dạ dày, cơn bão và đá không có thuộc tính ngữ nghĩa nên không tính toán được. Phần đầu tiên của cuốn sách lập luận rằng mối liên hệ giữa lý thuyết toán học về khả năng tính toán và khái niệm tính toán vật lý là yếu. Các khái niệm lý thuyết như thuật toán, quy trình hiệu quả, chương trình và máy tự động chỉ đóng một vai trò nhỏ trong việc xác định tính toán vật lý. Phần thứ hai của cuốn sách xem xét ba giải thích có ảnh hưởng về tính toán vật lý và lập luận rằng mặc dù không có giải thích nào trong số này thỏa đáng, nhưng mỗi giải thích đều nêu bật một số đặc điểm chính nhất định của tính toán vật lý. Phần cuối cùng của cuốn sách phát triển và tranh luận về cách giải thích ngữ nghĩa của tính toán vật lý và đưa ra đặc điểm của các giải thích tính toán.

Abstract:

Computing systems are everywhere today. Even the brain is thought to be a sort of computing system. But what does it mean to say that a given organ or system computes? What is it about laptops, smartphones, and nervous systems that they are deemed to compute, and why does it seldom occur to us to describe stomachs, hurricanes, rocks, or chairs that way? The book provides an extended argument for the semantic view of computation, which states that semantic properties are involved in the nature of computing systems. Laptops, smartphones, and nervous systems compute because they are accompanied by representations. Stomachs, hurricanes, and rocks, for instance, which do not have semantic properties, do not compute. The first part of the book argues that the linkage between the mathematical theory of computability and the notion of physical computation is weak. Theoretical notions such as algorithms, effective procedure, program, and automaton play only a minor role in identifying physical computation. The second part of the book reviews three influential accounts of physical computation and argues that while none of these accounts is satisfactory, each of them highlights certain key features of physical computation. The final part of the book develops and argues for a semantic account of physical computation and offers a characterization of computational explanations.

Ngôn ngữ:	En
Tác giả:	Oron Shagrir
Thông tin nhan đề:	The Nature of Physical Computation
Nhà xuất bản:	Oxford University Press
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin
Bản quyền:	https://creativecommons.org/licenses/by-nc-nd/4.0/
Nguồn gốc:	https://library.oapen.org/handle/20.500.12657/87756
Mô tả vật lý:	319p.
Năm xuất bản:	2022