• Теорема Гёделя о неполноте за 20 минут



    Теореме Гёделя о неполноте, одной из самых известных теорем математической логики, повезло и не повезло одновременно. В этом она похожа на специальную теорию относительности Эйнштейна. С одной стороны, почти все о них что-то слышали. С другой — в народной интерпретации теория Эйнштейна, как известно, «говорит, что всё в мире относительно». А теорема Гёделя о неполноте (далее просто ТГН), в примерно столь же вольной фолк-формулировке, «доказывает, что есть вещи, непостижимые для человеческого разума». И вот одни пытаются приспособить её в качестве аргумента против материализма, а другие, напротив, доказывают с её помощью, что бога нет. Забавно не только то, что обе стороны не могут оказаться правыми одновременно, но и то, что ни те, ни другие не удосуживаются разобраться, что же, собственно, эта теорема утверждает.

    Итак, что же? Ниже я попытаюсь «на пальцах» рассказать об этом. Изложение моё будет, разумеется нестрогим и интуитивным, но я попрошу математиков не судить меня строго. Возможно, что для нематематиков (к которым, вообще-то, отношусь и я), в рассказанном ниже будет что-то новое и полезное.

    Математическая логика — наука действительно довольно сложная, а главное — не очень привычная. Она требует аккуратных и строгих манёвров, при которых важно не перепутать реально доказанное с тем, что «и так понятно». Тем не менее, я надеюсь, что для понимания следующего ниже «наброска доказательства ТГН» читателю понадобится только знание школьной математики/информатики, навыки логического мышления и 15-20 минут времени.

    Читать дальше →
  • В Швеции отменяют шестичасовой рабочий день: не все так радужно, как казалось


      Гётеборг

      В октябре 2015 года на Geektimes, да и в других СМИ стала появляться информация о том, что все больше шведских компаний вводят для своих сотрудников шестичасовой рабочий день. При этом утверждалось, что руководство компаний, да и сами сотрудники не наблюдают снижения эффективности работы. В некоторых случаях (правда, в каких именно, не уточнялось) эффективность даже увеличивалась. Другими словами, речь шла о том, что сотрудники компаний, где был введен 6-часовой рабочий день, успевают делать столько же, сколько сотрудники других компаний за полноценный 8-часовой день.

      «Мне кажется, что 8-часовой рабочий день не такой эффективный, как думают многие,- заявлял Лайнус Фелдт, генеральный директор компании, разрабатывающей мобильные приложения, Filimundus. – Фокусироваться на работе в течение восьми часов чрезвычайно тяжело. Приходится перемежать работу чем-то для разнообразия. Становится трудно разбираться с личной жизнью, проводить время с семьёй». Но, похоже, все оказалось не так радужно, поскольку сейчас все те же шведские компании понемногу отменяют шестичасовой режим, вводя заново обычный и привычный многим восьмичасовой рабочий день.
      Читать дальше →
    • Когда ты изменил мир, а никто этого не заметил

      • Перевод
      Знаете, что происходит на этой фотографии? Буквально одно из самых важных событий в истории человечества.



      А самое удивительное в этой истории то, что в то время практически никто этого не заметил.

      Братья Уилбур и Орвилл Райт покорили полёты 17 декабря 1903 года. Мало какие изобретения изменили мир так сильно за последовавший век. Путешествие на поезде из Нью-Йорка в Лос-Анджелес занимало в 1900 году четыре дня. К 1930-м его можно было проделать за 17 часов по воздуху. К 1950-м за шесть часов.

      В отличие от, допустим, расшифровки генома, непрофессионал может сразу же осознать чудо полёта для человека. Человек сидел в коробке и превратился в птицу.

      Но через несколько дней, месяцев и даже лет после первого полёта Райт, почти никто этого не заметил.
      Читать дальше →
    • Логика мышления. Часть 3. Персептрон, сверточные сети



        В первой части мы описали свойства нейронов. Во второй говорили об основных свойствах, связанных с их обучением. Уже в следующей части мы перейдем к описанию того как работает реальный мозг. Но перед этим нам надо сделать последнее усилие и воспринять еще немного теории. Сейчас это скорее всего покажется не особо интересным. Пожалуй, я и сам бы заминусовал такой учебный пост. Но вся эта «азбука» сильно поможет нам разобраться в дальнейшем.

        Персептрон


        В машинном обучении разделяют два основных подхода: обучение с учителем и обучение без учителя. Описанные ранее методы выделения главных компонент – это обучение без учителя. Нейронная сеть не получает никаких пояснений к тому, что подается ей на вход. Она просто выделяет те статистические закономерности, что присутствуют во входном потоке данных. В отличие от этого обучение с учителем предполагает, что для части входных образов, называемых обучающей выборкой, нам известно, какой выходной результат мы хотим получить. Соответственно, задача – так настроить нейронную сеть, чтобы уловить закономерности, которые связывают входные и выходные данные.
        Читать дальше →
      • Мошенничество при покупке б/у Macbook Pro

        Сегодня ко мне обратилась знакомая с просьбой помочь купить б/у Macbook Pro. Я сразу предупредил, что квалификация у меня близка к нулю, но чем могу — помогу. С PC плотно не работаю уже много лет, а Mac владею на верхне-чайниковом уровне. Беглый поиск по фразе «как проверить macbook pro» сразу же привел к исчерпывающей публикации rule на заданную тему: «Осторожно при покупке MacBook. Высокотехнологический способ мошенничества в оффлайне» geektimes.ru/post/157969 Но неопытноcть меня все же подвела.

        Объявление:


        То есть в объявлении предлагается топовая модель MacBook Pro «Core i7» 2.9 13" Mid-2012 (MD102). Реально это оказался MacBook Pro «Core 2 Duo» 2.66 13" Mid-2010 (MC375) — 4 GB RAM, 500 GB HDD. Блок питания был новый.

        Читать дальше →
      • Полная энергетическая автономия или как выжить с солнечными батареями в глубинке (часть 2. практическая)



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



          Собираем автономку
        • Советская операция по спасению мертвой космической станции

          • Перевод

          Источник: Spacefacts.de

          Эта история произошла в 1985 году, но в последствии постепенно забылась. Шли годы — многие подробности были искажены, кое-что было выдумано. Даже те, кто первыми рассказал об этих событиях, допускали явные ошибки. Операция «Союза-13» по спасению орбитальной станции «Салют-7» была впечатляющей попыткой проведения ремонта в открытом космосе. Писатель Николай Белаковский собрал все факты воедино и готов впервые за все время предоставить нам полноценный рассказ о тех событиях.
          Читать дальше →
        • Два фильма о ядерных двигателях



            Уже после публикации поста про ядерные двигатели мне прислали ссылку на интересный фильм о советских двигателях. Он отлично дополнил известный мне фильм об американских двигателях, к которому я сделал русские субтитры. Эту пару фильмов я и представляю вашему вниманию.
            Читать дальше →
          • Монтируем диски NTFS для записи в MacOS X 10.9 Mavericks

              Понадобилось мне на днях сделать бэкап (около 75 гигабайт разных файлов) на внешний жесткий диск, да вот незадача — отформатирован он в файловую систему NTFS — вроде бы другие операционные системы давно пишут на нее без проблем, а в MacOS пришлось использовать «свое решение».

              И так, изучив, то что мне предлагает google, выяснилось что надо купить либо Paragon NTFS, либо Tuxera NTFS, либо использовать бесплатное решение.

              После ряда экспериментов, выяснилось, что наиболее простой способ — это поставить пакет ntfs-3g из MacPorts и подменить /sbin/mount_ntfs

              Система портов MacPorts была у меня давно установлен (я ставил из него mc, wget и другие полезные утилиты, к которым привык в ОС Linux, такие как pwgen, например).

              На чистой системе его нет — следовательно его необходимо установить согласно инструкциям на www.macports.org — скачать и запустить скрипт установки.

              Далее, установим osxfuse и ntfs-3g

              sudo port install osxfuse ntfs-3g

              И чтобы была полная автоматизация, то есть автоматически монтировался носитель (а не вручную) подменяем mount_ntfs

              sudo mv /sbin/mount_ntfs /sbin/mount_ntfs.orig
              sudo vi /sbin/mount_ntfs
              Читать дальше →
            • Несколько простых правил, которые помогут вам занять ТОП AppStore

              Привет, Хабрахабр!
              Меня зовут Евгений, мне 23 года. У меня 2 высших образования, 1-й разряд по легкой атлетике, желтый пояс по каратэ киокушинкай и 2 прыжка с парашютом. А занимаюсь я мобильным маркетингом, проще говоря, рекламой. Хочу рассказать о том, как за небольшой рекламный бюджет можно вывести приложение в Top AppStore на примере 2-х кейсов (среди платных и бесплатных приложений).

              OverAll Paid


              Бюджет: 55 тыс. руб.
              Результат: первое место в AppStore

              Приложение, с которым мне пришлось работать, было сделано достаточно привлекательно, стоило 33 рубля, относилось к категории «музыка», но с продажами было не все в порядке (рис. 1).

              image
              Рис. 1

              Приложение покупали от 2 до 8 раз в день, что несущественно. Подключившись к данному проекту, мы начали готовить обновление.
              Первым делом, к существующему функционалу был добавлен share в соц. сети названия проигрываемого трека с ссылкой на приложение в AppStore. Данный виральный механизм оправдал себя, в последствии пользователи сами раскручивали наше приложение. Также был обновлен дизайн.

              Проверено, что чем больше скачиваний будет у приложения в AppStore первые 3-4 дня после запуска, тем выше в ТОПе впоследствии оно окажется, тем больше будет органических загрузок. Мы подготовили обновление, но было не ясно, сработает ли данный принцип в нашем случае.

              Рекламную компанию я начал готовить за неделю до запуска (во время проверки приложения Apple).

              Бюджет 55 тыс. руб (не разгуляешься). На эти деньги я купил 8 обзоров (1 из них видео обзор).
              Читать дальше →