Формулировка Бурбаки: "Сущность математики… представляется теперь как учение об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание теории… Математика есть набор абстрактных форм — математических структур."

Вопрос к тем, кто имеет отношение к математике:

Возможна ли в математике, как в строгой, абстрактной, систематической, языковой структуре, концепция «системы времен»? И как бы она могла выражаться.

Если в обычном человеческом языке система времен складывалась практически сразу же — это, в сущности, и отличает язык от системы коммуникаций животных (СКЖ):

  1. «индексные знаки» (следы) позволили вырвать концепт (оставившее следы животное) из ситуации «здесь и сейчас», т.е. животное «когда-то было здесь», возможно «будет здесь», а сейчас оно «где-то там». Это был первый шаг в «концепцию времени».
  2. «иконические знаки» (схематические изображения) позволили уже самим протолюдям создавать «знак концепта» животного при необходимости. Это был второй шаг, увеличивающий возможности протоязыка, позволяющий перемещать знаки в пространстве, но еще не во времени.
  3. «символы» (абстракция) позволила привязывать концепт к произвольным знакам, набору знаков, создавать синтаксис речи и, собственно, создать систему времен. Знак можно было не только перемещать в пространстве, но и во времени с помощью грамматики, синтаксиса и т.п.

При этом в математическом языке мы имеем уже абстракцию, но не имеем «системы времен», временно?го «синтаксиса» этих абстракций. Может быть я чего-то не знаю о математике (скорее всего), может быть концепция есть, но еще не привязана к этой возможности.

image

P.S. Этот вопрос возник в связи с обсуждением этики ИИ.