April 1st, 2021

Дедуктивная физика. 5 исходных аксиом.

Дедуктивная физика. 5 исходных аксиом.

Book name- PRINCIPLES OF PHYSICS
From Quantum Field Theory to Classical Mechanics
Author by - Ni Jun
https://t.me/Dj_physics/1202

стр.1 (гугл перевод)
Мы исходим из следующих пяти основных принципов построения всех других физических законов и уравнений.

Вот эти пять основных принципов:
(1) Составляющий принцип, основные составляющие материи - это различные виды идентичных частиц. Это также можно назвать принципом локальности;
(2) принцип причинности; будущее состояние зависит только от текущего состояния;
(3) принцип ковариантности; физика должна быть инвариантной относительно произвольного преобразования координат;
(4) Принцип инвариантности или симметрии: пространство-время однородно;
(5) Принцип равной вероятности: предполагается, что все состояния изолированной системы будут заняты с равной вероятностью.

Эти пять основных принципов можно рассматривать как физический здравый смысл. Иметь эти основные принципы вполне естественно. Более важно то, что эти пять основных принципов совместимы друг с другом. Из этих пяти принципов мы выводим обширный набор уравнений, которые объясняют или обещают объяснить все явления физического мира.

К вопросу о языке.

======
1.
https://deep-econom.livejournal.com/284596.html
язык оказывает серьезное влияние на мышление

---
язык оказывает серьезное влияние на мышление
"Язык образует среду мышления и формирует представление о том, о чем мы думаем". (Б.Л.Уорф)
эпиграф из книги Бьерн Страуструп "Язык программирования С++".

---
Гипотеза лингвистической относительности предполагает, что структура языка влияет на мировосприятие и воззрения его носителей, а также на их когнитивные процессы. Лингвистическая относительность широко известна как гипотеза Сепира — Уорфа. Выделяют две формулировки этой гипотезы:

Строгая версия: язык определяет мышление, и, соответственно, лингвистические категории ограничивают и определяют когнитивные категории.

Мягкая версия: наряду с лингвистическими категориями мышление формируют влияние традиций и некоторые виды неязыкового поведения.
https://ru.wikipedia.org/wiki/Гипотеза_лингвистической_относительности
---

Однозначно, выразительность языка накладывает серьезное ограничение на мышление.
Пример.
1. То, что выразимо в логике высших порядков, невыразимо в логике более низкого порядка.
2. По мере развития математики, размышления о бесконечно малых и о бесконечностях в целом позволили обсуждать тонкие вещи.
===========

2.
====
Все достаточно сложные языки по сути Тьюринг-эквивалентны.

Определения:
Тьюринг-эквивалентные языки программирования называют Тьюринг-полными.
Вычислительное устройство является Тьюринг-эквивалентным (англ. Turing-equivalent), если оно может эмулировать машину Тьюринга.
Задача называется Тьюринг-полной (англ. Turing-complete), если её можно решить, используя только машину Тьюринга или любую систему, являющуюся Тьюринг-эквивалентной.
https://neerc.ifmo.ru/wiki/index.php?title=Тьюринг-полнота
====

3.
============
Что такое язык? Что такое алгоритм?
https://deep-econom.livejournal.com/55053.html

Что такое алгоритм?
Алгоритм это модель процесса.

Что такое язык?
Язык это модель модели (модели описания реальности и модели описания моделей, модель для конструирования моделей).
Язык это модель описания.
Язык это код модели.

Конкретный язык алгоритмический или естественный это конкретная модель того, чего описывает язык.
============


=============
Тезисы:
1. Каковы модели, такое и моделирование.
2.
===========

Что такое язык? Что такое алгоритм? https://deep-econom.livejournal.com/55053.html
Что такое язык? https://deep-econom.livejournal.com/313094.html
К вопросу о языке. https://deep-econom.livejournal.com/806132.html
Язык оказывает серьезное влияние на мышление.
https://deep-econom.livejournal.com/284596.html
Язык. Тотальный полиморфизм. Генезис любых языков.
https://deep-econom.livejournal.com/867415.html