Một số người lập luận rằng trước đó các nhà khoa học máy tính thực hiện điều này khác biệt, với lý thuyết của Donald Knuth "lập trình biết chữ" lạc quan giả định có là hội tụ giữa các mô hình trực quan và chính thức, và lý thuyết Edsger Dijkstra trong bài viết The đối xử tàn ác thực sự giảng dạy khoa học máy tính, mà nói rằng chương trình là đơn giản, và chỉ, một nhánh của toán học.[6][7]Trong cả hai hình thức, khái niệm này đã dẫn đến nhiều cuộc tranh luận học thuật [weasel từ] về những ưu và khuyết điểm của hai phương pháp tiếp cận và các chiến lược có thể cho kết hợp cả hai. Một số người] xem xét các chiến lược khác nhau không phải là đối thủ cạnh tranh, nhưng như là mô tả của cùng một vấn đề từ quan điểm khác nhau.[cần dẫn nguồn]
đang được dịch, vui lòng đợi..
