August 7th, 2020

артефакты на яндекс-картах


на яндекс картах в панорамах стали появляться навигации внутри помещений! видел уже несколько. вот, можно попутешествовать по медицинскому учреждению.
как doom, но по реальным зданиям. интересно, это новая программа яндекса или артефакт?



парадокс зеркала


а вот такой интересный вопрос про зеркало.

все мы знаем, что в зеркале право/лево меняются местами. но почему именно право/лево, а не верх/низ, например? почему мы не видим себя так, что голова стала ногами, а видим так, что правая рука стала левой? как зеркало понимает, где верх, где низ, где право, где лево, чтобы отразить именно право и лево?

гравитационные волны и падение в чёрную дыру


известно, что если тело падает в чёрную дыру, то оно падает туда за конечное время по часам падающего тела, но для стороннего наблюдателя процесс падения длится бесконечно.

с другой стороны, недавно обнаруженные гравитационные волны объясняются слиянием двух чёрных дыр, вращающихся друг относительно друга на огромной скорости. и регистрация гравитационной волны фиксируют завершение взаимного падения чёрных дыр друг на друга (в момент падения амплитуда гравитационных волн достигает максимума, после чего резко падает).

почему же мы можем регистрировать падение одной чёрной дыры на другую в виде события конечной протяжённости?

спасибо за ответ.

продолжаются интересные вопросы


есть естественные науки, физика, химия, биология и т.д.
эти естественные науки активно используют математику, которая, собственно, и создаёт некий абстрактно-числовой каркас, позволяющий предсказывать поведение изучаемых этими науками систем.

сами естественные науки эмпиричны. в их основе лежат недедуктивные (не рассуждательные) способы познания реальности, например, индукция или абдукция: мы что-то наблюдаем, и из частного наблюдения делаем вывод об общем характере того или иного закона для наблюдаемого явления.

но математика дедуктивна. это значит, что она вся построена не на опыте, а на рассуждениях, причём эти рассуждения подчинены строгим правилам логики (дисциплины, позволяющей из истинных высказываний с помощью определённых синтаксических процедур получать истинные).

иногда для эмпирической науки используется не адекватная описываемой этой наукой реальности математика, и в итоге оказывается, что такая наука плохо что-то предсказывает. сама по себе используемая при этом математика вполне хороша, и в других науках вполне себе работает, просто для данного аспекта реальности она не подходит. и тогда для этой науки ищут более подходящие математические модели.

собственно, вопрос заключается вот в чём:

обязательно для недедуктивных эмпирических, основанных на индукции, систем мы должны использовать только строгие дедуктивные математические конструкции?

если да, то почему? скорее всего, ответ положительный, но как его обосновать?

(забавно, что само обоснование может быть или дедуктивным, логическим, или индуктивным, опытным, но в любом случае статус этого обоснования тоже должен быть как-то обоснован, то есть, мы должны будем доказать также, что мы это обоснование используем вполне корректно, опять же, доказать или эмпирически, или логически. и т.д.)