Мягкий вопрос: почему неразрешимость можно доказать?

8 года назад от Борис Петров

1 ответ

0 голосов
Ну, например, есть детская задача - о неразрешимости представления корня из двух в виде дроби n/m, где n - натуральное, m - целое. Доказывается методом "от противного".

Есть, вроде, перцы, которые подобный метод док-ва принципиально не используют - см. интуиционистское исчисление высказываний.
8 года назад от Сергей RSA

Связанные вопросы

4 ответа
Почему в металлах эффект Холла проявляется слабе чем в полупроводнике?
4 года назад от Kellietig
2 ответа
Помогите перевести, пожалуйста. Срочно. Интересует нормальный перевод, а не из гугл переводчика
10 года назад от Gevorg Nersisyan
2 ответа
По одной из теорий вселенная представляет собой мембрану параллельно расположенную с другими мембранами.
12 года назад от Серега Хилинский