D V D . A N D . R U
* Запасной телеграм канал *

точно так же (+)

Автор: Филипп2
Дата: 06.10.15, @13:39

  ' "В отличие от других наук, в математике недопустимы эмпирические доказательства: все утверждения доказываются исключительно логическими способами. В математике важную роль играют математическая интуиция и аналогии между разными объектами и теоремами; тем не менее, все эти средства используются учёными только при поиске доказательств, сами доказательства не могут основываться на таких средствах. Доказательства, написанные на естественных языках, могут быть не очень подробными в расчёте на то, что подготовленный читатель сам сможет восстановить детали. Строгость доказательства гарантируется тем, что его можно представить в виде записи на формальном языке (это и происходит при компьютерной проверке доказательств)."

черные дыры вывели чисто логически на формальном языке
и теперь пытаются доказать их наличие наблюдениями

Сообщения в ветке


Ответ на сообщение
Ваше имя:
Пароль:
Ваш e-mail:
Тема:
Текст сообщения:
  
Посылать уведомление об ответе: