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

Hầu hết (tất cả?) Trợ lý bằng chứng có lỗi âm thanh cố định trong dịp. Tuy nhiên, từ những người tôi đã thấy những lỗi này thường rất khó gặp phải, và kết quả đã được chứng minh trước khi lỗi được khắc phục thường giữ sau khi sửa. …

29 proof-assistants  soundness 

Tôi biết làm thế nào một số sự cố tiêu cực có thể là xấu: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ …

11 lo.logic  type-theory  soundness