LINUX.ORG.RU

История изменений

Исправление tyakos, (текущая версия) :

Для начала подумай, почему вообще есть теоремы, а есть доказательства.

В большом количестве случаев, теоремы формулируются потому что они интуитивно «должны» быть верны. А потом интуицию формализируют и обращают в доказательство. Начни с этого – попробуй понять, почему теорема должна быть верна. Если же ты за дельтами и эпсилонами больше ничего не видишь – начни сначала, с определений.

Ещё, с опытом, ты познакомишься с классическими приёмами как индукция, доказательство от обратного и конечно же «доказательство мы оставляем как упражнение для читателя». Ну и область-специфичными вещам, контрпримерами и т.д. Типа дискретных метрик, Канторовой лестницы…

Исходная версия tyakos, :

Для начала подумай, почему вообще есть теоремы, а есть доказательства.

В большом количестве случаев, теоремы формулируются потому что они интуитивно «должны» быть верны. А потом интуицию формализируют и обращают в доказательство. Начни с этого – попробуй понять, почему теорема должна быть верна. Если же ты за дельтами и эпсилонами больше ничего не видишь – начни сначала, с определений.