Два мира, две логики

[birdwatcher]

Внезапно осознал, что как части речи, слова true и особенно false - прилагательные. Таким образом, американские логические переменные принимают значения не "истина" и "ложь" (truth и falsehood соответственно), а "истинный [неизвестно что]" и "ложный [неизвестно что]".

Comments

[ex-neo-is-fl156.livejournal.com]

Однако! Не знал.

[ilya-dogolazky.livejournal.com]

Ну как, неизвестно? Вестимо value...

[birdwatcher.livejournal.com]

Ну да, ну да. Я всегда, когда вижу i=0, читаю "положим i равным нулевой величине".

[(Anonymous)]

С равным, если не большим в программестическом контексте, вы можете понимать
true and false как наречия (this is true, this is false) и читать
i=false

как 'i ложно'

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

А вы их воспринимайте как предикаты, и все будет в порядке :-)

[birdwatcher.livejournal.com]

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

[vinopivets.livejournal.com]

а ведь предупреждал Дейкстра (или не Дейкстра)...

[birdwatcher.livejournal.com]

Что? Я не читал ни одной вещи Дейкстры!

[vinopivets.livejournal.com]

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

[birdwatcher.livejournal.com]

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

[dmpogo.livejournal.com]

Для меня и по русски переменные принимают значения 'ложно' и 'истинно' а не 'ложь' и 'истина'.

также как если бы была переменная, описывающая высоту двоичным образом, ее значения были бы 'высоко' и 'низко'

[birdwatcher.livejournal.com]

Странно. А в двоичном представлении -- нулево и единично?

[dmpogo.livejournal.com]

нет, конечно :)

Но здесь какя то разница. В моей голове происходит следующее:
пусть есть переменные 'money' и 'is_this_an_array"

money=5 я читаю как 'пусть денег будет пять'
is_this_an_array=true я читаю как 'пусть то что это массив будет истинно'

или если у меня есть переменная height_of_the_building, и она двоична, то я
напишу и прочитаю как

height_of_the_building=high (#define high 1)
height_of_the_building=low (#define low 0)

и прочитаю про себя как 'высота дома - высокая (низкая)'

a если целочисленная, то
height_of_the_building=5

я прочитаю как 'теперь высота дома - пять'