2.2.6. Управление отображением некоторых операторов MathCADНекоторые операторы, например умножения или присваивания численного вывода, допускают различное представление в документах Mathcad. Сделано это, главным образом, для упрощения подготовки отчетов (в Mathcad-npoграмме символ присваивания в виде := выглядит естественно, но в отчетной документации зачастую неприемлем). Оператор умножения может иметь различный вид (рис. 2.20):
Рис. 2.20. Различный вид оператора умножения и его изменение Рис. 2.21. Смена вида оператора присваивания Оператор присваивания представляется либо знаками := (двоеточием и равенством — Colon Equal), либо просто знаком равенства (Equal), как показано на рис. 2.21. Для того чтобы в документе поменять отображение указанных операторов:
Обратите внимание, что в режиме редактирования формулы, символ оператора временно меняется на представление по умолчанию, даже если выбран другой. Изменять вид операторов следует только при серьезной необходимости Помните, что непривычный вид оператора может ввести вас при дальнейшем разборе программ в заблуждение и вызвать ошибки Всегда можно вновь переложить ответственность за представление операторов на Mathcad, выбирая в контекстном меню пункт Default (По умолчанию). Кроме того, выбор пункта AutoSelect (Автоматический выбор) этого меню приводит к отображению оператора редактором Mathcad в зависимости от контекста. Выбор представления по умолчанию для этих и некоторых других операторов производится на вкладке Display (Отображение) диалогового окна Worksheet Options (Опции документа) (рис.2.22). Для его вызова выполните команду Tools / Worksheet Options (Сервис / Опции). Отображение по умолчанию задается с помощью соответствующих раскрывающихся списков, в частности списка Multiplication для оператора умножения или списка Definition для оператора присваивания. Рис. 2.22. Диалоговое окно Worksheet Options |
Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.
Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").
Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.
Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.
Понятие "мысленный эксперимент" придумано специально спекулянтами - релятивистами для шулерской подмены реальной проверки мысли на практике (эксперимента) своим "честным словом". Подробнее читайте в FAQ по эфирной физике.