Так себе шуточка-загадочка

[spamsink]

Лого какой компании могло бы выглядеть как ∀x:∃x?
Яндекса, конечно.

Comments

[http://users.livejournal.com/_navi_/]

Ха, правильно догадался :-)
Но вообще, зависит от трактовки „найдётся всё”. Если раскрыть/перевести на другой язык, может получиться что-нибудь вроде ∀x,∃P:P(x).

[spamsink.livejournal.com]

Т.е. фактически тождественная истина, и таким образом слоган значит "На любые вопросы мы даем любые ответы"?

[http://users.livejournal.com/_navi_/]

хм. Ну тогда с дополнительным требованием, что P не тавтология.

[spamsink.livejournal.com]

Как насчет P(y) ::= y = x?

[http://users.livejournal.com/_navi_/]

“y = x” не подходит, так как технически то, что ищется, не эквивалентно найденному, а является его свойством.

[spamsink.livejournal.com]

"Быть эквивалентным искомому" - это свойство, пусть и тривиальное. Поисковик, реализующий это свойство - например, такой, который пишет запрос в лог перед началом поиска и включает собственные логи в поиск.

[http://users.livejournal.com/_navi_/]

Да это всё понятно, только это мало отражает смысл/цели коммерческих поисковых движков. Я поэтому и не специфицировал сначала предикат: он может быть очевиден ищущему, и как раз его надо „угадать” поисковику.

[http://users.livejournal.com/_navi_/]

А вообще, в свете разнообразного SEO-спама, можно сказать и „На любые вопросы мы можем дать нерелевантные ответы”.

[arno1251.livejournal.com]

Зачастую получается ∀x:х∃ (т.е. ХЗ).
И идёшь искать в гугле.

[chrobin.livejournal.com]

отлично

[spamsink.livejournal.com]

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

[arno1251.livejournal.com]

Да я не это имел в виду. Релевантность - раз, объём выборки - два.
И тем не менее Яндекс стоит у меня домашней страницей, ибо сопутствующие службы полезны необычайно. Словари, погода, карты, новости, расписания - всё сделано по-людски. Поиск, я считаю, можно оттуда вообще убрать как рудимент и сразу переадресовывать запрос на гугль - толку будет больше.

P. S. Вообще вшивость Яндекса демонстрируется на том, как туда добавляется новый URL. Гугль схавает и поблагодарит, а Яндекс потребует капчу, что вообще ни в какие ворота.

[chrobin.livejournal.com]

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

[arno1251.livejournal.com]

Не пугайте меня так! Ничего он не требует, если вводить ссылки построчно.
http://www.google.ru/addurl?submit=Add+URL&q=http://spamsink.livejournal.com/237253.html

[chrobin.livejournal.com]

"требует" да, неверный термин. на http://www.google.com/addurl она числится как опциональная.