m - Post a comment [entries|archive|friends|userinfo]
m

[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Feb. 14th, 2008|08:04 pm

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

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

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

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

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

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

Reply:
From:
(will be screened)
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Username:
Password:
Subject:
No HTML allowed in subject
Message:



Notice! This user has turned on the option that logs your IP address when posting.