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 zawiódł, bez modyfikacji dowodu?
- Jeśli (1) jest prawdziwe, czy kiedykolwiek konieczne były poważne modyfikacje, aby naprawić dowód?
- Jeśli (2) jest prawdziwe, to czy ktoś udowodnił błędne główne twierdzenie z powodu błędu poprawności?
Pozostawię definicję „major” innym.