Только в частном случае можно доказать. Но только в частном, в общем - нельзя.
Приветствую!
И доказательство в этом частном случае будет доказательством не отсутствия - а присутсвия чего-то, что противоречит предположению, которое требуется опровергнуть. Например, алиби.
ЗЫ. Кстати, Теорема Ферма, ЕМНИП, признана доказанной в конце 80х.
>И доказательство в этом частном случае будет доказательством не отсутствия - а присутсвия чего-то, что противоречит предположению, которое требуется опровергнуть.
Совершенно согласен. Отсутствие доказывается именно так. Но не понимаю почему вы ограничиваете это дело частным случаем.
Есть такая детская игра "докажи что не верблюд" :-)
Приветствую!
>>И доказательство в этом частном случае будет доказательством не отсутствия - а присутсвия чего-то, что противоречит предположению, которое требуется опровергнуть.
>
>Совершенно согласен. Отсутствие доказывается именно так. Но не понимаю почему вы ограничиваете это дело частным случаем.
Ну тут я малость погорячился. Отсутствие в частном случае можно доказать не только предъявлением несовместимой сущности, но и перебором. Например, доказать что в коробке ничего нет - открыть коробку. Но это опять же частный случай.
В общем же случае, когда невозможен ни перебор, ни предъявление несовместимой сущности - доказать отсутствеи невозможно. Например, невозможно доказать отсутствие Бога. Или подозреваемй не может доказать свою невиновность, если у него нет алиби или если не предъявлен истинный преступник - "докажи что не верблюд".