Re[9]: Реализован простейший язык для тестирования на зацик
От: Cyberax Марс  
Дата: 02.03.09 15:44
Оценка:
Здравствуйте, FR, Вы писали:

C>>Шнайер оценивал, что для идеального компьютера потребуется примерно энергия взрыва сверхновой, чтобы перебрать 2^220 бит. Так что просто энергии вряд ли хватит

FR>Фейнман вроде доказал что обратимые вычисления возможны без затрат энергии вообще.
Да. Причём квантовые вычисления могут быть ТОЛЬКО обратимыми.

FR>Правда кажется что такие вычислители не Тьюринг-полные.

Они Тьюринг-полные (любая МТ тривиально делается реверсирумой). Проблема в том, что для части алгоритмов требуется непрактично большой объём хранилища.
Sapienti sat!
Re[6]: Текст программы обнаружения зависаний опубликован
От: Voblin Россия http://maslyaew.narod.ru/
Дата: 02.03.09 16:06
Оценка:
Здравствуйте, GhostCoders, Вы писали:

GC>Скажем я заявлю подобное: "обязуюсь брить тех и только тех кто не бреет сам себя"

GC>С точки доказательства Тьюринга меня в природе не может быть... но я есть и пишу сообщения в этом форум

Если бы ты был тем несчастным, который должен в точности выполнить всё, что заявляет, то после этого заявления ты должен был бы убить себя об стену. Впрочем, убивать себя тоже нельзя т.к. при этом не выполнишь обязательство брить тех, кто не бреет себя сам.
Re[3]: Реализован простейший язык для тестирования на зацик
От: Курилка Россия http://kirya.narod.ru/
Дата: 02.03.09 17:51
Оценка:
Здравствуйте, Alexey F, Вы писали:

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


T>>Таким подходом можно решить задачу века: заставить компьютер писать программы вместо человека. Для этого всего лишь надо перебирать последовательности байт, рано или поздно мы гарантированно получим программу, которая делает то, что нам нужно.


AF>Да что там века!

AF>Все помнят, что бесконечное количество обезьян за пишущими машинками когда-нибудь повторят "Гамлета" ?
AF>Тогда и писатели будут не нужны

Вроде же в оригинале было более "партриотичное" произведение "Война и Мир"?
Re[4]: Реализован простейший язык для тестирования на зацик
От: Alexey F  
Дата: 02.03.09 18:07
Оценка: 1 (1)
Здравствуйте, Курилка, Вы писали:

К>Вроде же в оригинале было более "партриотичное" произведение "Война и Мир"?


Ой. Я ориентировался на другой источник :

-- Артур, это фантастика! Нас подцепил корабль с Бесконечно
Невероятностным Полетом! Этого не может быть! Слухи о нем давно ходили!
Официально их опровергали, но, значит, они все-таки построили его! Они
изобрели Невероятностный Полет! Артур, ведь это... Артур! Что происходит?
Артур прижался к двери, пытаясь закрыть ее, но она была плохо
подогнана. Оставались широкие щели, и сквозь них просовывались маленькие
мохнатые ручки с пятнами краски на пальцах; слышались пискливые безумные
голоса.
Артур взглянул на Форда.
-- Форд! -- выговорил он, -- там, снаружи, бесконечно много обезьян. И
они хотят обсудить с нами "Гамлета", который у них получился.

(c) Дуглас Адамс. Путеводитель хитч-хайкера по Галактике

Re[5]: Реализован простейший язык для тестирования на зацик
От: Курилка Россия http://kirya.narod.ru/
Дата: 02.03.09 18:15
Оценка:
Здравствуйте, Alexey F, Вы писали:

[cut]

AF>(c) Дуглас Адамс. Путеводитель хитч-хайкера по Галактике


О, у Адамса как-то не заметил этого, спасибо.
А кто автор "фишки" про миллион мартышек и "Войну и мир" как-то не нагугливается
Так что у тебя аргументированней выходит
Re[6]: Реализован простейший язык для тестирования на зацик
От: Alexey F  
Дата: 02.03.09 18:40
Оценка:
Здравствуйте, Курилка, Вы писали:

К>О, у Адамса как-то не заметил этого, спасибо.

К>А кто автор "фишки" про миллион мартышек и "Войну и мир" как-то не нагугливается
К>Так что у тебя аргументированней выходит

Я слышал раньше, но не про "Войну и мир", а вообще про то что множество мартышек могут повторить любое литературное произведение, а потом нашёл про "Гамлета" у Дугласа
Re[5]: Реализован простейший язык для тестирования на зацик
От: Cyberax Марс  
Дата: 02.03.09 18:48
Оценка: 5 (2)
Здравствуйте, Alexey F, Вы писали:

К>>Вроде же в оригинале было более "партриотичное" произведение "Война и Мир"?

AF>Ой. Я ориентировался на другой источник :
Этой шутке намного больше лет: http://en.wikipedia.org/wiki/Infinite_monkeys#History
Sapienti sat!
Re[15]: Реализован простейший язык для тестирования на заци
От: . Великобритания  
Дата: 02.03.09 22:15
Оценка:
GhostCoders wrote:

> FR>inline int fib(int n)

> FR> return n<2 ? 1 : fib(n-1)+fib(n-2);

> во вторых есть рекурсия, а где есть рекурсия есть и стек, и указатель стека.

> стек частно бывает достаточно большого объема (ну скажем 256KB или даже
Вообще-то здесь стек не будет глубоким. Примерно столько же, сколько значение n. Т.е. для данной функции байт 200 хватит, чтобы работать несколько лет.

> Поэтому АНАЛИЗАТОР должен иметь O( 2^(256*8*1024)*10 ) бит данных для

> анализа
Губа не дура.

В общем доучись до третьего курса, а потом приходи мир переворачивать.
Posted via RSDN NNTP Server 2.1 beta
но это не зря, хотя, может быть, невзначай
гÅрмония мира не знает границ — сейчас мы будем пить чай
Re[6]: Текст программы обнаружения зависаний опубликован
От: . Великобритания  
Дата: 02.03.09 22:32
Оценка:
Cyberax wrote:

> GC>так тебя значить в природе не может быть по теории Тьюринга!!! Ты

> оказываешься пустое место! Тебе нема!
> Товарищ ".", у тебя там нет под рукой учебника проф. Непейводы, чтобы
> оттуда привести цитату про философские выводы из теоремы Геделя о неполноте?
Книжка вроде доступна публично тут http://ulm.uni.udm.ru/~nnn/prilog.pdf
А так там § 13.5, но читать с наскоку тяжело, формулы всякие, теоремы...
Posted via RSDN NNTP Server 2.1 beta
но это не зря, хотя, может быть, невзначай
гÅрмония мира не знает границ — сейчас мы будем пить чай
Re[16]: Реализован простейший язык для тестирования на заци
От: FR  
Дата: 03.03.09 03:31
Оценка:
Здравствуйте, ., Вы писали:

>> во вторых есть рекурсия, а где есть рекурсия есть и стек, и указатель стека.

>> стек частно бывает достаточно большого объема (ну скажем 256KB или даже
.>Вообще-то здесь стек не будет глубоким. Примерно столько же, сколько значение n. Т.е. для данной функции байт 200 хватит, чтобы работать несколько лет.

По моему чуть глубже, но неважно, на самом деле будет вполне ограниченно, зато дерево вызовов будет страшно развесистым и проходов по нему будет очень много, а его необходимо сохранять, так что уже для n > 30 думаю нереально анализировать.
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.