Khác biệt giữa bản sửa đổi của “Tính toán”

Nội dung được xóa Nội dung được thêm vào

Nội tuyến

Phiên bản lúc 16:12, ngày 7 tháng 1 năm 2019

Tính toán là bất kỳ loại tính toán nào ^[1] ^[2] bao gồm cả các bước đối xứng và không đối xứng và tuân theo một mô hình được xác định rõ, ví dụ như một thuật toán .

Các nghiên cứu về tính toán là tối quan trọng đối với các ngành khoa học máy tính .

Hiện tượng vật lý

Một tính toán có thể được xem như một hiện tượng vật lý thuần túy xảy ra bên trong một hệ thống vật lý khép kín gọi là máy tính . Ví dụ về các hệ thống vật lý này bao gồm máy tính kỹ thuật số , máy tính cơ học , máy tính lượng tử , máy tính DNA , máy tính phân tử , máy tính dựa trên vi lỏng, máy tính tương tự hoặc máy tính đi bộ . Quan điểm này đã được thông qua bởi vật lý tính toán , một nhánh của vật lý lý thuyết, cũng như lĩnh vực điện toán tự nhiên .

Một quan điểm thậm chí còn triệt để hơn, chủ nghĩa tụy , là định đề của vật lý kỹ thuật số cho rằng sự tiến hóa của vũ trụ tự nó là một sự tính toán.

Tài khoản bản đồ

Tài khoản cổ điển về tính toán được tìm thấy trong các tác phẩm của Hilary Putnam và những người khác. Peter Godfrey-Smith đã gọi đây là "tài khoản lập bản đồ đơn giản". ^[3] Tóm tắt của Gualtiero Piccinini về tài khoản này nói rằng một hệ thống vật lý có thể được cho là thực hiện một tính toán cụ thể khi có một ánh xạ giữa trạng thái của hệ thống đó với tính toán sao cho các trạng thái vi mô của [hệ thống] phản ánh trạng thái chuyển đổi giữa tiểu bang tính toán.” ^[4]

Tài khoản ngữ nghĩa

Các nhà triết học như Jerry Fodor ^[5] đã đề xuất nhiều tài khoản tính toán khác nhau với hạn chế rằng nội dung ngữ nghĩa là điều kiện cần để tính toán (nghĩa là, điều khác biệt giữa một hệ thống vật lý tùy ý với hệ thống máy tính là toán hạng của tính toán đại diện cho một cái gì đó) . Khái niệm này cố gắng ngăn chặn sự trừu tượng hóa logic của tài khoản lập bản đồ của chủ nghĩa tụy , ý tưởng rằng mọi thứ có thể nói là tính toán mọi thứ.

Tài khoản cơ khí

Gualtiero Piccinini đề xuất một tài khoản tính toán dựa trên triết lý cơ học . Nó nói rằng các hệ thống máy tính vật lý là các loại cơ chế, theo thiết kế, thực hiện tính toán vật lý, hoặc điều khiển các thao tác (theo cơ chế chức năng) của một phương tiện độc lập trung bình theo quy tắc. Tính độc lập trung bình đòi hỏi tài sản có thể được khởi tạo bởi nhiều bộ thực hiện và nhiều cơ chế và các đầu vào và đầu ra của cơ chế cũng có thể được nhân rộng . Tóm lại, tính độc lập trung bình cho phép sử dụng các biến vật lý với các đặc điểm khác với điện áp (như trong các máy tính kỹ thuật số thông thường); điều này là bắt buộc trong việc xem xét các loại tính toán khác, chẳng hạn như xảy ra trong não hoặc trong một máy tính lượng tử . Theo nghĩa này, một quy tắc, cung cấp một ánh xạ giữa các đầu vào, đầu ra và trạng thái bên trong của hệ thống máy tính vật lý. ^[6]

Mô hình toán học

Trong lý thuyết tính toán , sự đa dạng của các mô hình toán học của máy tính đã được phát triển. Các mô hình toán học điển hình của máy tính như sau:

Các mô hình trạng thái bao gồm máy Turing , máy tự động đẩy xuống , máy tự động trạng thái hữu hạn và PRAM
Các mô hình chức năng bao gồm tính toán lambda
Các mô hình logic bao gồm lập trình logic
Các mô hình đồng thời bao gồm mô hình diễn viên và tính toán quá trình

Xem thêm

Tính toán
Thông tin vật lý
Tính toán thực
Tính toán đảo ngược
Siêu tính toán
Điện toán bên
Bài toán tính toán
Nhiều khả năng thực hiện

Tài liệu tham khảo

^
Tính toán từ từ điển Merriam-Webster miễn phí
^ “Computation: Definition and Synonyms from Answers.com”. Answers.com. Bản gốc lưu trữ ngày 22 tháng 2 năm 2009. Truy cập ngày 26 tháng 4 năm 2017. Đã bỏ qua tham số không rõ |dead-url= (gợi ý |url-status=) (trợ giúp)
^ Chú thích trống (trợ giúp)
^ Piccinini, Gualtiero (2015). Physical Computation: A Mechanistic Account. Oxford: Oxford University Press. tr. 17. ISBN 9780199658855.
^ The Mind-Body Problem, 1981
^ Piccinini, Gualtiero (2015). Physical Computation: A Mechanistic Account. Oxford: Oxford University Press. tr. 10. ISBN 9780199658855.

[1] 
Tính toán từ từ điển Merriam-Webster miễn phí

[2] “Computation: Definition and Synonyms from Answers.com”. Answers.com. Bản gốc lưu trữ ngày 22 tháng 2 năm 2009. Truy cập ngày 26 tháng 4 năm 2017. Đã bỏ qua tham số không rõ |dead-url= (gợi ý |url-status=) (trợ giúp)

[3] Chú thích trống (trợ giúp)

[4] Piccinini, Gualtiero (2015). Physical Computation: A Mechanistic Account. Oxford: Oxford University Press. tr. 17. ISBN 9780199658855.

[5] The Mind-Body Problem, 1981

[6] Piccinini, Gualtiero (2015). Physical Computation: A Mechanistic Account. Oxford: Oxford University Press. tr. 10. ISBN 9780199658855.

[1]

[2]

[3]

[4]

[5]

[6]

@@ Dòng 24: / Dòng 24: @@
 * Các mô hình chức năng bao gồm [[Phép tính lambda|tính toán lambda]]
 * Các mô hình [[Lập trình logic|logic]] bao gồm [[lập trình logic]]
 * Các mô hình đồng thời bao gồm mô hình diễn viên và tính toán quá trình
-Giunti gọi các mô hình được nghiên cứu bởi các ''hệ thống tính toán'' lý thuyết ''tính toán'' và ông cho rằng tất cả chúng đều là '''[[Hệ thống động lực|các hệ thống động lực]]''' toán học với thời gian riêng biệt và không gian trạng thái riêng biệt. <ref>{{Chú thích sách|title=Computation, Dynamics, and Cognition|last=Giunti|first=Marco|publisher=Oxford University Press|year=1997|isbn=978-0-19-509009-3|location=New York}}</ref> {{Rp|ch.1}}  Ông cho rằng một hệ thống tính toán là một đối tượng phức tạp bao gồm ba phần.  Đầu tiên, một hệ thống động lực toán học <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow class="MJX-TeXAtom-ORD"><mi> <math>DS</math> </mi><mi> <math>DS</math> </mi></mrow> </math><math>DS</math>  <math>DS</math>'''DS'''  với thời gian riêng biệt và không gian trạng thái riêng biệt; thứ hai, một thiết lập tính toán <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow class="MJX-TeXAtom-ORD"><mi> <math>H = \left(F, B_F\right)</math> </mi><mo> <math>H = \left(F, B_F\right)</math> </mo><mrow><mo> <math>H = \left(F, B_F\right)</math> </mo><mrow><mi> <math>H = \left(F, B_F\right)</math> </mi><mo> <math>H = \left(F, B_F\right)</math> </mo><msub><mi> <math>H = \left(F, B_F\right)</math> </mi><mrow class="MJX-TeXAtom-ORD"><mi> <math>H = \left(F, B_F\right)</math> </mi></mrow></msub></mrow><mo> <math>H = \left(F, B_F\right)</math> </mo></mrow></mrow> </math><math>H = \left(F, B_F\right)</math>  <math>H = \left(F, B_F\right)</math> '''H = (F, BF )''' , được tạo thành từ một phần lý thuyết   '''F'''  và một phần thực    '''BF'''   ; thứ ba, một giải thích  '''I DS,H'''  , liên kết hệ thống động lực  '''DS'''  với thiết lập   '''H'''   . <ref>{{Chú thích}}</ref> {{Rp|pp.179–80}}
 == Xem thêm ==