March 14th, 2003

moose, transparent

дорога к храму

Дорога к Храму.

О, это гениально, спасибо, дорогой flaass.
Волк: Куда, Красная Шапочка, идешь?
Красная Шапочка: В храм Божий, на пасхальную службу.
Волк: А зачем?
Красная Шапочка: Помолиться Богу, куличи освятить.
Волк: Да брось ты, Богу молиться... А ты Его видела?
Красная Шапочка (растерянно): Нет...
Волк: Ну, значит, Его и нет. Хватит ерундой заниматься. Пойдем лучше в клуб, на дискотеку. Сегодня как раз клевые диски привезли.

Дальше -- ещё лучше.
  • Current Mood
    energetic energetic
moose, transparent

о японских глаголах

Вот интересное сообщение из ньюсгруппы, посвящённой японскому языку. Перевожу с английского на русский наиболее интересную часть. Это ответ человека по имени Hirofumi Nagamura на чей-то вопрос касательно смысла японской песни:


Первые две строки:
Saisho-wa umaku dekiru-to omotteta:
"Suki-dakara aisuru-koto-nante kantan"

Сначала я думала, что смогу это сделать:
(я думала про себя:) "так как я люблю (?) его, мне будет легко его полюбить (?)"
Понятно, что повторенный дважды глагол "любить" во второй строки выглядит странно; дело тут в том, что "suki" означает состояние души, а "aisuru" означает активно кого-то полюбить. Я не знаю, как передать это различие по-английски.


А я не знаю, как передать его по-русски, если это описание действительно верно. Любопытно.
moose, transparent

книги: Shoenfield, Recursion Theory

Recursion Theory Shoenfield'а -- очень милое краткое введение в теорию вычислимости (или теорию рекурсивных функций, если угодно). Я взял её почитать недавно, чтобы освежить память немного. Брал с некоторой опаской, т.к. учебник логики того же Shoenfield'а не люблю по некоторым причинам. Но опаска оказалась зряшной. Небольшая (75 страниц примерно), ёмкая, лаконичная и одновременно всё хорошо объясняющая книга.

Shoenfield не использует машину Тюринга, а вместо этого определяет другую модель, очень простую, видимо для того, чтобы легче было понять и доказывать. Модель такая: есть бесконечное кол-во регистров, пронумерованных R0, R1, R2, ..., каждый из которых может содержать любое число ("число" = натуральные числа, включая 0). Есть программа, представляющая собой конечный набор инструкций и хранящаяся в отдельном месте; и есть специальный регистр-указатель на номер текущей инструкции. Инструкции есть трёх видов: 1) INCREASE Ri: увеличить Ri на 1; 2) DECREASE Ri, n: если Ri=0, ничего не делать, а если Ri>0, уменьшить Ri на 1 и перейти к инструкции номер n; 3) GO TO n: перейти к инструкции номер n. Машина останавливается, когда совершён переход к номеру инструкции, большему, чем собственно есть инструкций в программе. В начале работы программы входные данные ставятся в регистры R1...Rk, а в конце выходные читаются из регистра R0.

В общем, понятно, что это та же мощность, что у машины Тюринга, но универсальную машину в такой модели "руками" построить было бы весьма трудоёмким делом. Однако Shoenfield'у это не нужно, т.к. он "строит" эту машину арифметическим путём, пользуясь определением рекурсивных функций через замыкание базисных числовых функций под действием соответствующих операторов. Простота "регистровой" машины позволяет особенно легко доказать эквивалентность этой модели числовому определению рекурсивных функций.

Ну дальше всё как обычно, набор классических теорем, RE-множества, арифметическая иерархия, degrees. В частности, особенно ясно и дельно объясняются Church-Turing Thesis и вся тема RE-множеств и RE-отношений. Хорошая книга. Рекомендую.
moose, transparent

лытдыбр

По-видимому, завтра буду в Тель-Авиве. Так что, если кто-то из дорогих тель-авивских друзей и знакомых хочет встретиться/пересечься, пишите, пожалуйста, комменты, письма или звоните на мобильный телефон.
  • Current Mood
    busy busy