November 12th, 2002

moose, transparent

библиотека

Вчера в библиотеке полистал буквально пару минут (времени читать не было):
  • Robert C. Merton, Shoulders of Giants - забавная книга, построенная в виде исследования источника (-ов) знаменитой цитаты Ньютона: "Если я чего-то добился, то это потому, что стоял на плечах гигантов" -- но включающая много любопытного материала кроме этого.
  • Henry Petrosky, The Pencil - технологическая и культурная история карандаша. Очень интересная книга, обязательно надо будет её полностью прочесть.
moose, transparent

конструктивизм и машины Тюринга: мысли вслух

Возьмём какую-нибудь знаменитую нерешённую математическую задачу. Например, проблему Гольдбаха: любое чётное число больше 2 может быть представлено в виде суммы двух простых чисел. Обозначим это утверждение буквой G. Либо G, либо не-G верно; но математики пока не знают, какая из двух альтернатив верна.

Теперь определим функцию F на множестве всех натуральных чисел N таким образом: для любого натурального числа n F(n)=1 если утверждение G верно, и F(n)=0 если утверждение G неверно.

Таким образом, если гипотеза Гольдбаха верна, то функция F даёт значение 1 для любого аргумента, а если неверна - значение 0. Такое определение функции F вполне законно в обычной математике.

Теперь спросим: вычислима ли функция F? С точки зрения обычной математики F несомненно вычислима. Ведь функция вычислима, если существует машина Тюринга (грубо говоря, абстрактная программа, бегущая на идеальном компьютере с неограниченной памятью), которая для каждого аргумента правильно вычисляет эту функцию. А в данном случае для функции F несомненно существует такая машина Тюринга! Если гипотеза Гольдбаха верна, то это машина, всегда выдающая в качестве ответа 1; если неверна - машина, всегда выдающая 0. В любом случае, такая машина существует.

Но если функция F вычислима, то я хочу вычислить её значение. Чему равно F(5)? Нет ответа, и не будет, пока математики не решат проблему Гольдбаха. Если никогда не решат - никогда не будет ответа.

Что-то, наверное, не так в математическом определении вычислимости, если функция может быть вычислимой, и при этом вычислить её мы не можем, даже теоретически. Что именно не так?
Collapse )
moose, transparent

ми здэс зивьйом

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

На канале, где последние дней 5 бесперерывно крутили рекламы будущих программ (совершенно ужасные), сейчас написано "до начала вещания осталось 0:03" и звучит тревожно-зловещая музыка. Забавно. О, уже 0:02.

Вряд ли, конечно, выйдет из всего этого хоть что-то хорошее, но вопреки предчуствиям хочется надеяться. Желаю каналу и его создателям удачи.

Update часть спустя: смешно и несколько расхлябанно устроенная "Открытая студия", но не безнадёжно. Ведущий: "социологи подсчитали, что треть своей жизни мы проводим перед телевизором" - поздравляю соврамши впервые в жизни канала, прямо-таки в первые 5 минут. Впрочем, всё бы враньё было таким, не так уж страшно. Диковатое "приветствие израильской команды КВН". Реклама - ну реклама и есть. А сейчас будет "выпуск новостей".

Update: выпуск новостей оказался весьма достойным. Из недостатков отмечу нескольки мелких сбоев и слишком напряжённый, переходящий почти в крик (не по громкости, а по напряжению) голос дикторши. После выпуска зачем-то пустили пять минут какого-то скрипичного ансамбля (???) и сразу потеряли на этом, небось, половину слушателей. Они что там, совсем охренели?
moose, transparent

совпадения

Открыл френд-ленту -- кто-то повторяет одну и ту же запись восемь раз. Думаю, скоро сотрёт.
Захожу в почтовый клиент - в рассылке (не связанной с ЖЖ) пришло одно и то же письмо восемь раз. Думаю, скоро сотрёт. Нет, думаю, тьфу, я скоро сотру! И стёр.