Почему 1С неправы

[ti_ua]

Видимо это неизгладимый шрам, который оставил на мне экзамен по философии :)
Итак - противоречивость русского языка и почему на нем стремно программировать (я никогда грамотностью и знанием языка не отличался):

1) "Я давно там НЕ был" - следовало бы читать как "момент (период), когда я там отсутствовал, отдален от настоящего". Правильнее было бы "Я отсутствовал там длительное время" или в крайнем случае "Я давно там был" != "я давно там НЕ был"

2) Я НИЧЕГО НЕ хочу = я НЕ хочу НИЧЕГО - то есть "я не хочу пустое множество", а остальное следовательно хочу = "я хочу ВСЕ"!!! Следовало бы сказать "я хочу ничего" :)

3) Моя фраза ("я никогда грамотностью не отличался") - "не было такого момента времени, чтобы я не отличался грамотностью" = "я всегда отличался грамотность"

Вот там мы друг другу врем в глаза, господа, дамы, братья, співвітчизники, товариші ...

курительные смеси круглосуточно

Comments

[r-a-n-d-0-m.livejournal.com]

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

ану

[ti-ua.livejournal.com]

пример в студию

Re: ану

[r-a-n-d-0-m.livejournal.com]

сам же об этом писал в посте... ну ладно... к примеру утверждения "все люди - братья" и "все братья - люди"

в булевой алгебре ставится сопоставление "братья"<->"люди", которое истинно (хотя это зависит от свойств сопоставления... для примера будем считать что оно коммутативно, обычно это подразумевается в логических операторах)

в теории множеств это будет выглядеть как множество "братья" принадлежит (или является подмножеством) множества "люди"... что в принципе и соответствует смыслу фразы...

можно конечно попытаться описать, используя ВСЕ свойства логических операций, типа рефлексивности, транзитивности, уже упомянутой коммутативности... но обычно программисты о них забывают, в промышленных языках программирования используются только самые простые операции...

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

Я чуть-чуть не о том

[ti-ua.livejournal.com]

Смысл моих высказываний сводился к использованию отрицаний, утвердительных и отрицательных предложений. "Не могу не согласиться" - получили утвердительное предложение, а вот с "ничего не хочу" получили другой результат. Ну это лишь мысли вслух, если ты заметил, я оперировал понятиями теории множеств для пояснения что такое "ничего" (пустое множество), а при использовании отрицательных приставок - обычной булевой алгеброй. И не вижу в этом чего-то противоестественного ("Не вижу в этом ничего противоестественного" ).