>Попробуйте-ка задать сходу тип данных "открытое множество" в каком-нибудь языке программирования.

Простота задания какого-либо объекта в программировании
никак не кореллирует с его простотой в математике.
Это и понятно, потому что математика — не программирование.

(Reply to this) (Parent) (Thread)

> математика — не программирование.

Разумеется, математика — это не программирование, а наука о программировании и связанных с ним закономерностях. Но я абсолютно не вижу, что эта поправка меняет в рассматриваемом контексте.

С уважением,
Гастрит

(Reply to this) (Parent) (Thread)

Наука о программировании и связанных с ним закономерностях — это computer science.

На примере теоремы Лефшеца я уже продемонстрировал,
что содержательная математика ею не исчёрпывается.

(Reply to this) (Parent) (Thread)

Простите меня, убогого, но в моей слабой голове не укладывается, как может быть "содержательной" теорема, опровергнутая на контрпримере.

С уважением,
Гастрит

(Reply to this) (Parent) (Thread)

Контрпример, который я привёл, опровергает
конструктивный вариант теоремы Лефшеца.
Обычная теорема Лефшеца, конечно, остаётся верной,
более того, находит содержательные применения в физике
конденсированных сред.

(Reply to this) (Parent)