Евгений Степанищев

Эксперт в области разработки веб-приложений и безопасности в интернете. Каждый месяц мой блог посещают около 90 тысяч человек. Работаю техническим директором в «Системах документооборота», занимаюсь электронным правительством.

Логика — не true/false

Дима написал всякого про интуицию. Он, кстати, наконец-то радует в последнее время. Бросил писать про эти свои игры и выдаёт тексты, похожие на старый-добрый Insomniac / Spectator.

В тексте куча спорных вещей, например, очень узкое понятие о логике, как будто модный когда-то термин «нечёткая логика» (см. «многозначная логика») как-то прошёл мимо. Дима пишет:

«Логика» — инструмент одноходовый, но надежный: «если — то» подразумевает практически 100% вероятность, но отвратительно строит цепочки.
Тогда как мы, закончившие математические факультеты, знаем, что:

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

Или, ну, вот:

Интуиция не работает там, где ответ детерминирован правилами, интуитивно угадать, что 2+2 равно 4, нельзя. Но для этого есть математика.
То есть можно интуитивно угадать, что если разбежаться и врезаться в стену, то будет больно? Нет же.

Всё «детерминированно правилами». Просто математику проходят в школе (хотя с тем, чтобы складывать веточки в кучку и получать больше веточек дети как-то справляются, но у них с абстрагированием плохо), а разбегаться, биться об стену и учить, что это больно — в раннем детстве.
9 комментариев
14 августа 2010 17:56

Булгар

Напоминаю, что читающие трансляцию (в «ярушку», Живой Журнал, RSS и так далее) галерей фотографий не увидят, это ограничения этих сервисов. Заходите на сайт.

«Булгары» («болгары») — волжско-камские тюркоязычные племена, понаехавшие откуда-то из Центральной Азии в ходе Великого переселения народов (IV-VII вв). Я знаю о их существовании, поскольку 30 лет прожил в Татарстане, а булгары являются предками казанских татар (а так же чувашей, болгар и некоторых других народов).

По одной из версий Кирилл и Мефодий, создавшие во всех отношениях мерзскую глаголицу, были булгарами. Так же есть мнение, что булгары спасли Европу от татар-монголов (т.н. «Баранья битва»).

В 10-14 веках булгары составляли основное население Волжско-Камской Булгарии, на месте которой много позже и возник Татарстан. Вообще, этот народ довольно попутешествовал, например, Первое Болгарское царство было на Балканском полуострове.

Сейчас преемником первой столицы Волжско-Камской Булгарии (с XII её столицей стал Биляр), города Булгар является небольшой (8,3 тысяч человек) городок Болгар, именно около него находятся развалины древнего города.

Город находится в 140 км от Казани, где мы проводили последний отпуск, празднуя вторую годовщину свадьбы. Добирались на машине. Честно сказать, мы осмотрели далеко не всё — только два мавзолея, музей, Успенскую церковь и Большой минарет. Например, в Чёрные и Белые палаты мы не попали, просто не знали о их существовании.

Музей в Булгаре, территория (51.29KB)Музей в Булгаре, территория (39.63KB)Музей в Булгаре, территория (65.36KB)Музей в Булгаре, территория (18.47KB)


Но зато мы смогли попасть внутрь мавзолеев. Внутри Северного мавзолее сейчас идут раставрационные работы, стоят строительные леса, лежат пронумерованные (намогильные?) камни, на многих сверху выбит цветок — восьмилепестковая тамга.

Северный мазволей (140.17KB)Северный мазволей (50.30KB)Северный мазволей (42.51KB)Северный мазволей (53.72KB)Северный мазволей (59.26KB)


В Южном мавзолее куда более пустынно, туда сейчас редко кто заходит, он закрыт, но, к счастью, не заперт.

Южный мавзолей (51.29KB)Южный мавзолей (57.74KB)Южный мавзолей (56.49KB)Южный мавзолей (50.81KB)Южный мавзолей (77.76KB)Южный мавзолей (64.42KB)


На территории, которую мы осмотрели работал так же музей, посвящённый истории Булгара — то, что удалось откопать на настоящий момент, хотя, насколько я понимаю, раскопки пока провели на очень небольшой площади, отсутствие финансированние, да и тут живут люди, наверное, в каждом огороде время от времени что-то выкапывают.

Музей в Булгаре (27.02KB)Музей в Булгаре (28.92KB)Музей в Булгаре (34.03KB)Музей в Булгаре (455.15KB)Музей в Булгаре (536.23KB)Музей в Булгаре (32.95KB)


Пока мы гуляли по Булгару и отдыхали, люди работали — выносили землю и экспонаты, копая прямо в каком-то доме. Так что работа не прекращается, есть планы по превращению Булгара в туристический центр, видимо, готовятся. Жаль только, что (в отличие от Израиля, к примеру) реставрированные здания не выглядят старыми, слишком мало стилизации, слишком аккуратно и современно. Это они зря.

Результаты раскопок (95.09KB)Результаты раскопок (112.45KB)Результаты раскопок (96.27KB)


Жаль, что мы не увидели всё, что можно было увидеть, но вряд ли мы поедем ещё — всё-таки по полтора часа езды в каждую сторону многовато для уточнения подробностей, лучше съездить в тот же Биляр или Свияжск. Остальные фотографии можно увидеть в фотоальбоме на «Яндекс.Фото».
3 комментария
14 августа 2010 16:44

JS — слишком сложный язык для большинства

JS — честное слово, это какой-то новый Perl. Perl сложен для большинства из-за обилия конструкций, а JavaScript — язык обманчиво простой, из-за этого никто не читает мануал по нему. В итоге, результат тот же — JavaScript, на самом деле никто толком не понимает.

Есть такой прекрасный сайт — «WTFJS», прекрасен он тем, что отлично иллюстрирует эту мысль. Встречаются там, конечно, совершенно идиотские примеры поведения интерпретаторов, но большая часть — совершенно нормальные вещи, в которое люди восторженно тыкают пальцем, потому что изучали JS «на примерах».

Скажем, вот, пример с сайта:
var void = function () {}
 //=> SyntaxError: missing variable name
Я ей-богу не понимаю что тут странного. «void» — конструкция (а не функция, как многие думают), допускается использование её после «var», интерпретатор, встретив после неё равно, решил, что пропущена переменная, о чём честно сказал программисту.
22 комментария
14 августа 2010 00:34