Pytania otagowane jako soundness

1
Czy błąd sprawdzania kiedykolwiek unieważnił ważny dowód?
Większość (wszystkich?) Dowódców ma czasami naprawione błędy związane z dźwiękiem. Jednak z tych, które widziałem, błędy te zwykle trudno jest przypadkowo natknąć się, a wyniki udowodnione przed naprawieniem błędu zwykle są wstrzymywane po naprawie. Trzy pytania, w kolejności według siły: Czy taka poprawka błędu dźwiękowego spowodowała, że ​​jakiś główny dowód …

Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.