November 18th, 2002

moose, transparent

опять мысли вслух про машины Тюринга

Нашёл сегодня случайно ещё одну статью, которая рассматривает проблему решения "нерешаемых" с точки зрения теории вычислимости задач, с помощью физических "трюков". Я об этом писал полтора года назад примерно (дальнейшее в этой записи, предупреждаю, будет скорее всего непонятно без чтения той). Статья, к-ю я нашёл сегодня: Non-Turing Computers and Non-Turing Computability by Mark Hogarth, в: PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1994/1. В общем, это тот же способ обхода ограничений при помощи теории относительности, в некоторых специально сконструированных spacetimes по Минковскому. Основная идея такого "обхода" описана в старой записи; если кому-то интересны физические подробности, я могу вытащить статью в PDF и послать. С хронологической точки зрения это как раз не новая статья, а как раз старая; т.е. то, что я слышал полтора года назад, опиралось на эту статью 94-го года, по-видимому; и в ней упоминаяется здешний иерусалимский профессор Питовский, к-й как раз и читал лекцию полтора года назад.

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

Я хотел, собственно, в этой записи привести только ссылку на эту статью, чтобы не потерялась... в самой статье ничего для меня нового нет, разве что Хогарт ухищрается ещё и решать не просто невычислимые задачи, но и рекурсивно неперечислимые (non-recursively enumerable) путём состыкования вместе бесконечного кол-ва "странных" участков с бесконечно ускоренным временем внутри одного пространства-времени... совсем беспредел какой-то. Но сейчас мне пришла в голову ещё забавная связь с недавней записью про неконструктивность теории вычислимости. Ведь там возникает ситуация, когда есть машина, решающая проблему (вычисляющая функцию F), но мы не знаем, какая это машина. И вполне естественным образом та же самая проблема возникает, когда мы пытаемся доказать, что какой-то "чёрный ящик" не решает halting problem, о чём я и написал полтора года назад в комменте. Об этом надо бы подумать отдельно.
moose, transparent

мурзилка и стих про шпиона

Не все, наверное, видели совершенно замечательные страницы и обложки, сосканированные из старых выпусков журнала "Мурзилка" усилиями kukutz и _lance. Вот несколько обложек старых журналов, а вот усилия kukutz'а по достойному преобразованию этих сокровищ как в формате PDF, так и в HTML: сначала выпуски историй про Катавасию 80-х годов, и, наконец, совершенно гениальное стихотворение Михалкова "Шпион" из выпуска за ноябрь 1937-го.

Очень надеюсь, что это ещё не всё!

Стих Михалкова меня так поразил и зачаровал, что я не могу не скопировать его к себе в журнал:

Collapse )
moose, transparent

выходные записи

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

чеширский кот

Поймал сейчас случайно по новому израильскому русскому телеканалу программу "Чеширский кот" - очередной римейк "Что? Где? Когда?". Отличие от обычной игры на этот раз в том, что соревнуются две команды, и каждый раз, когда команда правильно отвечает на вопрос, один из её игроков покидает игру. Любопытная выдумка, но несколько искусственная всё же.

Забавно тут то, что одна из игравших сегодня команд - и победившая в конце концов - оказалась той, в которой я когда-то участвовал некоторое время, и даже ездил с ними на всякие израильские игры и чемпионаты - но прекратил года полтора назад (ещё elcour иногда в той же тусовке вращался). Возможно, если бы не прекратил, то участвовал бы в этой самой телевизионной игре. Маленькая страна -- это всё, что я хочу сказать.

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

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