Translate

Так на завершенность действия указывает окончание, а не само слово же. Но если у вас реактор, то да, decommission лучше. Retire больше про технику.

Ну реактор или там урановую шахту можно еще законсервировать, тогда mothball.

Матемаг
Если вывод из эксплуатации или утилизация, то обычно decommissioning или retirement.

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

Вот теперь вообще зашибись. Как говорится, дихотомия "математика-не математика" не позволяет определить, что именно, если не математика XD.

Не нужна, чтобы определить наличие и отсутствие состояния, а чтобы напрямую определить, какое именно состояние из трех, нужна. В дискуссии же речь об этом, если не придираться к формулировкам. Warro говорит о том, что если в системе больше, чем два состояния, то их невозможно корректно описать дихотомией состояний. Если вы возьмете дихотомию "ночь-не ночь", её применение будет ограничено, поскольку ответ на этот вопрос ничего не говорит о том, какое именно состояние вы наблюдаете: день или не день. Но это не означает, что такая логика не годится для подобного описания. Надо просто взять n-местный кортеж по числу состояний и дихотомию "да-нет". Ну типа (1,0,0) - день; (0,1,0) - ночь, (0,0,1) - неопределенное состояние. А если вы хотите описать три и более состояний без их перечисления и определения наличия, а с помощью дихотомии состояний, то у вас не получится, хоть какое определение давайте понятиям.

Короче, я вам сейчас расскажу, как надо было: измерять день и ночь освещенностью. До определенного значения освещенности считать день, а после него - ночь. Тогда бы не было этого выноса мозга XD.

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

Ну вот, теперь понятно. Я же не философ и вообще не слышала такое :D. Вы просто там где-то наверху сказали что-то вроде "а я-то думала, что логико-методолигический принцип имеет отношение к логике", я и не поняла, какое именно он к ней имеет отншение.

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

nullitte
Да, разбираться во всем нереально. Я думаю, что вот эти узкие специалисты, которые занимаются тем, о чем никто не знает - это типа наука на кончике пера. Мусолили какие-то теории, а потом фигак и рассчитали положение Нептуна XD.

Jinger Beer
во-во, я ноутбуки по нему разбирала, чтобы почистить, потому что на insidemylaptop выбор не алё; лекции по сетям смотрела, на рутубе этого никогда не будет.

Круги на воде
Матемаг изначально утверждал, что бритва Оккама не имеет отношения к логике, поскольку Варуна называет её логическим методом. Причем Матемаг говорит о логике высказываний, а Варуна я не очень поняла, о какой. В принципе логика высказываний используется и для анализа дискуссий, там своя специфика - именно там фигурируют принципы, о котороых говорит Варуна и которые в матлогике даются как законы. Но я читала пару учебников для гуманитариев и не видела там ничего про бритву Оккама, так что хз.

nullitte
Ахаха, ну да, у нас был препод, которого если спросить, где применяется теория категорий, отвечал, что в параллельном программировании, а если спросить, где применяется ПП, то в теории категорий. Кардинальные числа - это же вроде про мощность множеств. Ну, видимо, они используются для сравнения множеств, где нельзя посчитать количество элементов. Но кватернионы изначально задумывались для применения в физике. В общем, я не уверена, что математики создают абстракции от фонаря, даже не предполагая, где их можно применить. Часто это костыли, которые необходимо добавить, чтобы решать реальные задачи с помощью какой-то существующей теории.

nullitte
Я без заточки, просто спросить: а можете назвать математическую теорию, которая вообще не имеет отношения к реальности? Математика, конечно, дает абстрактное описание объектов, но это не означает, что матмодели не имеют отношения к реальности.

Хэлен
У вас второе высказывание сложное: (На Марсе не растет лаванда) & (На Марсе растет бегония). Но это неважно, так как один из членов конъюнкции противоречит первому высказыванию. Однако у вашего высказывания ложная пресуппозиция, поэтому его истинностное значение определяется конвенционально: его обычно считают либо ложным, либо не имеющим истинностного значения.

Waruna
Мышление бывает наглядно-образное, наглядно-действенное и абстрактно-логическое. Логика изучает абстрактно-логическое мышление, которое принимает формы понятий, высказываний и умозаключений. Именно этими формами и оперирует логика, о чем, видимо, и говорит Матемаг.

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

Warro
Это, скорее всего, "байка" про прибор для лучевой терапии therac-25. Там вроде люди получали радиационные ожоги и им отрезали из-за этого части тела, а врачи долго не моги понять, в чем дело, так как считали прибор исправным..

Круги на воде
Кластер - это минимальный логический блок, которым оперирует файловая система, то есть меньше одного кластера не может быть выделено. Если размер файла меньше размера кластера, всё равно система для него выделит целый кластер. В exfat этот размер динамический, и если он по умолчанию выставлен в 128 КБ, то у вас на каждый файл будет выделяться 128 КБ. То есть 1000*128=128000 КБ =128МБ

Торговец твилечками дело говорит: флешкой управляет контроллер, который кроме чтения и записи еще занимается выравниванием износа ячеек памяти, и для него есть резервная область, чтобы писать служебные данные, заменять битые ячейки и всё такое. Таблица разделов и метаданные файловой системы флешки (скорее всего, exfat или типа того) занимают совсем мало места. Драйвера на флешке точно нет, так как это часть операционной системы. Драйвер транслирует команды ОС в коды контроллера устройства и наоборот. То есть у каждой операционной системы будет свой драйвер, на флешку все драйверы не запишешь. Переформатировать новую флешку я тоже не вижу смысла.