Статья, написанная для первоапрельской "КТ". За общей нехваткой места вышла в журнале в сильно урезанном виде.
Эксклюзивный оригинальный вариант лежит тут:

Путеводитель автостопщика по потаённым знаниям

Наслаждайтесь!

Здравствуйте, Зверёк Харьковский, Вы писали:

ЗХ>Статья, написанная для первоапрельской "КТ". За общей нехваткой места вышла в журнале в сильно урезанном виде.
ЗХ>Эксклюзивный оригинальный вариант лежит тут:

ЗХ>Путеводитель автостопщика по потаённым знаниям

ЗХ>Наслаждайтесь!

Читал в Терре. Даже жаль было, что не у нас в первоапрельском номере вышло. Хотел оценку поставить — сообразил, что некуда. Ну, хоть здесь поставлю.

Здравствуйте, Kupaev, Вы писали:

ЗХ>>Статья, написанная для первоапрельской "КТ". За общей нехваткой места вышла в журнале в сильно урезанном виде.
ЗХ>>Эксклюзивный оригинальный вариант лежит тут:

ЗХ>>Путеводитель автостопщика по потаённым знаниям

ЗХ>>Наслаждайтесь!

K>Читал в Терре. Даже жаль было, что не у нас в первоапрельском номере вышло. Хотел оценку поставить — сообразил, что некуда. Ну, хоть здесь поставлю.

Спасибо
К сожалению, в Терре как-то уж очень обкорнали Все хохмы убрали, оставили голую информацию — это уже не то

Здравствуйте, Зверёк Харьковский, Вы писали:

ЗХ>К сожалению, в Терре как-то уж очень обкорнали Все хохмы убрали, оставили голую информацию — это уже не то

может сверстаешь в нашем шаблончике

Автор(ы): Брусенцев Виталий, Чистяков Владислав Юрьевич
Дата: 22.06.2011
Статья описывает шаблон для Microsoft Word предназначенный для верстки статей и преобразования их в формат RSDN ML. В статье рассматриваются вопросы использования шаблона.

, а то у тебя уж больно шрифт мелкий, да еще и не масштабируется, издевательство какое-то

http://en.wikipedia.org/wiki/OISC

весь список http://en.wikipedia.org/wiki/Category:Esoteric_programming_languages

Цитата из статьи:
"Ценность этой маловнятной метафоры в том, что любой современный компьютер по вычислительной мощности эквивалентен машине Тьюринга – то есть может выполнять те (и только те) задачи, что и эта машина."
Можно узнать, что означает "и только те". Какие задачи для МТ "не те"?

"Тьюринг-полны квантовые компьютеры (а значит, имитируемы на обычных и наоборот)."
Это противоречит предыдущей цитате. Если допустить существование нетех функций, то они вычисляются на не-МТ компьютере, но не наоборот. Или компьютер, вычисляющий нете функции как следствие уже не может быть МТ-полным?

Здравствуйте, Odi$$ey, Вы писали:

ЗХ>>К сожалению, в Терре как-то уж очень обкорнали Все хохмы убрали, оставили голую информацию — это уже не то

OE>может сверстаешь в нашем шаблончике

Автор(ы): Брусенцев Виталий, Чистяков Владислав Юрьевич
Дата: 22.06.2011
Статья описывает шаблон для Microsoft Word предназначенный для верстки статей и преобразования их в формат RSDN ML. В статье рассматриваются вопросы использования шаблона.

, а то у тебя уж больно шрифт мелкий, да еще и не масштабируется, издевательство какое-то

Как два байта переслать!

Здравствуйте, ON, Вы писали:

ON>Цитата из статьи:
ON>"Ценность этой маловнятной метафоры в том, что любой современный компьютер по вычислительной мощности эквивалентен машине Тьюринга – то есть может выполнять те (и только те) задачи, что и эта машина."
ON>Можно узнать, что означает "и только те". Какие задачи для МТ "не те"?
А хрен его знает. Это литературное объяснение понятия "эквивалентны".

ON>"Тьюринг-полны квантовые компьютеры (а значит, имитируемы на обычных и наоборот)."
ON>Это противоречит предыдущей цитате. Если допустить существование нетех функций, то они вычисляются на не-МТ компьютере, но не наоборот. Или компьютер, вычисляющий нете функции как следствие уже не может быть МТ-полным?
Опять же,
По большому счету, и та и другая фразы — всего лишь перевод соответствующих статей Википедии.
Я не умный, я прикидываюсь. Иногда проканывает, а иногда —

Здравствуйте, ON, Вы писали:

ON>Можно узнать, что означает "и только те". Какие задачи для МТ "не те"?

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

Браво. В самом начале очень много воды, местами изо всех щелей проглядывает википедия, но насколько же круто. Много смеялся. Спасибо.

Абсолютно добил эпиграф:

...А я на нем программировал!
Валерий Викторович Лаптев о языке Автокод Инженера.

И еще порадовал Piet

Здравствуйте, Зверёк Харьковский, Вы писали:

Кстати, lithp — это толстый намёк и доведение до логического конца значения слова "lisp" — "шепелявить". И если lisp (про его синтаксис говорят — lots of incredibly silly parenthesis) шепелявит только в названии, то lithp — повшемештно.

Здравствуйте, Кодт, Вы писали:

К>Кстати, lithp — это толстый намёк и доведение до логического конца значения слова "lisp" — "шепелявить". И если lisp (про его синтаксис говорят — lots of incredibly silly parenthesis) шепелявит только в названии, то lithp — повшемештно.

Опс! Спасибо, это конечно мое упущение. Так существенно смешнее

Понятно, это был такой художественный прием

Вообще-то я к этому довольно серьезно отношусь.
Раз люди смеются, значит что-то хорошее во этом есть.
Там еще есть фраза что нужны нечеловеческие усилия чтобы программировать на этих языках — у моего компьютера этих нечеловеческих сил полный ящик.

Кстати, кто физику знает, сколько сейчас лошадиных сил развивает компьютер?

Здравствуйте, ON, Вы писали:

ON>Там еще есть фраза что нужны нечеловеческие усилия чтобы программировать на этих языках — у моего компьютера этих нечеловеческих сил полный ящик.

Язык программирования нужен для того чтобы на нем программировал человек.

ON>Кстати, кто физику знает, сколько сейчас лошадиных сил развивает компьютер?

Ну если те, которые с GF6800Ultra SLI, то наверное уже где то к одной л.с. приближаются

Здравствуйте, Зверёк Харьковский, Вы писали:

ЗХ>Здравствуйте, Odi$$ey, Вы писали:

ЗХ>>>К сожалению, в Терре как-то уж очень обкорнали Все хохмы убрали, оставили голую информацию — это уже не то

OE>>может сверстаешь в нашем шаблончике

Автор(ы): Брусенцев Виталий, Чистяков Владислав Юрьевич
Дата: 22.06.2011
Статья описывает шаблон для Microsoft Word предназначенный для верстки статей и преобразования их в формат RSDN ML. В статье рассматриваются вопросы использования шаблона.

, а то у тебя уж больно шрифт мелкий, да еще и не масштабируется, издевательство какое-то

ЗХ>Как два байта переслать!

А Терра, по твоему мнению, будет сильно ругаться за право сеньора — если мы, скажем, это как статью в полном варианте на сайте поместим (со ссылкой на них, конечно)?

Здравствуйте, Kupaev, Вы писали:

ЗХ>>>>К сожалению, в Терре как-то уж очень обкорнали Все хохмы убрали, оставили голую информацию — это уже не то

OE>>>может сверстаешь в нашем шаблончике

Автор(ы): Брусенцев Виталий, Чистяков Владислав Юрьевич
Дата: 22.06.2011
Статья описывает шаблон для Microsoft Word предназначенный для верстки статей и преобразования их в формат RSDN ML. В статье рассматриваются вопросы использования шаблона.

, а то у тебя уж больно шрифт мелкий, да еще и не масштабируется, издевательство какое-то

ЗХ>>Как два байта переслать!

K>А Терра, по твоему мнению, будет сильно ругаться за право сеньора — если мы, скажем, это как статью в полном варианте на сайте поместим (со ссылкой на них, конечно)?

Мняяя... фиг знает. Я вроде, с Одиссеем договорился на выкладывание на РСДНе.
В Террововской полиси вроде есть только пункт "для публикации должны предоставляться ранее неопубликованные материалы" и всо — больше ничего на эту тему.

Здравствуйте, Зверёк Харьковский, Вы писали:

ЗХ>Мняяя... фиг знает. Я вроде, с Одиссеем договорился на выкладывание на РСДНе.
ЗХ>В Террововской полиси вроде есть только пункт "для публикации должны предоставляться ранее неопубликованные материалы" и всо — больше ничего на эту тему.

У меня Терры под рукой нет — надо глянуть, что у них в выходных данных: "При перепечатке ссылка обязательна" или "Воспроизведение в любой форме без письменного разрешения".

Здравствуйте, ON, Вы писали:

ON>Цитата из статьи:
ON>"Ценность этой маловнятной метафоры в том, что любой современный компьютер по вычислительной мощности эквивалентен машине Тьюринга – то есть может выполнять те (и только те) задачи, что и эта машина."
ON>Можно узнать, что означает "и только те". Какие задачи для МТ "не те"?

Проверка "зависнет" ли данная программа на некоторых входных данных, например. Такую функцию из множества программ в {0,1} нельзя реализовать на машине Тьюринга, но сама-то функция существует. МТ конструктивна по своей сути => неконструктивные задачи (которых полно в обычной неинтуиционисткой математике) она не решит.

Здравствуйте, Kupaev, Вы писали:

ЗХ>>Мняяя... фиг знает. Я вроде, с Одиссеем договорился на выкладывание на РСДНе.
ЗХ>>В Террововской полиси вроде есть только пункт "для публикации должны предоставляться ранее неопубликованные материалы" и всо — больше ничего на эту тему.

K>У меня Терры под рукой нет — надо глянуть, что у них в выходных данных: "При перепечатке ссылка обязательна" или "Воспроизведение в любой форме без письменного разрешения".

Первое.