> tak mozhno tseluju vechnost' prozhdat' (poka naturalnye chisla ne konchatsya)!!!!!

Это если поставить себе шизофреническую цель "полностью проверить" формулу. Однако сия цель может прийти в голову только законченному математику, нормальные люди такой фигнёй страдать не будут :-) Мы, руководствуясь нашим ограниченным опытом, приходим к выводу, что общее утверждение верно, и волюнтаристски объявляем его таковым. После чего начинаем выводить из этой (объявленной нами верной) формулы дальнейшие следствия (в т.ч. и разрешимые). Если в один прекрасный момент сумеем вывести заведомую ерунду — поблагодарим исходную формулу с квантором за хорошую службу и переведём в разряд неверных.

В физике у всех общих законов ровно такая же судьба.

> Ja podozrevaju, chto ja konstruktivist. :)))

Вы, похоже, клятый финитарист, то бишь еретик и отступник :-))

С уважением,
Гастрит

(Reply to this) (Parent) (Thread)

v obschem ja soglasen, tak i est'... no uzh ochen' mnogo nejasnostej...

Da, i finitist tozhe. (Finitizm u menja po vtornikam.)

(Reply to this) (Parent)