[Индекс] | [Ответить] | [Посмотреть ветку] | [Настройки] |
В отличие от других наук, в математике недопустимы эмпирические доказательства [+]
Автор:
Дата: 06.10.15, @13:21
"В отличие от других наук, в математике недопустимы эмпирические доказательства: все утверждения доказываются исключительно логическими способами. В математике важную роль играют математическая интуиция и аналогии между разными объектами и теоремами; тем не менее, все эти средства используются учёными только при поиске доказательств, сами доказательства не могут основываться на таких средствах. Доказательства, написанные на естественных языках, могут быть не очень подробными в расчёте на то, что подготовленный читатель сам сможет восстановить детали. Строгость доказательства гарантируется тем, что его можно представить в виде записи на формальном языке (это и происходит при компьютерной проверке доказательств)." https://ru.wikipedia.org/wiki/Математическое_доказательство |
Сообщения в ветке