Исходное сообщение
"Маленькие войны OpenSource: противостояние NoScript и Adbloc..." Отправлено FrBrGeorge, 04-Май-09 00:55
>Множество "штуки, обладающие самыми хорошими характеристиками" формируется из множества "штуки". Которое непусто, по определению, т.к. разговор идет о реальных предметах. Ну разумеется. Множество волосатых фиолетовых крокодилов формируется из множества крокодилов, которое тоже непусто. А вот наличие хотя бы одного фиолетового волосатого крокодила надо доказывать. >Пример: >Есть три яблока, спелое и недоспелое и переспелое. >Критерий - насколько яблоко спелое. >Спелое - самое лучшее. То есть вы считаете, что спелый программный продукт -- самый лучший? Ужас какой. Или всё-таки это не пример был, а аналогия? Ну так аналогии в доказательствах запрещены, если не доказана эквивалентность подмены. Видите ли, исходное утверждение содержало квантор всеобщности и требование максимума по неизмеряемому критерию. То есть было даже не ложным, а бессмысленным. Но мне пришло в голову, что если допустить _отсутствие_ максимума по неизмеряемому критерию (что логично), утверждение моментально становится истинным, что бы в нём ни утверждалось :).