1936 saw Alan Turing presenting the notion of a universal machine, later called the Turing machine, capable of computing anything that is computable. 1936: Alan Turing trình bày khái niệm về một cỗ máy vạn năng, sau này được gọi là máy Turing, có khả năng tính toán bất cứ thứ gì có thể tính toán được.
1936: Alan Turing presents the notion of a universal machine, later called the Turing machine, capable of computing anything that is computable. 1936: Alan Turing trình bày khái niệm về một cỗ máy vạn năng, sau này được gọi là máy Turing, có khả năng tính toán bất cứ thứ gì có thể tính toán được.
And second, the realization that having actual computable knowledge completely changes how one can set about understanding language. Và điều thứ hai là sự ngộ ra rằng khi có được một ngôn ngữ có thể tính toán được hoàn toàn làm thay đổi cách mà một người có thể hiểu ngôn ngữ.
Or, as Turing put it in a paper (pdf) at the time, the program could “play the imitation game satisfactorily” for any computable task. Hoặc, như Turing đã báo cáo (pdf) vào thời điểm đó, chương trình có thể “chơi trò chơi bắt chước một cách thỏa đáng” cho bất kỳ công việc tính toán nào.
These technologies converged to form the Computable Document Format which Wolfram says can "transfer knowledge in a much higher-bandwidth way". Những công nghệ này hội tụ để tạo thành các định dạng tài liệu tính toán mà Wolfram từng nói rằng có thể " chuyển giao kiến thức trong một băng thông cao hơn".
Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines. Các chức năng tính toán được sử dụng để thảo luận về khả năng tính toán mà không cần tham khảo bất kỳ mô hình tính toán cụ thể nào như máy Turing hoặc máy thanh ghi.
WolframAlpha is a new search service that aims to make all systematic knowledge immediately computable and accessible to everyone. WolframAlpha là một máy trả lời câu hỏi mạnh mẽ nhằm mục đích làm cho mọi kiến thức có hệ thống ngay lập tức được tính toán và mọi người có thể truy cập nó.
Church–Turing thesis says that computable functions are functions that can be calculated using a mechanical calculation device given unlimited amounts of time and storage space. Theo luận văn Church-Turing, các hàm tính toán chính xác là các hàm có thể được tính bằng thiết bị tính toán cơ học với lượng thời gian và không gian lưu trữ không giới hạn.
“The Commission used a dynamic computable general equilibrium model to determine the impact of TPP relative to a baseline projection that does not include TPP. Ủy ban đã sử dụng một mô hình cân bằng tổng thể nhằm xác định các ảnh hưởng của TPP trong mối quan hệ tương quan với một mức tham chiếu cụ thể khi không tính đến TPP.
The Commission used a dynamic computable general equilibrium model to determine the impact of TPP relative to a baseline projection that does not include TPP. Ủy ban đã sử dụng một mô hình cân bằng tổng thể nhằm xác định các ảnh hưởng của TPP trong mối quan hệ tương quan với một mức tham chiếu cụ thể khi không tính đến TPP.
