Бесконечного деления пути или времени

Известны четыре апории. Первые две («Дихотомия» и «Ахиллес») относят-

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

делимости отрезков пути и времени. Вторые две («Стрела» и «Стадий»)– к

 

 

СПб, 2014

 

 

Сборник трудов Конгресса–2014

 

 

 

трудностям, возникающим, наоборот, в предположении существования неде-

лимых отрезков пути и атомов времени («теперь»).

В этом случае делается попытка доказательства с помощью «безразмерно-

го» понятия бесконечность («первичной» аксиомы) «размерных» понятий дли-

ны и времени («вторичных» аксиом).

Теорема Курта Гёделя о неполноте

«Первая теорема Курта Гёделя о неполноте утверждает, что в любой не-

противоречивой формальной системе, содержащей минимум арифметики (+,.,

знаки,

и обычные правила обращения с ними), найдётся формально нераз-

решимое суждение, т.е. такая замкнутая формулу А, что ни А, ни

не явля-

ются выводимыми в системе.

Вторая теорема о неполноте утверждает, что при выполнении естественных

дополнительных условий в качестве А можно взять утверждение о непротиво-

речивости рассматриваемой системы (теории). И даже в этом случае этого не

хватит для доказательства непротиворечивости уже арифметики.»[12]

Фактически речь идёт о классической матрёшке. Для того, чтобы доказать

непротиворечивость двух половин (аксиом) внутренней матрёшки используют-

ся две половинки (аксиомы) внешней матрёшки. И так будет продолжаться до

бесконечности, пока не кончится алфавит или слова (понятия), которые состав-

лены из этого алфавита. Не выполняется п. 1.2.3. следствий.

Для доказательства аксиомы n–мерной системы (теории), необходимо и до-

статочно использовать аксиомы (n-1)–мерной системы (теории) при условии

выполнения п. 1.2.2. следствий — «сумма областей существования вторич-

Ных аксиом равна области существования первичной аксиомы. Минималь-

но возможное число «вторичных» А. в «первичной» равно двум».

Отмечу наиболее часто встречающиеся положения логических систем, ко-

торые требуют уточнения:

· Использование в качестве границ логических высказываний такие поня-

тия, как нуль и бесконечность;

· Не имеющие границ существования понятий как между собой, так и от-

носительно логической системы (теории);

· Отсутствие «мерительного» инструмента для оценки высказываний;

· Использование логических понятий, не принадлежащих ни одной логи-

ческой системе (теории);

· Использование понятия «истина» вместо «правда». Более корректно ис-

пользовать понятия «правда» и «ложь».

· Использование двойных стандартов.

 

Логика научных исследований

Целью научных исследований является определение и обоснование:

 

 

 

 

Ефимов В.П.

 

· областей существования разделов науки о Вселенной и Земле на основе

a). первичных аксиом, b). фундаментальных природных понятий (ФПП)

и величин (ФПВ);

· методов исследований и разработок;

· определение «дуальных» понятий и методов их использования;

· природных констант и вычисляемых коэффициентов.

Не существует такого раздела науки, у которого не определена хотя бы од-

на первичная аксиома и на её основе фундаментальное природное понятие и

фундаментальная природная величина.

Подраздел науки является неотъемлемой частью раздела науки и его об-

ласть существования не может выходить за пределы области существования

раздела науки. Основанием для существования подраздела науки является

наличие мерных понятий, на основе которых можно производить вычисление,

сравнение,.. различных материальных и нематериальных природных объектов

Вселенной и Земли.

Мерные понятия основаны на фундаментальных природных понятиях и их

область существования однозначно определена. Использование мерных поня-

тий вне области их существования невозможно.