6
Có vẻ như có một chuyển động mạnh mẽ cho sự hội tụ của toán học và ngôn ngữ lập trình máy tính, điều này đáng chú ý là ảnh hưởng của phép tính lambda trên ngôn ngữ hiện đại. Hầu hết thời gian tôi không nghĩ đến toán học, tôi nghĩ với logic. Dường như với tôi rằng nhiều hiện tượng có thể được mô hình toán học có thể được mô hình hóa một cách logic.Sự hội tụ của Toán học và Ngôn ngữ lập trình
Tôi không nghĩ rằng chúng ta sẽ thấy một ngôn ngữ hoàn toàn hợp lý hoặc một ngôn ngữ thuần túy đạt được cho lập trình mục đích chung, nhưng tôi muốn kiểm kê các lợi ích của mỗi mô hình. Tôi muốn biết:
- Lợi ích của việc lập mô hình ngôn ngữ lập trình hoặc các tính năng ngôn ngữ về toán học là gì?
- Lợi ích của việc lập mô hình ngôn ngữ trên nguyên tắc logic chính thức là gì?
- Ngôn ngữ có mục đích chung có thể là logic hoặc toán học không?
- Một số ngôn ngữ thực sự thể hiện lợi ích của một trong hai cách tiếp cận là gì?
- Tính năng phần cứng nào làm cho một cách tiếp cận hấp dẫn hơn so với các tính năng khác?
Logic là toán học. Trong thực tế, nó là một thành phần quan trọng cho toán học rời rạc. Và nếu bạn là một nhà khoa học máy tính hoặc kỹ sư phần mềm, bạn nên có ít nhất một chút thoải mái khi làm việc với toán học rời rạc. –
Tôi hiểu mối quan hệ ở cấp cơ bản nhất, tôi thực sự tò mò hơn về biểu thức ở cấp độ người dùng. – jessecurry
Tôi không thấy sự phân biệt rõ ràng giữa logic và toán học mà bạn thấy rõ ràng. Rõ ràng, các công cụ tính toán liên quan đến tính toán số học toán học nhiều hơn logic, nhưng đối với các chủ đề nâng cao hơn, thì các mục nghiên cứu là trừu tượng phức tạp, đặt chúng vào giỏ "logic" hoặc "toán học" có vẻ như một sự lựa chọn tùy ý. – harms