Open
Office - полноценная замена Microsoft Office, включает редактор,
электронные таблицы, редактор векторных изображений, редактор презентаций, редактор
математических формул. Полностью русифицирован, поддерживает все файлы
форматов Microsoft Office.
(версия 2.4 для Windows, размер 99 Мб, загрузить)
LibreOffice - мощный офисный пакет, полностью совместимый с 32/64-битными системами. Переведён более чем на 30 языков мира. Поддерживает большинство популярных операционных систем, включая GNU/Linux, Microsoft Windows и Mac OS X.
LibreOffice бесплатен и имеет открытый исходный код, следовательно, вы можете бесплатно скачивать, использовать и изучать LibreOffice. LibreOffice бесплатен как для частного, так и для образовательного или коммерческого использования. Может использоваться без каких-либо лицензионных сборов вашей семьёй, друзьями, коллегами по работе, студентами, сотрудниками и так далее.
TexMacs - мультиплатформенный редактор научных текстов, презентаций, графики и оболочка для пакетов
символьной математики (Scheme, Axiom. Maxima). Может работать как отдельно, так и
в связке с инсталлированным дистрибутивом MikTeX. Может экспортировать
текст в PS, PDF, XML и TeX.
(версия 1.0.6 для Windows, размер 12 Мб, загрузить)
Электронныее словари -
Dicto - абсолютно бесплатное и при этом полноценное решение проблем межязыкового барьера. Dicto обладает полным набором свойств, свойственных качественным комплексным средствам перевода, в том числе возможностью использования глобальных горячих клавиш для перевода из внешних приложений и высокой скоростью работы. Альтернатива Lingvo (версия Dicto v.2.7 для Windows, размер 2.7 Мб,
загрузить)
Комплект словарей (англо-русский русский - ~500 000 статей,
русско-английский - ~350 000 статей, немецко-русский - ~90 000 статей,
русско-немецкий - ~30 000 статей, Большой энциклопедический, словарь Даля) 98Mb
загрузить)
Экономические приложения
Система разработки и эксплуатации программ учета Афина
Разработка и эксплуатация различных учетных задач (и не только учетных), каждая из которых создается с собственной базой данных.
Это система "два в одном". Разработчик использует ее для построения проектов учета, пользователь занимается в ней же эксплуатацией разработанных проектов.
Систему можно причислить к направлению RAD - Rapid Application Development, средству быстрой разработки приложений, но при условии, что разработкой занимается не новичок. Комплекс, как инструмент для разработки различных учетных задач, не так прост. На страницах этого сайта начинающие найдут много информации для ознакомления или освоения системы.
Афина существует в двух вариантах: в виде однопользовательской и сетевой сборок.
Проект выполненный с применением одной сборки будет работать и в другой.
Несколько слов о различии сборок приведены на странице "Загрузка".
Афина распространяется бесплатно без каких либо условий и гарантий.
Примечание. В Windows 7 клиентское и серверное приложения работают, но приложение-настройка не запускается. Настройку проекта приходится делать под Windows XP.
Управление проектами
Здесь вы можете скачать бесплатные программы для управления проектами. Зачем платить за Microsoft Project, когда те же возможности можно получить бесплатно?
GanttProject это бесплатная программа для управления проектами путем создания расписаний, списка применяемых ресурсов и отслеживания хода выполнения проекта с помощью диаграмм Ганта. Программа умеет экспортировать или импортировать файлы Microsoft Project, создавать html отчеты и PDF файлы на основе проектов.
Open Workbench - это мощная бесплатная программа предназначенная для планирования и управления проектами. Обладает мощнейшим функционалом и позиционируется как замена Microsoft Project
OpenProj это функциональная бесплатная программа для управления проектами. OpenProj создавался в качестве замены Microsoft Project, а потому поддерживает практически все необходимые функции, обладает схожим интерфейсом и умеет работать с файлами Microsoft Project.
Почтовые клиенты
Mozilla
Thunderbird - полноценная и, пожалуй, более мощная и удобная замена
Outlook и The Bat. Включает антиспам фильтры и фильтры рекламмы,
проверяет орфографию налету. Полностью руссифицирована.
(версия 2.0 для Windows, размер 7.2 Mb, загрузить)
Антивирусные пакеты
DrWeb CureIt!.
Бесплатная версия знаменитого антивирусного пакета. Позволяет
сканировать и удалять вирусы.
(6Мб, загрузить).
AVG
Anti-Virus Free Edition. Бесплатная версия от производителя одного
из лидирующих антивирусных пакетов. В отличии от коммерческой версии не
проводит мониторинг в реальном времени.
(версия 8.5 для Windows, 60Мб, загрузить).
7zip
- Бесплатный архиватор с высокой степенью сжатия. Аналог WinZip и
WinRar.
Поддерживает все основные форматы сжати: ZIP, 7z, RAR, CAB, ARJ, GZIP,
BZIP2, TAR, CPIO, DEB и RPM архивы. Многие кроссплатформенные открытые
пакеты распространяются в архивах TAR и GZIP, поддерживаемых этим
архиватором.
(версия 4.65 для Windows, размер 939 Kб, загрузить)
Запись CD и DVD дисков
Small CD Writer - крошечная бесплатная программа от отечественных
разработчиков
практически полностью заменяющая монструозный NERO.
(версия 1.4, размер 0.4 Мб, загрузить)
Программирование
FreeBASIC - Свободно распространяемая интегрированная среда разработки, аналог MS Visual Basic. Русский сайт поддержки, форум.
Lasarus - бесплатная среда визуального программирования, аналог Delphi для
использования с Free Pascal.
(версия 0.9.26, размер 58.6 Мб, загрузить)
Интегрированная среда разработки с открытым исходным кодом NetBeans
Бесплатная интегрированная среда разработки с открытым исходным кодом для
разработчиков программного обеспечения. Среда предоставляет все
средства, необходимые для создания профессиональных приложений рабочей
среды, корпоративных, мобильных и веб-приложений на платформе Java, а
также C/C++, PHP, JavaScript, Groovy и Ruby.
Для Windows, Mac, Linux и Solaris.
При работе с PHP данная среда очень похожа на всем известную ZendStudio, только в отличии от зенда бесплатная.
Дистрибутив NetBeans можно скачать тут. Условия использования: бесплатно
Редакторы HTML
Бесплатный редактор NVU, разрабатывавшийся до 2005 года. Open Source проект Linspire по созданию визуального (WYSIWYG) HTML редактора. Как и для Firefox и Thunderbird основой для создания NVU послужила часть кода выделенного из Mozilla - код Mozilla Composer. К созданию NVU был привлечен главный архитектор Mozilla Composer - Дэниел Глазман. На сегодняшний день NVU имеет уже достаточно много возможностей отсутствующих в оригинальном Mozilla Composer. Это Менеджер сайтов, позволяющий редактировать страницы на удаленном сервере, встроенный Редактор CSS c предварительным просмотром стилей, цветная подсветка синтаксиса в режиме редактирования кода, проверка орфографии и многое другое.
KompoZer - мощный редактор веб-страниц, использующий визуальную технологию WYSIWYG. KompoZer является полной системой веб-авторинга, которая сочетает в себе простоту использования и возможности, которые можно найти в профессиональных программах типа Microsoft FrontPage или Adobe DreamWeaver.
KompoZer чрезвычайно прост в использовании, что делает его идеальным для начинающих пользователей, которые хотят создать привлекательный, профессионально выглядящий веб-сайт. KompoZer позволяет это без знания HTML или веб-кодирования.
Основные особенности включают в себя:
- Комплексное управление файлами через FTP. Позволяет войти в свой веб-сайт и осуществлять навигацию по файлам, редактировать веб-страницы на лету.
- Созданный HTML код будет работать со всеми из самых популярных браузеров.
- Переход между режимом WYSIWYG и редактированием HTML с помощью вкладок.
- Мощная поддержка для форм, таблиц и шаблонов.
Smart Web Builder
Html-редактор. Подсветка кода, поддержка 17 языков программирования. Быстрая вставка всех основных тегов html. Отмена последних 1024 действий (вообще, сложно сказать к чему столько). Просмотр веб-страницы в различных браузерах и под сервером. Функция автосохранения. Диалоговые окна конфигурирования html-тегов. Сохранение пользовательских настроек программы и последующая их загрузка настроек из ini-файла. Встроенный FTP-клиент. База исходных скриптов web-страницы. Оптимизатор html-кода. Печать и предварительный просмотр. Вставка html-символов и др. функции.
Эта программа может стать неплохой заменой MS Front Page.
Описание от автора:
Я же предлагаю все кнопки тэгов (само собой), кучку красивых и понятных скриптов (нечего копаться по инету!) и самое главное мастера тэгов! Мастера создания опроса, таблиц и вставки картинок, заголовков и ссылок, а также мастер создания странички. Несколько видов опросов (голосований) можно создать одним нажатием кнопки. Выбрать как вставить картинку: как фон, просто или вообще размножить. Удобная подсветка тэгов и многое другое.
Некоторые из возможностей программы:
Настройки сохраняются в специальный файл
Изменен интерфейс программы, в связи с затруднениями с програмным кодом.
LI>Мастер вставок картинок ( с указанием свойств высоты, ширины, описания картинки и ширины рамки)
Настраивамый интерфейс программы в соотвествии с уровнем Вашего зрения
BK ReplaceEm - Программа для поиска и замены текстовых фрагментов в файлах. Это одна из самых необходимы программ для веб-мастеров любого уровня. Если Вам необходимо изменить одинаковый кусок кода в большом количестве страниц (например, меню, рекламный скрипт, заменить код одного счётчика на другой и т.п.), то BK ReplaceEm станет Вашим незаменимым помощником. Программа обладает очень хорошей функциональностью, в частности:
LI>умеет заменять фрагмент кода во всех файлах, находящихся в заданной папке
LI>умеет заменять фрагмент кода во всех файлах, с заданым расширением (например, *.txt, *.html, *.shtml)
LI>возможность одновременной замены нескольких фрагментов
LI>создание собственного log-файла по окончании работы
LI>резервное копирование файлов, код которых подлежит изменению
GIMP
- мощный графический редактор, приближающийся по возможностям к
Adobe Photoshop. Полностью руссифицирован.
(Версия 2.6 для Windows c библиотеками GTK+, размер 16Mb, загрузить)
JPEG Optimizer 3.10
Это одна из самых известных и популярных программ для сжатия jpeg-изображений. Главная особенность - возможность назначит участки, которые можно подвергнуть более сильному сжатию и те, которые нужно сжимать с наименьшей потерей качества.
Из дополнительных функций можно отметить возможность цветовой коррекции изображений (придания определённых оттенков), гамма-коррекцию, изменение кривых уровней.
Отличительной особенностью является отображение на экране сразу двух изображений - до и после обработки.
Интерфейс программы имеет огромное количество всевозможных кнопок, ползунков.
Недостаток программы - справка на английском языке и полностью английский интерфейс, который вкупе со специализированной терминологией значительно затрудняет работу.
Одна из лучших программ для определения цвета в любой точке экрана. Снабжена удобными ползунками для подбора RGB-цвета, стандартной таблицей безопасных цветов и отличным списком "Color name" для выбора буквенного названия безопасных цветов.
Inkscape
- редактор векторной графики, аналог Adobe Illustrator, Corel Draw и
Visio.
(версия 0.46 для Windows, 22 Mb, загрузить).
Dia - открытая
программа для рисования диаграмм.
(версия 0.96.1 для Windows, 12 Mb, загрузить).
Редакторы Flash
Adobe Flash CS5 Pro Portable RU winXP win7
Программа для создания профессиональных анимационных Flash-файлов. Adobe Flash Professional обладает расширенным набором инструментов для работы с Flash технологией. Программа интегрируется с другими графическими приложениями компании Adobe. Тут присутствует возможность импорта файлов из Adobe Photoshop и Adobe Illustrator, удобная временная шкала, позволяющая наиболее точно накладывать эффекты движения и расширенные средства для создания и редактирования основных геометрических форм, с возможностью генерации своих фигур с помощью встроенного модуля javascript API. Кроме того, данная программа позволяет легко добавлять в Flash-файл музыку в формате MP3 и включать в него видео для получения файлов FLV формата.
Интересная программка для создания различных эффектов на Flash. Пригодится при создании flash-баннеров.
Любопытная функция сохранения текстовой информации, поэтому, если фраза на баннере Вам разонравилась, достаточно изменить текстовый файл и всё готово. При этом не требуется вновь создавать графику, спецэффекты и т.д.
Texnic
Center - бесплатная оболочка для работы с TeX, аналог коммерческого
пакета WinEdt.
(версия 1.0 для Windows, 4.6 Мб
загрузить).
TexMaker -
бесплатная оболочка для работы с TeX, аналог коммерческого
пакета WinEdt.
(версия 1.8 для Windows, загрузить).
Для проверки правописания требуется инсталлировать Aspell
и русский
словарь.для него.
WinShell - бесплатная
оболочка для работы с TeX, аналог коммерческого пакета WinEdt.
(версия 3.3 для Windows, 3.7 Мб, загрузить).
ProText - Полный
дистрибутив TeX со всеми пакетами на основе MikTex (включает и Texnic Center):
(версия 2.2 для Windows, 688 Мб, загрузить).
Построение графиков
Advanced
Grapher
- пакет для построения графиков и нелинейной интерполяции. Advanced
Grapher может использоваться гражданами России и организациями,
зарегистрированными
в России, в некоммерческих целях бесплатно. Для того, чтобы
воспользоваться этой возможностью, при инсталляции выберите русский язык
интерфейса.
(Версия 2.11, размер 1.1 Мб, загрузить)
GnuPlot
- мощный пакет для построения 2D и 3D графиков.
(Версия 4.2, размер 3.7 Мб, загрузить)
Extrema (ранее
Physica) - открытый мощный интерактивный мультиплатформный пакет для подготовки
научной графики и анализа данных.
(Версия 4.3.8, размер 9.8 Мб, загрузить)
RLPlot - открытый
удобный и очень компактный пакет для научной 2D презентации данных.
Имеет интерактивный графический пользовательский интерфейс, работает с
таблицами, позволяет свободно редактировать графики, поскольку включает
векторный редактор.
(Версия 1.5 , размер 1.2 Мб, загрузить
- не требует инсталляции, просто перенесите исполняемый файл в желаемую
директорию).
Fityk -
открытый пакет для линейной и нелинейной регрессии экспериментальных
данных аналитическими кривыми. Особое внимание уделяется поиску
резонансных пиков. Fityk это программа нелинейной аппроксимации и анализа данных. Позволяет проводить визуализацию данных, разделение перекрывающихся пиков, и подбор методом наименьших квадратов с использованием стандартного алгоритма Levenberg-Marquardt, обычного алгоритма или симлексного метода Nelder-Mead. Программе знакомы только общие "колоколообразные" (bell-shaped) функции (Gaussian, Loretzian, Pearson 7, Voigt, Pseudo-Voigt) и полиномы, но более изощренные формулы могут быть при необходимости легко добавлены. Поддерживается также фоновую замену переменных, калибровку данных и автоматизацию заданий с помощью простого скриптового языка программирования. Программа была разработана для анализа моделей дифракции пыли, но может быть использована для удовлетворения нужд в анализе любого вида данных. Наиболее похожая на Fityk программа, вероятно, программа PeakFit.
(Версия 0.8.6, размер 2.2 Мб, загрузить)
MayaVi - открытый
пакет научной 2D и 3D визуализации данных, опирается на мощную
библиотеку Visualization Toolkit (VTK).
Два года не обновлялся, но сейчас готовится существенно новая версия
MayaVi2
(Версия 1.5, размер 7.4 Мб, загрузить)
Zhu3D
- открытый пакет красивой научной 3D визуализации данных. Поддерживает анимацию, текстуры, тени,
прозрачность, туман, размытие.
(Версия 4.1.8 , размер 6.3 Мб, загрузить)
OpenDX -
мощный пакет анализа и визуализации данных, является открытой версией
коммерческого
продукта IBM Visualization Data Explorer (версия 4.4.4, 45.2 Мб, загрузить,
требует установки XWindows, например Cygwin)
SimplexNumerica - Программа SimplexNumerica это объектно-ориентированный численный анализатор данных. С ней можно создавать стильные, информативные графики и диаграммы как в 2d, так и в 3d исполнении. SimplexNumerica предлагает 49 вариантов исполнения сортированных по типам различных диаграмм и графиков. Разнообразие форм, стилей и дополнительных настроек отображения данных в графическом виде реализованных в программе помогает создавать и дополнять презентации на качественном и профессиональном уровне.
С SimplexNumerica создаются графики линии, диаграммы-области, гистограммы, круговые (секторные) и радиальные (сетчатые) диаграммы, картодиаграммы, диаграммы биржевого типа, в виде измерительного табло и объемных поверхностей. Удобный ввод значений, построение функций, вставка дополнительных объектов (изображения, полигоны, объекты созданные на основе алгоритмов - кривые Безье, регрессии и прочие) и создание динамических диаграмм и графиков. Такой широкий выбор возможностей удовлетворит и школьника и ученого. SimplexNumerica поддерживает импорт данных из csv и xls форматов данных, в эти же форматы возможен экспорт, плюс сохранение диаграммы или графика в файл цифрового изображения.
Скриншоты
Официальный сайт: http://www.simplexnumerica.com Операционные системы:Windows All Поддерживаемые языки: Английский, Немецкий Версия: 9.2.9.4 Лицензия: freeware (бесплатно)
Программа созданая для решения задач на графах. Программа может:
Находить наикратчайшие пути графа разными алгоритмами.
Визуализировать решение.
Находить Эйлеров цикл и цепь.
Гамильтонов цикл и цепь.
Находить хроматическое число.
Нахождить минимальный остов графа.
Находить радиус графа, эксцинтриситет.
Способна работать с орграфами
, нагруженными, ориентированными, простыми и другими типами.
Содержит подробную справку.
В справке также приложен пример решения некоторых задач, которые можно решить с помощью программы. Если вам необходимо работать с графами программа вам необходима, т.к. даже MathCad не даст вам такой визуальный эффект и простоту работы с графами. При сохранение графа сохраняются также расположение вершин на рабочем поле. Есть возможность изменять размер рабочей области. Имеется возможность изменять размер вершин графа. Возможно вставить фоновый рисунок на рабочую область. Настройки программы также сохраняются в файле.
Основная задача программы - расчет кратчайшего пути в графе с помощью метода Флойда. Имеется возможность задания графа визуально (графически) либо с помощью матрицы смежности. Просмотр информации о графе: ориентирован он или нет, полный или нет, связный или нет, дерево или нет, кол-во вершин и рёбер. Предусмотрена возможность проверки двух графов на изоморфность. Программа сделана как MDI приложение (многооконное). Гибкие возможности редактирования графа визуально, интуитивно понятный интерфейс и конечно же помощь. В программе предусмотрено множество настроек.
Открытый проект, наследник одного из первых пакетов символьной математики. Аналог Maple
и Mathematica. Интерфейс русифицирован. Дистрибутив включает в себя
также пакет wgnuplot. (версия 5.17.0 для Windows, 22.5 Mb,
загрузить).
Открытый пакет для численного моделирования методом конечных
элементов. Аналог коммерческих пакетов Femlab и Ansys. Включает, в
частности, физические модели для задач гидродинамики, структурной
механики, электромагнетизма, теплопередачи и акустики. Quickstart
tutorial. Документация.
(версия 5.4.1 для Windows, 20 Mb,
загрузить).
Giac/Xcas
- бесплатный мультплатформный пакет символьной математики и численных расчетов. Включает 2D и 3D
графику, электронные таблицы. С-подобный язык программирования. Имеет режим
совместимости с Maple и MuPad.
Pari/GP пакет
компьютерной алгебры первоначально ориентированный на теорию чисел, но включающий
много других инструментов для численных расчетов. Основным
перимуществом пакета является очень высокая скорость целочисленных вычислений и
вычислений с плавающей точкой, часто на порядки превышающая скорость коммерческих
пакетов.
Sage - проект
кросплатформенного универсального математического пакета, аналога Maple и Mathematica,
собранный на основе многих разработок. Символьные вычисления основаны на ядре
Maxima. Работает через виртуальную машину VMVARE на любой системе. Идет работа над
родной версией 3.3 под Windows.
(Версия 3.2.3, размер 608 Мб, загрузить)
FreeMat
- открытый бесплатный клон Matlab. (версия 3.6 для Windows, 10.0 Mb, загрузить).
Octave -
кроссплатформенный пакет численной математики. Аналог MathLab.
(Версия 3.0.3, размер 56 Мб, загрузить
, репозиторий Octave - различные специализированные
пакеты и библиотеки для Octave).
Существует удобая версия с интегрированной графической средой
QtOctave, портированная
и под Windows, не требующая инсталляции (Portable):
(Версия 0.7.2 + octave 3.0.0, размер 30 Мб, загрузить).
Хотя QToctave включает в себя урезанную версию Octave 3.0, можно посоветовать
поставить полную версию Octave с новой версией графической подсистемы (выбирается при инсталляции) и
затем настроить QtOctave именно на эту версию. При этом обеспечивается лучшая совместимость с графическим выводом Matlab.
Scilab - мощный открытый
пакет для научных численных расчетов с удобным графическим интерфейсом.
Поддерживает 2D и 3D графику, богатые библиотеки функций, статистику,
решение дифференциальных уравнений, цифровую обработку сигналов, связь с
LabView. Подробнее о Scilab, лекции по SciLab.
(Версия 5.1, размер 79.2 Мб, загрузить).
Euler
- компактный бесплатный мультиплатформенный пакет численной математики,
совместимый с Matlab. (Версия 13.6, размер 60 Мб, загрузить).
R Project -
Мультиплатформенная среда для статистических расчетов и графического представления данных.
(CRAN
версия 2.8.1, размер 34 Мб, загрузить).
SEO - поисковая оптимизация
META Tuner 2.5.0.1
Этот архив содержит статистический анализатор текста , предназначенный для настройки релевантности (соответствия) сетевых ресурсов, запросам пользователей поисковых систем.
Основные возможности:
- Подсчет количества слов и их повторов в HTML-документе.
- Вычисление относительной и взвешенной релевантности слов.
- Операции над META тегами.
SP-Meta сгенерирует keywords для страницы на основе введённого текста, который будет размещён на данной странице. При этом учитывается важность первой строчки текста (обычно это заголовок к странице, статье и т.д.). Имеется возможность автоматической замены буквы ё на е, запрета внесения в keywords определённых слов, содержащихся в базе данных (пользователь может удалить встроенную и создать собственную базу данных слов, запрещённых для включения в соответствующий meta-тег).
Количество генерируемых ключевых слов для одной страницы ограничено 20 шт.
CygWin
с установленным XServer позволяет запускать многие программы из мира
Unix, не портированные под графический интерфейс Windows. Пакет проще ставить
из сети с помощью программы setup.exe
(0.3Mb). При установке укажите среди пакетов, что требуется инсталляция
X11.
Составил М.Л.Городецкий, редакция и дополнения К.А. Хайдарова
Знаете ли Вы, что такое мысленный эксперимент, gedanken experiment? Это несуществующая практика, потусторонний опыт, воображение того, чего нет на самом деле. Мысленные эксперименты подобны снам наяву. Они рождают чудовищ. В отличие от физического эксперимента, который является опытной проверкой гипотез, "мысленный эксперимент" фокуснически подменяет экспериментальную проверку желаемыми, не проверенными на практике выводами, манипулируя логикообразными построениями, реально нарушающими саму логику путем использования недоказанных посылок в качестве доказанных, то есть путем подмены. Таким образом, основной задачей заявителей "мысленных экспериментов" является обман слушателя или читателя путем замены настоящего физического эксперимента его "куклой" - фиктивными рассуждениями под честное слово без самой физической проверки. Заполнение физики воображаемыми, "мысленными экспериментами" привело к возникновению абсурдной сюрреалистической, спутанно-запутанной картины мира. Настоящий исследователь должен отличать такие "фантики" от настоящих ценностей.
Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.
Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").
Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.
Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.
Понятие "мысленный эксперимент" придумано специально спекулянтами - релятивистами для шулерской подмены реальной проверки мысли на практике (эксперимента) своим "честным словом". Подробнее читайте в FAQ по эфирной физике.