psilogic: (morda)
psilogic ([personal profile] psilogic) wrote2007-09-12 10:24 pm

Самого себя: с почином!

Написал для пробы парочку простеньких статей-близняшек
(12) для Wiki. А кто не любит Wiki, может идти лесом. Да здравствует сетевой коммунизм! :)

[identity profile] psilogic.livejournal.com 2007-09-12 07:59 pm (UTC)(link)
я исходил из того, что в энциклопедиях нередко пишут о практическом применении того или иного понятия. Типа: тубровинтовой двигатель - это блаблабла... применяется в авиации, СВД...

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

[ Что тогда можно сказать о "пришла зима и выпал снег"?:-) ]

что этот случай уже описан в статье:

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

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

[identity profile] petrazmus.livejournal.com 2007-09-13 06:07 am (UTC)(link)
Так и говорю, что может естественный язык не включать в статью, т.к. может возникнуть масса противоречий. Вы разъяснили мою фразу естественного языка естественным же языком. Но откуда Вы поняли, что это именно естественный язык, а не язык, например, булевой алгебры?
Нужно ли естественному языку понятие конъюнкции, дизъюнкции?

[identity profile] psilogic.livejournal.com 2007-09-13 08:40 am (UTC)(link)
естественном языку ничего не нужно, это же не человек :) возможно стоит переименовать раздел в "связь с естественным языком"?

[identity profile] petrazmus.livejournal.com 2007-09-13 09:48 am (UTC)(link)
Переименование, по-моему, сняло бы вопросы. Но тoгда и перенести раздел надо в самый конец - за программированием.
Боюсь не побили бы за столь дерзкие поправки :-)

[identity profile] psilogic.livejournal.com 2007-09-13 09:56 am (UTC)(link)
в смысле кто кого куда и за что побьет? :)