Вопрос к тем, кто имеет отношение к математике:
Возможна ли в математике, как в строгой, абстрактной, систематической, языковой структуре, концепция системы времен? И как бы она могла выражаться.
Если в обычном человеческом языке система времен складывалась практически сразу же это, в сущности, и отличает язык от системы коммуникаций животных (СКЖ):
1) индексные знаки (следы) позволили вырвать концепт (оставившее следы животное) из ситуации здесь и сейчас, т.е. животное когда-то было здесь, возможно будет здесь, а сейчас оно где-то там. Это был первый шаг в концепцию времени.
2) иконические знаки (схематические изображения) позволили уже самим протолюдям создавать знак концепта животного при необходимости. Это был второй шаг, увеличивающий возможности протоязыка, позволяющий перемещать знаки в пространстве, но еще не во времени.
3) символы (абстракция) позволила привязывать концепт к произвольным знакам, набору знаков, создавать синтаксис речи и, собственно, создать систему времен. Знак можно было не только перемещать в пространстве, но и во времени с помощью грамматики, синтаксиса и т.п.
При этом в математическом языке мы имеем уже абстракцию, но не имеем системы времен, временного синтаксиса этих абстракций. Может быть я чего-то не знаю о математике (скорее всего), может быть концепция есть, но еще не привязана к этой возможности.
P.S. Этот вопрос возник в связи с обсуждением этики ИИ.
