|
Название: Проверка интуиции 3. Отправлено: VVV от Февраль 16, 2011, 10:22:55 Существует ли алгоритм, который для произвольного утверждения элементарной геометрии позволяет выяснить его истинность?
Название: Re: Проверка интуиции 3. Отправлено: General от Февраль 16, 2011, 11:33:00 Нутром чую, что будет как с составлением алгоритма, определяющего, зациклится ли программа.
Название: Re: Проверка интуиции 3. Отправлено: VVV от Февраль 25, 2011, 18:26:50 Ответ. Показать скрытый текст
Название: Re: Проверка интуиции 3. Отправлено: Илья от Февраль 25, 2011, 19:52:10 Цитировать Но он требует неслыханно большого времени для своего осуществления. Квантовый комп в помощь. :)Название: Re: Проверка интуиции 3. Отправлено: VVV от Февраль 25, 2011, 19:54:36 Цитировать Но он требует неслыханно большого времени для своего осуществления. Квантовый комп в помощь. :) |