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

[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-спама, можно сказать и „На любые вопросы мы можем дать нерелевантные ответы”.