|
Тема |
не се знае още [re: zaphod] |
|
Автор |
Пaньo Дoнeв (пират) |
|
Публикувано | 28.03.09 12:44 |
|
|
Това дали името на темата лъже усложнява много нещата, защото тогава и името на клуба може да лъже. По-добре да не тръгваме в тази посока.
Може би трябва да дефинирам по-тясно проблема и да го опростя, за да стигнем до обосновано решение.
По дефиниция:
1 Цялата информация за клуба се съдържа в името.
2 Цялата информация за темата се съдържа в името.
3 Името на клуба дефинира множеството от теми, които принадлежат на клуба.
4 Тема принадлежи на даден клуб, ако е част от множеството на клуба.
5 Темата НЕ принадлежи на даден клуб, ако не е част от множеството на клуба.
Тези правила не са пълни, в смисъл, че може да съществува тема за която да не можем да кажем дали е част или не е част от даден клуб, защото не можем да определим дали е или не е част от множеството.
Сега да видим нашия пример с клуба за всичко и темата, която не част от клуба за всичко.
Според името на клуба всичко теми за част от клуба.
Според името на темата, тя не е част от клуба.
Тоест според 4 принадлежи, според 5 не принадлежи. Това вероятно означава, че дефиниции 4 и 5 си противоречат, нещо като задачата за всепомитащото гюле и непоклатимия стълб.
Май трябва да помисля малко повече на какво се дължи противоречието и какво означава това.
Редактирано от Пaньo Дoнeв на 28.03.09 12:45.
|
| |
|
|
|