kvisaz (kvisaz) wrote,
kvisaz
kvisaz

Categories:

Ложь не компилируется в истину

Хорошая эвристика. - https://bash.im/quote/465193



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

Кроме того, не знаю, как в оригинале и у других, а я привык к тому, что фразы, обозначающие состояние или текущее действие, они выносятся за рамки. Я сижу на табуретке, но предложение "я сижу на табуретке" не является утверждением "я пишу предложение". Я очень занят. Я мою посуду. Я делаю то-то и то-то. Любое описание из подобных сообщений никак не должно относиться к самим сообщениям. Эти утверждения - вне контекста.

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

Пример -

Шутка. Я когда пишу "шутка" - никто же не ломает голову, шутка это то, что я написал шутка? Или все же что-то другое, что сказал перед этим.

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

Шутка. В значении - "только что пошутил, см. выше"

Вот что не шутка - определения важны. Морис Клайн пишет, что математики много страдали в свое время от недостатка четких определений.



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

...Первым ввел отрицательные числа Брахмагупта (около 628 г.), но он лишь сформулировал правила четырех арифметических действий над отрицательными числами, не приведя никаких определений, аксиом или теорем...

...Хотя примерно с середины XVII в. отрицательные числа использовались весьма широко, они были лишены строгого определения и логического обоснования, и многие математики либо пытались каким-то образом восполнить этот пробел, либо оспаривали само применение отрицательных чисел...

(с) Утрата определенности
Tags: Книги, программирование
Subscribe

Posts from This Journal “программирование” Tag

  • Средней нейтральности

    Я несколько раз в неделю, иногда в день два раза, захожу в Facebook и каждый раз там лента показывает что-то повышенно-нервное. Похоже, алгоритмы…

  • А мужики-то не знают

    Пишут, что на самом деле в израильской армии все как обычно. То есть нет никакого устава, который бы разрешал разглашать любые сведения, лишь бы…

  • Игра зависимостей

    Брать свое или чужое - это на самом деле очень больной вопрос, потому что даже в программировании, самом терпеливом к изменениям ремесле, зависимости…

  • Полыхнуло

    Нет греха в том, чтобы использовать чужие наработки. Ньютон стоял на плечах титанов (по крайней мере, он так писал в письме Гуку). If I have seen…

  • Дедлайн и недосып

    хотя и пишут уважаемые немцы, что с недосыпа идет падение внимания, как после пьянки, но эффект другой совсем Я не спав сутки, мог писать рассказы…

  • Делились опытом писатель и программист

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

  • Pulp fiction : планшет-секретарь

    Я, конечно, не совсем точно сказал. Во-первых, надо было сказать - "рекламная сеть не может точно предугадать мои желания и покупки, бьет по…

  • Смена движка

    Люди недооценили стоимость смены движка - это неудивительно. Я в программировании постоянно это вижу. Каждый программист думает - "все перепишем и…

  • Tor

    Вдогонку к предыдущем - на днях узнал, что у сети TOR есть команда разработчиков, которая может массово блокировать узлы в ней. В этот раз они…

  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 7 comments