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

Это третья, завершающая часть поста. Комментарии отменены; обсуждение всех трёх частей проводится здесь.

Часть первая
Часть вторая

( Read more )

ПРОДОЛЖЕНИЕ поста, начатого здесь. Обсуждение проводится по прежнему "адресу".

В данной части поста, я считаю наиболее важными и принципиальными пункты 10 -- 11, где описывается процесс построения модели. Полезно также перечитать пункт 7 -- для тех, кто не знаком с правилами логического рассуждения, которые мы здесь выделяем в качестве основных. В пунктах 8 -- 9 у меня собраны в основном иллюстративные примеры, а в заключительном пункте 12, который мне пришлось разместить в третьей части, идёт серия формальных проверок того, что перед этим было построено. Я вообще-то планировал уложиться в две части, но пришлось сделать три из-за ограничений на длину записей, которая существует в ЖЖ. Так или иначе, я считаю, что на пункт 10 следует обратить особое внимание всем тем, кто в первую очередь интересуется вопросом "из чего же, из чего же, из чего же сделаны наши модели?" :)

7. Прежде всего, я хочу напомнить те основные правила логического рассуждения, которые я выделял в качестве "базовых" в серии предыдущих постов на эту тему. Для того, чтобы сократить число этих правил, мы прежде всего хотим сократить число используемых нами логических связок до отрицания и импликации. Этим мы ничего не теряем, так как все остальные связки через них выражаются. Так, (p or q) есть не что иное как (not(p) -> q), а под (p and q) теперь можно понимать not(not(p) or not(q)). Конечно, сами формулы становятся более громоздкими, если отказаться от связок "или", "и", но нам никто не запрещает их использовать в качестве сокращённых обозначений, что мы далее и будем делать. Но при этом получается, что для исчисления высказываний нам достаточно всего трёх правил логического рассуждения. Напомним их здесь.

(1) Правило Отсечения, или "модус поненс": если доказано A, а также доказано A->B, то разрешается считать доказанным B.

(2) Правило Условного Рассуждения: для доказательства утверждения вида A->B, разрешается принять A в качестве дополнительного предположения (условия), и доказать B при этом условии.

(3) Правило Рассуждения От Противного: для доказательства утверждения B достаточно привести к противоречию утверждение not(B), то есть вывести из него как некоторое утверждение A, так и его отрицание not(A).

Помимо этих правил, мы часто применяем и другие -- например "правило разбора случаев". Но все эти правила можно вывести из правил (1), (2), (3), и в таком качестве далее их использовать. Особенность выписанных правил в том, что они позволяют доказать любой "закон логики" на уровне исчисления высказываний. (То есть без использования логических кванторов.) Под "законом логики" здесь понимается такая формула, которая истинна всегда, независимо от истинностных значений входящих в неё высказывательных переменных.

Однако исчисление высказываний представляет собой довольно узкий фрагмент логики, и для получения "полноценной" картины (способной вобрать в себя "всю математику"), нужно привлекать исчисление предикатов, "устройство" которого я коротко напомнил в предыдущем посте. Для формулировки недостающих правил логического рассуждения (а их будет ещё два), мы минимизируем число используемых нами логических кванторов, оставляя лишь квантор всеобщности. Дело в том, что квантор существования через него выражается следующим образом: если нам надо сказать, что существует некий объект x, удовлетворяющий какому-то условию Ф (оно обычно зависит от x, но мы это здесь не выделяем), то вместо этого можно сказать логически эквивалентную по смыслу вещь. А именно, если мы утверждаем, что Ф выполнено для некоторого x, то мы этим отрицаем? Если бы всё обстояло иначе, то Ф не выполнялось бы никогда. То есть при любом x имело бы место не-Ф. Осталось выписать отрицание этого факта. Таким образом, под (Ex)Ф мы в дальнейшем будем понимать не что иное как not((Ax)(not(Ф))) -- отрицание того, что всегда имеет место не-Ф.

Теперь осталось сформулировать ещё два правила, а также добавить одну небольшую оговорку.

(4) Правило Обобщения: если доказана формула вида Ф(x) для произвольного x, то разрешается считать доказанной формулу (Ax)Ф(x).

(5) Правило Перехода К Частному Случаю: Если доказана формула (Ax)Ф(x), то разрешается считать доказанной формулу Ф(t) для любого выражения t.

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

( Read more )

мейл ру лежит или это у меня какие то глюки?

Оказывается, 25 декабря умер в больнице Кнут Хаугланд. Человек, который помешал Гитлеру получить атомную бомбу, взорвав завод тяжелой воды, радист экспедиции Кон-Тики, начальник электронной разведки Северной Норвегии в период Холодной Войны, директор норвежкского Музея Сопротивления и музея Кон-Тики.

Он был последним остававшимся в живых членом экипажа Кон-Тики.

Раньше я думал что Xandros, который по умолчанию ставят на EeePC - это предел того, как можно мукой и чародейством испортить Linux.

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

А образы Debian, которые можно при помощи родной программы перепрошивки прошить в это устройство не содержат пакета modutils, в результате чего модули невозможно загрузить, и все способы притащить какие-то файлы снаружи (SD-карта, USB_флэшка, ethernet, wi-fi) становятся недоступными.
Правда, образ для прошивки оказался обычным tar.bz2 архивом, и туда оказатось довольно легко вложить modutils-сколько-надо_mipsel.deb.

Осталось разобраться с uBoot и обновлением ядра. Я хочу на этом устройстве lenny с 2.6.последним ядром.

http://ivanov-petrov.livejournal.com/1351028.html?thread=65804916#t65804916
Типа, верю ли.

Ну, так я расскажу. У нас недалеко от дома - лес. Ну, какой лес - подмосковный. Однако - деревья, однако - трава. И люди, которых очень много. Называется - антропогенная нагрузка. Каждое дерево в кольце тропинок. Народ любит ножиком поковырять... Мы ходили семьей в лес с садовым варом, которым деревья лечат, и замазывали порубы и потыки. Несколько лет так делали. Это давно уже. А потом там рядом стали строить коттеджи, ну, эти - подмосковные, краснокирпичные с башенками. И те, кто строили, они деревья валили только так. Там на порубы и затёсы уже нечего было обращать внимание.

У нас около дома росли деревья. Ну, какие деревья - в городе? Однако пятнадцатиметровые березы. Липы. Клены. Живые такие деревья. А под ними была трава. Иногда какой-нибудь любитель эти деревья резал или начинал на травку поближе к песочнице ставить свою любимую машинку. Всласть побуксовав по травке и выворотив ее до глины. Ну, деревья мы лечили, а с автовладельцами при заставании ругались. Довольно бесполезным образом, но всё же. Безобразные шрамы глины на траве оставались, а автовладелец обычно менял стоянку.

С переменным успехом это происходило, пока не пришли бульдозеры. Точечная застройка. Возвели рядом 22-этажную башню. Деревьев больше нет, и травы. Можно не беспокоиться об этом.

Я просто к тому, что мы больше не лечим деревья - ну, не получается как-то. Масштабы несопоставимы. Однако тут не было вмешательства внеличной и нечеловеческой силы - со всех сторон действовали исключительно личности.

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





И там живая такая дискуссия.


В связи с чем , я хочу задать вопрос своим читателям.


Poll #1504422 личные убеждения врача
Open to: All, detailed results viewable to: None, participants: 90

Если есть возможность выбора специалиста, то...

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

---

ссылки тут - http://dok-zlo.livejournal.com/505328.html

Суббота, вся семья дома. Ханка во что-то играет, Михаль по своему обыкновению носится по непредсказуемой траектории, совершает резкие телодвижения и громко поёт.
Хана зажимает уши: -Михаль, хватит! Не пой больше! У тебя голос ещё хуже, чем у мамы!
Подумала и добавила: -И даже хуже, чем у папы.

http://lib.prometey.org/?id=14196
Очень хорошие воспоминания. Ресовский, Ляпунов, Полетаев, Гершензон, Д.К. Беляев... На самом деле хорошие. Например, в рассказе о Ляпунове несколько раз подчеркивается, как математики его не любили, считали, что он занят пустяками и "не доказывает теоремы" - а он "видел науку в целом", что не считалось ценным. Как ляпунов по сути работал в устном жанре - почти ничего не писал, его работы - это стенограммы докладов, расшифрованные учениками и Ляпуновым редактированные.( Read more... )

Юзер Хасид постоянно носится с различными идеями из серии "как нам обустроить Россию, не проводя нормальных выборов" (Эта идея нынче привлекательна настолько, что над ней бьются, по-видимому, "лучшие умы" не только ЖЖ). Всем хочется изобрести "квадратную лошадь"!

То Хасид пропагандировал "выборы по куриям": мол, российским дебилам напрямую выбирать, как всем известно, рано, да и не по уму - поэтому пусть "лучших людей" выдвигают, как в 1989 году, "общественные организации". От филателистов, от "Общества друзей Книги" - как хорошо.

Теперь - новый перл: в целях "продвижения буржуазии во власть" неутомимый Хасид предложил в ходе госторгов... продавать чиновничьи места! Объясняет он свои оригинальные предложения просто: "Надо исходить из реалий. ЭТА власть на нормальные выборы не пойдет, так что..."

Я отвечаю:

...У нас в России сейчас ситуация такая: человеку последовательно запретили поднимать левую руку, опускать правую ногу, сгибать левое колено, двигать плечами, кивать, сидеть, двигаться в прямом направлении, делать шаги назад и вбок... И вот сидит Хасид, радеет о благе народном: ломает голову, как бы научить людей ползать носом вперед, левый глаз зажмурен, правая рука держит себя за копчик. Сбегается тьма комментаторов, все начинают истово рассуждать - удастся ли таким образом проползти к светлому будущему? Или надо бы еще - для надежности - еще и помойное ведро на голову надеть?

говорят Натали Портман погибла

Оригинал записи и комментарии на LiveInternet.ru

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

Это ладно, это он дома - видимо, жена слышала, как он рассуждал. Другой ши пошел в этом отношении глыбше. "Один из славных мужей Цзинчжоу Сыма Хой, опасаясь коварства Лю Бяо, никогда не высказывал суждений и отзывался о других только хорошо, не обсуждая их достоинств и недостатков. Когда жена упрекнула его в чрезмерном благодушии, он с улыбкой ответил: "И ты тоже сказала хорошо!"

Кажется, Муций Сцевола был менее терпелив. Впрочем, и этот иногда не удерживался: "Сохранилось известие, что Сыма Хой владел тутовой плантацией и за сбором шелковых коконов дни напролет, забыв о еде, беседовал со своим другом Пан Гуном"
(это из Малявина)

Poll #1504308 очень важный для меня вопрос
Open to: All, detailed results viewable to: All, participants: 1001

Когда вы читаете стоя или лежа - какой рукой вы держите книгу?

Великолепный очерк практической ценности различных экономических теорий ...

National Geographic в январском номере 2010 года расскажет про грандиозный обман, связанный со Стоунхенджом
90% всех камней были установлены британскими властями в 1898 году, причем сами камни были привезены издалека инженерной компанией.
Монтаж Стоунхенджа был проведен в тайне от общественности для развития туризма и популяризации культуры друидов

И только в новом, тщательно разработанном плане, Стоунхендж был сориентирован по Солнцу

( фото )

Сегодня отмечает свой 40-й день рождения один из самых ярких представителей ядра, самого прогрессивного отряда пролетариата, один из самых известных людей в мире GNU/Linux и open-source в целом - Линус Торвальдс.

С днем рождения, Линус Торвальдс!

Линус Бенедикт Торвальдс родился 28 декабря 1969 года в городе Хельсинки (Финляндия). [Необходимо заметить, что его отец коммунист, сам Линукс убеждений отца не разделяет] Работа над Linux была начата весной 1991, что лишний раз доказывало, что самые удивительные вещи создаются очень молодыми людьми. Сегодня же ему исполнилось 40 лет, теперь у него есть три дочери и жена — шестикратная чемпионка Финляндии по каратэ, в прошлом его студентка. :) От всей души поздравляем Линуса с юбилеем и желаем ему дальнейших творческих (и не только) успехов!

PS

Мой первый дистрибутив был, купленный в 2001 голу наш “Альт Линукс”, тогда же начал регулярно читать легендарный LOR и уже ~5 лет, как живу полностью без Windows, в основном на Debian.

ЗЫ: Сегодня Windows и его пользователи главное оружие буржуев. :-)