Нет-нет, автор оригинала здесь ошибся: кривая охлаждения — это хитрая штука, описывающая ещё и фазовые переходы по ходу остывания, и её вам и выдал поиск. Видно же, что она выглядит совершенно по-другому. А нужно гуглить слова «Newton's law of cooling».
Как раз попался на эту ловушку у The Boston Globe. Понадобилось кое-что из их архивов, оформил подписку, рассчитывая через несколько дней закрыть её в пару кликов. Только после этого обнаружил условие про отключение только по телефону. Честно позвонил им, прождал почти полчаса, всё в лучших традициях: «ваш звонок очень важен для нас, пожалуйста, оставайтесь на линии». Ответа я не дождался (может, оно и к лучшему: я сейчас думаю, что идея звонить в Америку, находясь на территории режимного оборонного предприятия, была не очень удачной), потратил рублей двести. Но есть и ложка мёда: после одного моего злобного письма они мгновенно закрыли подписку и даже вернули деньги за предоплаченный период.
А можно подробностей? Интересно же. В смысле, вы имеете в виду, что chtoes.li скатился, но вы к этому уже не имеете отношения? Или что тексты с chtoes.li хорошие, а эксклюзив — отстой?
Спасибо, но я читал и его нобелевскую лекцию, и его самые известные статьи, и формулировки нобелевского комитета, и тот стандарт IUPAC, в котором было определено понятие «графен», и ту статью, в которой оно было предложено.
Ваша реплика задела меня тем, что в ней на основании спорного терминологического нюанса делается довольно неприятное предположение. Я как-то тоже себя «ненастоящим» почувствовал. Что человек создаёт, а что открывает — это интересная тема для дискуссии философов и историков науки, а не какой-то принципиальный вопрос.
Upd.: ну да, да, можно сказать, что монослои довольно мучительно иногда получалось создавать и раньше. Но принципиальное значение для науки и техники имела таки работа Г. и Н.
Командная разработка у нас тоже есть. :) «Безумное чаепитие» — это курс по программированию ради обучения программированию, а есть ещё проекты (о них упоминается в начале статьи), на них школьники творят вроде как что-то новое. Например, этой зимой на проекте «Check-in» школьники делали игры с геймплеем, завязанным на геолокацию, и работали в парах (один писал клиент, другой — сервер).
В каком-то смысле вы правы: доказательство и доказанность в современной математике стали довольно хитрыми понятиями, с тех пор как доказательства стали с трудом помещаться в голову одного человека (классификация простых конечных групп, ABC-гипотеза) или вообще требовать компьютер (теорема о четырёх красках).
Тем не менее, если заданы набор формальных символов для записи утверждений, аксиомы и правила вывода одних утверждений из других (в виде, грубо говоря, регулярных выражений), то формально можно сказать, что доказательство — это сетка утверждений, протянутая от аксиом до нужного нам доказательства согласно правилам вывода. Другое дело, что в такой форме доказательства оказываются невозможно громоздкими, и на практике всегда «срезаются углы». Обычно — контролируемо (на основании теорем, доказанных по всем правилам), но иногда случаются и ошибки.
Не хватает самой формулировки гипотезы: она предполагает, что все нетривиальные нули дзета-функции Римана не просто раскиданы вблизи критической линии симметрично относительно неё, а в точности все на ней лежат.
Я вот чего думаю. Другой проблемы тысячелетия, P = NP, тоже представляет собой гипотезу; и для неё существует обширный и прекраснейший список её решений, в котором (якобы доказанные) утверждения об истинности гипотезы перемежаются (якобы доказанными) утверждениями о её ложности, изредка встречаются и более экзотические варианты. Вот не пора ли для гипотезы Римана завести подобное? :) Написал комментарий и подумал — а может, уже есть? И таки да! А самое интересное, что первая же ссылка на той странице — опровержение этой новости о нигерийском математике.
Мне вот по работе пригодилась модель решётки (10, 3)-a — помогает осознать эту замысловатую структуру. И вообще медитативная штука, особенно если смотреть прямо на угол (в направлении [111], извините за выражение).
Как будто ничего удивительного в наличии списка удалённых сообщений и удалённых друзей. Не знаю, как в Фейсбуке, а в vk удаление сообщений одним собеседником не удаляет их из архива второго собеседника; а удалённый друг отличается от простого не-друга тем, что от него, кажется, не приходит оповещение, если он попытается зафрендиться снова. Поэтому «ненастоящее» удаление — «не бага, а фича».
Ваша реплика задела меня тем, что в ней на основании спорного терминологического нюанса делается довольно неприятное предположение. Я как-то тоже себя «ненастоящим» почувствовал. Что человек создаёт, а что открывает — это интересная тема для дискуссии философов и историков науки, а не какой-то принципиальный вопрос.
Upd.: ну да, да, можно сказать, что монослои довольно мучительно иногда получалось создавать и раньше. Но принципиальное значение для науки и техники имела таки работа Г. и Н.
Тем не менее, если заданы набор формальных символов для записи утверждений, аксиомы и правила вывода одних утверждений из других (в виде, грубо говоря, регулярных выражений), то формально можно сказать, что доказательство — это сетка утверждений, протянутая от аксиом до нужного нам доказательства согласно правилам вывода. Другое дело, что в такой форме доказательства оказываются невозможно громоздкими, и на практике всегда «срезаются углы». Обычно — контролируемо (на основании теорем, доказанных по всем правилам), но иногда случаются и ошибки.
Я вот чего думаю. Другой проблемы тысячелетия, P = NP, тоже представляет собой гипотезу; и для неё существует обширный и прекраснейший список её решений, в котором (якобы доказанные) утверждения об истинности гипотезы перемежаются (якобы доказанными) утверждениями о её ложности, изредка встречаются и более экзотические варианты. Вот не пора ли для гипотезы Римана завести подобное? :)
Написал комментарий и подумал — а может, уже есть? И таки да! А самое интересное, что первая же ссылка на той странице — опровержение этой новости о нигерийском математике.
Перечисленные в статье объекты, которые можно запустить в браузере: иглобрюх, паровоз Кордемана, откладывающий блоки, паровоз Кордемана, выпускающий глайдеры, паровоз Фомичева, паровоз — космический корабль (стимпанк на марше), гребень. Размножитель иглобрюхов слишком велик, но если установить в url'е zoom=3, то он почти влезет в поле.
Особенно если он труп!
007: Ясно. Можешь обойти?
Q: Я их изобрёл.
Эх, мне казалось, там было эффектнее.