Всё. Пожалуй, это последняя запись в журнале. Пар кончился, что тут скрывать.

Из русскоязычных журналистов мне близки Dmitri Pavlov и viktorpetrov. Но оба они редко пишут. И оба математики, а мой интерес все-таки был нематематический, скорее общекультурный. И я был бы рад, если бы другие не-математики присоединились к изучению этих вопросов. Способ я тоже предлагал, это мой манифест дилетантов, самая первая запись в моем журнале.

Но - не получилось, так или иначе.

Тем не менее, нашлось много сочувствующих. Всем спасибо.

Сам журнал не удаляю, на комментарии отвечаю.

В свободное время делаю онтологический язык с рекурсивным названием Wonql: Wonql is Ontological and NoQL (я не ошибся, не NoSQL, а именно NoQL - см. ниже).

Пример текста:

'Peter know 'Ann now, same 'John. 'Ann age is 20.5. 'Bob like that. 'Peter is father of 'Ann and 'John. 'Michael know that.

(Наклонным шрифтом выделены ключевые слова языка.)
Запуск wonqlc транслирует это в следующий набор четвёрок:

#0 'Peter know::now 'Ann
#0 'John know::now 'Ann
#1 'Ann age:is 20.5
#0 'Bob like #1
#2 'Peter is:father:of 'Ann
#2 'Peter is:father:of 'John
#0 'Michael know #2

Язык ориентирован на "беззапросную" архитектуру базы данных (хранящихся в виде четверок). Т.е. это даже не NoSQL, а просто NoQL. Смысл в том, что мы не запрашиваем данные у базы, а наделяем ее "реакцией" на приходящие или уже существующие данные (как частные случаи, этим способом будут осуществляться как онтологический mapping, так и проверка целостности).

Я тут портировал маккардиевский redis-py на третий питон.

Сделал потому что нужно по работе.
А сюда написал потому что вдруг кому пригодится.

Вроде все тесты самого Маккарди говорят OK.

В красивой картинке, нарисованной в статье (напомню, что более подходящая математическая теория разработана Шульманом), меня напрягал один момент: для выражения понятия "класс классов" нужно лезть уже в кубические 3-категории и развивать весь аппарат там. А не хочется, т.к. там все сложнее. А если классы классов классов? Пока ничего не придумалось как все упростить.

Ну например, получается там 3-мерная клетка (т.е. "куб" с шестью гранями). Для онтологов же важно ее как-то обозвать, даже это задачка. Вообразим себе, что одна грань этой клетки - это "специализация класса отношений". Тогда противоположная грань - это "класс специализаций классов отношений". Ну а сама 3-клетка будет "классификацией специализации класса отношений". Короче голову сломишь.

Найти бы какой-нить фокус-покус, чтобы так не усложнять. Может что-то с замкнутостью придумать?

PS: Т.е. в математическом смысле понятно что придумать, но упростит ли это все для онтологов? Вряд-ли. Эх, надо короче открывать Шульмана и рисовать соответствующий graphical calculus. Только картинками можно это все соединить, если вообще можно.

Их либе ясность. Я. Их либе точность.
Их бин просить не видеть здесь порочность.
Иосиф Бродский

Люблю ясность и точность, но во мне их нет. Я однозначно не хранитель ясности и точности.

Ясность и точность рождаются иногда, если умный собеседник удачно заблуждается. Все остальное время я слепой дурак. Только математика, которую я ненавижу, дает этот сон, иллюзию владения ими. Ясностью и точностью.

Неспешный просмотр журнала idiotcol успокаивает, действует мммм.... благотворно:

Удивительно, но меня до сих пор больше френдят, чем отфренживают.

Это приятно. Но идей пока нет.

1. Нет никаких сущностей. ( Read more... )

codedot жжот! В хорошем смысле.

Спасибо, codedot! Я запомню: октябрь 2010.