======
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