Смена лицензии

Если подвести промежуточный итог обсуждения, то становится ясно, что простой сменой лицензии не обойтись. В связи с этим будет подготовлена поправка к документу "Правила и нормы пользования сайтом", основаная на текущих замечаниях. Обсуждение и редактирование поправки будет проходить в этом же документе.

P. S.

Тут, правда, трудность ещё в том, что, хотя serzh и подписал оба документа, но сам он находится в Белорусии.

Немного ошиблись. Я беларус, но после президентских выборов 2006, вынужден был выехать за пределы страны. Так что найти меня не так просто =).

Диссидент? ;-)

Диссидент? ;-)

Тема о перелицензировании плавно перетекает в политику =)
Лучше закончим офф-топик, а то тут скоро будет тяжело разобраться.

На самом деле для использования каких-то материалов в коммерческих целях не надо менять лицензию. Достаточно получить согласие всех авторов только этих материалов, что гораздо проще, чем собрать согласие всех, и вполне возможно. Если с кем не удасться связаться, можно разбираться по мере поступления исков, вероятность каковых гораздо меньше, чем в общем случае.

Ну и также

4.e.iii Лицензиар оставляет за собой право сбора авторских отчислений ... за любое использование Вами прав, прямо или косвенно не соответствующих некоммерческому использованию

что, вероятно, может быть справедливым. Правда, это противоречит

7.a Настоящая Лицензия и права, указанные ниже, прекращаются автоматически в случае нарушения Вами любого из условий данной Лицензии.

. Вероятно, здесь недоработка самой СreativeСommons, и надо попросить их в следующей версии это исправить. А лицензию сайта при этом можно не трогать, поскольку

4.b Вы можете осуществлять Распространение ... Производного Произведения ... (ii) на условиях более позднего варианта этой Лицензии

логически замкнутая и при этом технически исполнимая система правил недоказуема

Докажите :)
Имхо, формальные доказательства некоторых свойстсв некоторых формальных систем вполне возможны и широко практикуются (в узких кругах:)

Реальная жизнь не регламентируется законами в хоть сколь-нибудь полной мере

.
Квантовомеханический подход вселяет наднжду, что, несмотря на вероятностную природу природы, сами вероятности можно узнать точно!

Как вы технически предствляете себе возможность получить согласие всех Гостей

На самом деле достаточно только одного возражения. Если очень будет надо, могу и я возразить. :)

Хорошо мыслите :))) Как математик :)

Ну и зачем тогда голосование затеяли? Какой результат на что повлияет? Что такое кворум? Непонятно... Пусть администрация и решает тогда всё волевым порядком, и не пудрит мозги простым пользователям. Хотя кто ей запретит?

Есть 2 крайности: идеал и полная анархия, если подходить с такой точки зрения. Вы сейчас выбрали точку зрения идеала. Обычно же предпочитают использовать понятие "соразмерности". Возможно, если бы почти все горой встали против смены лицензии администрация повела бы себя иначе. Конечно, это не является сильно репрезентативным голосованием но хоть в какой-то мере отражает мнение того, что думают пользователи на эту тему.

логически замкнутая и при этом технически исполнимая система правил недоказуема

Я опечатался. Имелось в виду не "недоказуема" а "не реализуема".

Имхо, формальные доказательства некоторых свойстсв некоторых формальных систем вполне возможны и широко практикуются (в узких кругах:)

Я некомпетентен в ответе на этот вопрос... но из того что слышал, то люди вынуждены были принять теорему Арцела (аксиому выбора) чтобы иметь возможность доказать ряд вещей, которые очень нужны в математике для построения более-меняя строгого фундамента. А реально даже не в том, брать ли эти утверждения как постулаты или доказывать, а в том, что вообще не ясно верны ли они :))), особенно аксиома выбора. В частности, если мне не изменяет память, из неё следует что любое множество может быть полностью упорядочено, как следствие полной упорядоченности каждое из множеств имеет свой максимальный и минимальный элемент. Однако, как не сложно заметить, никто такого упорядочения в том же отрезке (0,1) не видел :))) Конечно, отсюда не следует, что нельзя определить систему операций так, что полное упорядочение получится... но что-то слабо в это верится. Вот такие они... основы так называемой "строгой" математики. Это собственно вообще из области самых основ... так что много что грохнет (если не вообще всё) если подкосить их.

В связи с этим будет подготовлена поправка к документу "Правила и нормы пользования сайтом", основаная на текущих замечаниях. Обсуждение и редактирование поправки будет проходить в этом же документе.

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

Я беларус, но после президентских выборов 2006, вынужден был выехать за пределы страны.

Держись, чикатила! Вместе мы – сила :)
P. S.: ничего не имею против батьки, повезло вам что он у вас есть. А у нас вот нет :(

На самом деле для использования каких-то материалов в коммерческих целях не надо менять лицензию. Достаточно получить согласие всех авторов только этих материалов, что гораздо проще, чем собрать согласие всех, и вполне возможно. Если с кем не удасться связаться, можно разбираться по мере поступления исков, вероятность каковых гораздо меньше, чем в общем случае.

Это всё так, но, видимо, ребята хотели "автоматизировать сей процесс" :)

Квантовомеханический подход вселяет наднжду, что, несмотря на вероятностную природу природы, сами вероятности можно узнать точно!

Где-то мне давали ссылку на пример с чем-то, связанным с вероятностями зависания программ на компьютерах. Там конструировалась вероятность, которая существует в математическом смысле, но не вычислима в принципе (это доказывается), даже приближённо. Компьютеры – это не природа, правда...

Вот такие они... основы так называемой "строгой" математики. Это собственно вообще из области самых основ... так что много что грохнет (если не вообще всё) если подкосить их.

Ничего особенно не грохнет. Математика скорее подобна большой программной системе, разделённой интерфейсами (на отдельные математиченские дисциплины). И если "основы" будут глючить, просто напишут другие :), а всё остальное так и будет развиваться как и раньше, потому как люди, работающие не в области оснований, вещи типа леммы Арцела не используют вообще (тоже где-то читал). Ну это типа как пишущему на PHP не надо знать ассемблер.

найти меня не так просто =).

А вот интересно, где проще достать человека за нарушение авторских прав другой страны – в глобализованных "демократиях", у которых крыша поехала на почве "интеллектуальной собственности", или в "оплотах тоталитаризма", которых "международное правовое пространство" ещё не задело в достаточной степени?

И если "основы" будут глючить, просто напишут другие :), а всё остальное так и будет развиваться как и раньше, потому как люди, работающие не в области оснований, вещи типа леммы Арцела не используют вообще (тоже где-то читал)

Развиваться-то будет, но многие хотят верить и видеть красоту и логику, а для этого нужно всё вывести из самых-самых первооснов. Насчёт "изменения основ", думаю, вы погорячились. Это известные проблемы, народ над ними бился, но пока ничего сделать не мог. Возможно, в будущем что-то и получится но мне кажется более вероятным другой сценарий: апгрейдят логику таким образом, что она станет адекватнее существующей науке/жизни, и таким образом внутренние проблемы математики решат. Например, есть "нечёткая логика", где вместо понятий "верно" и "не верно" можно определить "степень верности" как величину от 0 до 1, может, её доведут до ума... Но честно скажу, что сам её не читал и не разбирался, только слышал.

И если "основы" будут глючить, просто напишут другие :)

Ну что-нибудь такое

Ну что-нибудь такое

Зач0тная ссылка, забавно, не слышал о таком...

И всё-таки зря не сделали возможность в вики писать матформулы :) А ведь хотели...

Опубликовал предлагаемую редакцию раздела "Лицензионное соглашение CreativeCommons".
Возможно там не всё гладко, так что жду критики и предложений.
P. S. файл со списком авторов будет добавлен при обновлении раздела.