Запитання з тегом «soundness»

Більшість (усіх?) Кореспондентів-кореспондентів мають виправлені помилки щодо надійності. Однак серед тих, кого я бачив, ці помилки зазвичай важко зустріти ненавмисно, і результати, доведені до виправлення помилки, як правило, затримуються після виправлення. Три питання в порядку сили: Чи коли-небудь таке виправлення помилок звучання спричиняло збій головного доказу, не змінюючи доказ? Якщо …

29 proof-assistants  soundness 

Я знаю, як деякі негативні явища можуть бути остаточно поганими: 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 $ C (\x -> f (selfApp …

11 lo.logic  type-theory  soundness