1.3.1. Меню MathCAD. Визуальная среда математического моделирования MathCADСтрока меню располагается в самой верхней части окна Mathcad. Она содержит девять заголовков, щелчок мышью на каждом из которых приводит к появлению соответствующего меню с перечнем команд:
Состав каждого меню, снабженный описанием действий каждого пункта, вы можете отыскать в приложении 3. Чтобы выбрать нужную команду, щелкните мышью на содержащем ее меню и повторно на соответствующем элементе меню. Некоторые команды находятся не в самих меню, а в подменю, как это показано на рис. 1.5. Чтобы выполнить такую команду, например команду вызова на экран панели инструментов Symbolic, наведите указатель мыши на пункт Toolbars (Панели инструментов) выпадающего меню View (Вид) и выберите в появившемся подменю пункт Symbolic. Далее в книге, говоря о совершении того или иного действия с помощью меню, последовательность выбора пунктов меню будем приводить сокращенно, разделяя их косыми чертами Например, рассмотренная команда обозначается как View / Toolbars / Symbolic. Рис. 1.5. Работа с меню Обратите внимание, что пункты меню, которые содержат подменю, снабжены стрелками (как пункт Toolbars на рис. 1.5). Кроме того, некоторые пункты меню имеют (или не имеют) флажки проверки, указывающие на включение (или выключение) соответствующей опции в текущий момент. Так, на рис. 1.5 флажки проверки выставлены в пунктах Status Bar (Строка состояния) и имен трех панелей инструментов, что говорит о наличии в данный момент на экране строки состояния и трех панелей. Флажки же в пунктах Ruler (Линейка), Regions (Регионы) и имен математических панелей инструментов отсутствуют, т. е. в данный момент эти опции выключены Назначение пунктов меню, на которые наведен указатель мыши, появляется в виде подсказки слева на строке состояния (в нижней части окна Mathcad). На рис. 1.5 указатель наведен на пункт Symbolic, поэтому подсказка гласит "Show or hide the symbolic keyword toolbar" (Показать или скрыть панель символики). Помимо верхнего меню, схожие функции выполняют всплывающие меню (рис. 1.6). Они появляются, как и в большинстве других приложений Windows, при нажатии в каком-либо месте документа правой кнопки мыши. При этом состав данных меню зависит от места их вызова, поэтому их еще называют контекстными. Mathcad сам "догадывается", в зависимости от контекста, какие операции могут потребоваться в текущий момент, и помещает в меню соответствующие команды. Поэтому использовать контекстное меню зачастую проще, чем верхнее, т. к. не надо вспоминать, где конкретно в верхнем меню находится нужный пункт. Как и верхнее меню, контекстное также может иметь подменю (на рис. 1.6 показан участок документа с примером изменения отображения знака умножения в формуле; примечательно, что эту операцию в Mathcad можно осуществить только при помощи контекстного меню). Рис. 1.6. Контекстное меню |
Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.
Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").
Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.
Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.
Понятие "мысленный эксперимент" придумано специально спекулянтами - релятивистами для шулерской подмены реальной проверки мысли на практике (эксперимента) своим "честным словом". Подробнее читайте в FAQ по эфирной физике.