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

[birdwatcher]

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

Comments

[birdwatcher.livejournal.com]

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

[vinopivets.livejournal.com]

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

[birdwatcher.livejournal.com]

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

[vinopivets.livejournal.com]

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

[birdwatcher.livejournal.com]

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