Câu hỏi được gắn thẻ «philosophy»

Tôi đã nhận thấy rằng tôi thấy việc viết ra các bằng chứng toán học dễ dàng hơn rất nhiều mà không mắc lỗi nào, hơn là viết ra một chương trình máy tính không có lỗi. Có vẻ như đây là một cái gì đó phổ biến hơn là …

190 correctness-proof  mathematical-foundations  philosophy 

Trong khóa học HoTT của CMU, bài giảng 1, có thể tìm thấy ở đây: https://scs.hosted.panopto.com/Panopto/Pages/Viewer.aspx?id=0945cc7f-48b7-4804-81af-e7193a3f461d Vào lúc 33:51, Harper đã đưa ra so sánh song song giữa các lý thuyết tổng hợp và các lý thuyết phân tích, và khi đạt đến lý thuyết PL, ông nói Coq là …

8 type-theory  proof-assistants  philosophy