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

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

Оригинальный логический вывод структуры, логического фундамента второго закона Ньютона. Настоящее исследование является свидетельством непреходящей глубины законов Ньютона и творческих подходов к их переосмыслению. Оно не дает окончательного ответа на вопрос почему...
Программа Гильберта, NP ≠ P, Рефлексия

Программа Гильберта, NP ≠ P, Рефлексия

Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики   1 программа Гильберта NP P Рефлексия   Описание произведения: Была использована методика Гёделя по построению такого рода тестовой задачи из класса NP, которая...
Языки логики и классы сложности. рефлексия. np ≠ p

Языки логики и классы сложности. рефлексия. np ≠ p

Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики   2 Языки логики и классы сложности Рефлексия NP P   Описание произведения: Переработка предыдущей заметки на эту тему – «Программа Гильберта, NP ≠ P, Рефлексия» (...
Расширение математической логики средствами ООП для достижения необходимой выразительности при разборе вопросов вычислений и вычислимости

Расширение математической логики средствами ООП для достижения необходимой выразительности при разборе вопросов вычислений и вычислимости

Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики   7 Расширение математической логики   Описание произведения: Обнаружен неизвестный ранее в математике этап применения математических теорий и методов, без которого...
Числа арифметики Пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики Пеано не создаёт им эти свойства

Числа арифметики Пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики Пеано не создаёт им эти свойства

Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики   6 Числа арифметики Пеано не обладают необходимыми для вычислимости свойствами   Описание произведения: Числа арифметики Пеано не обладают необходимыми для вычислимости...
Машина исполнения компьютерных алгоритмов — архитектура математической модели с центральным процессором и неограниченными лучами данных

Машина исполнения компьютерных алгоритмов — архитектура математической модели с центральным процессором и неограниченными лучами данных

Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики   4 Машина исполнения комрьютерных алгоритмов Архитектура мат модели с центр процессором и неограниченными лучами данных   Описание произведения: Построена математическая...