Доказательство несуществования универсальных программ
От: Дм.Григорьев  
Дата: 10.12.04 23:25
Оценка: 10 (4) -1 :))) :))
Всем привет!

Навеяно недавними флеймами о серебряных пулях, супер-программистах, универсальных программах и языках, тормознутых .NET-платформах и т.п. Искать ссылки впадлу — все и так помнят. Как всегда, возюкал тряпкой по полу — и думал: "а вот будет у меня похожий проект, я ведь не смогу туда весь код один в один перетащить, придется подправлять под задачу, а то как погонишься за универсальностью, выйдет монстр глючный и тормознутый... Эврика!"

САБЖ:
Глючность и тормознутость программы увеличивается с возрастанием ее функциональности. Следовательно, глючность и тормознутость универсальной программы стремится к бесконечности по мере ее разработки. Отсюда вывод: универсальная программа не может быть дописана до конца.

Лирическое отступление: аналогично, тело конечной массы не может быть разогнано до скорости света... бррр... скорее, как тело бесконечной массы не может быть сдвинуто с места.

Замечание: Данный вывод не исключает, впрочем, возможности существования универсальной программы в ранних стадиях разработки, что подтверждается экспериментально немеряным количество подобного рода проектов!
... << RSDN@Home 1.1.4 beta 3 rev. 185>>
http://dimgel.ru/lib.web — thin, stateless, strictly typed Scala web framework.
Re: Доказательство несуществования универсальных программ
От: Аноним  
Дата: 11.12.04 20:10
Оценка: +2
А разве за универсальную программу нельзя принять, например, компилятор C, написанный на С?
Re[2]: Доказательство несуществования универсальных программ
От: Дм.Григорьев  
Дата: 12.12.04 07:24
Оценка:
Здравствуйте, <Аноним>, Вы писали:

А>А разве за универсальную программу нельзя принять, например, компилятор C, написанный на С?


А компилятор C компилирует Обероны? Вот видишь, уже не универсальность!
... << RSDN@Home 1.1.4 beta 3 rev. 185>>
http://dimgel.ru/lib.web — thin, stateless, strictly typed Scala web framework.
Re[3]: Доказательство несуществования универсальных программ
От: Alexey Chen Чили  
Дата: 12.12.04 11:10
Оценка: :)
Здравствуйте, Дм.Григорьев, Вы писали:

А>>А разве за универсальную программу нельзя принять, например, компилятор C, написанный на С?

ДГ>А компилятор C компилирует Обероны? Вот видишь, уже не универсальность!
Ну тогда, универсальная программа дйствительно не может быть написанна за конечное время, поскольку должна иметь бесконечное количество фич Ведь он должна еще и по утрам кофе в постель приносить, иначе какая же это универсальная программа
Re[4]: Что такое, по-вашему, универсальность?
От: Дм.Григорьев  
Дата: 12.12.04 11:25
Оценка:
Здравствуйте, Alexey Chen, Вы писали:

А>А разве за универсальную программу нельзя принять, например, компилятор C, написанный на С?

ДГ>А компилятор C компилирует Обероны? Вот видишь, уже не универсальность!

AC>Ну тогда, универсальная программа дйствительно не может быть написанна за конечное время, поскольку должна иметь бесконечное количество фич Ведь он должна еще и по утрам кофе в постель приносить, иначе какая же это универсальная программа


Вот блин, пришел Alexey Chen и все испортил!!! В таком случае — САБЖ?

Развивая пример с компилятором C, можно далеко пойти — компилятор басика на басике, асма на асме, а для машкодов так вообще никакого компилятора не надо! Так что теперь, отсутствие программы — это и есть универсальная программа?!

Впрочем, последнее утверждение ни коим образом не противоречит моей теореме, поскольку диалектически утверждает то же самое: универсальных программ не существует.
... << RSDN@Home 1.1.4 beta 3 rev. 185>>
http://dimgel.ru/lib.web — thin, stateless, strictly typed Scala web framework.
Re[2]: Доказательство несуществования универсальных программ
От: rus blood Россия  
Дата: 12.12.04 12:29
Оценка: +1 -1
Здравствуйте, Аноним, Вы писали:

А>А разве за универсальную программу нельзя принять, например, компилятор C, написанный на С?


Универсальная (более-менее) программа — это ОС.
А мы пишем всего-лишь плагинчики к ней, которые гордо именуем "программами"...
Имею скафандр — готов путешествовать!
Re[3]: Доказательство несуществования универсальных программ
От: Дм.Григорьев  
Дата: 12.12.04 21:55
Оценка: :)
Здравствуйте, rus blood, Вы писали:

RB>А мы пишем всего-лишь плагинчики к ней, которые гордо именуем "программами"...


Ээээ... Народ! Подскажите, где можно скачать плагинчик HalfLife-2 для Windows-XP?
... << RSDN@Home 1.1.4 beta 3 rev. 185>>
http://dimgel.ru/lib.web — thin, stateless, strictly typed Scala web framework.
Re[4]: Доказательство несуществования универсальных программ
От: Firstborn Латвия  
Дата: 13.12.04 10:06
Оценка:
Здравствуйте, Дм.Григорьев, Вы писали:

ДГ>Здравствуйте, rus blood, Вы писали:


RB>>А мы пишем всего-лишь плагинчики к ней, которые гордо именуем "программами"...


ДГ>Ээээ... Народ! Подскажите, где можно скачать плагинчик HalfLife-2 для Windows-XP?


В DC++ уже можно
Re[4]: Доказательство несуществования универсальных программ
От: Слава Шевцов Россия http://www.rentaguru.ru/
Дата: 28.02.05 20:43
Оценка:
Здравствуйте, Alexey Chen, Вы писали:

А>>>А разве за универсальную программу нельзя принять, например, компилятор C, написанный на С?

ДГ>>А компилятор C компилирует Обероны? Вот видишь, уже не универсальность!
AC>Ну тогда, универсальная программа дйствительно не может быть написанна за конечное время, поскольку должна иметь бесконечное количество фич Ведь он должна еще и по утрам кофе в постель приносить, иначе какая же это универсальная программа

Парадокс решаем Кофе в постель это не программная проблема, а аппаратная...
----------------------------------------------------------------------------------------------
Rentaguru
Re[5]: Доказательство несуществования универсальных программ
От: Аноним  
Дата: 01.03.05 10:00
Оценка:
Здравствуйте, Слава Шевцов, Вы писали:

СШ>Здравствуйте, Alexey Chen, Вы писали:


А>>>>А разве за универсальную программу нельзя принять, например, компилятор C, написанный на С?

ДГ>>>А компилятор C компилирует Обероны? Вот видишь, уже не универсальность!
AC>>Ну тогда, универсальная программа дйствительно не может быть написанна за конечное время, поскольку должна иметь бесконечное количество фич Ведь он должна еще и по утрам кофе в постель приносить, иначе какая же это универсальная программа

СШ>Парадокс решаем Кофе в постель это не программная проблема, а аппаратная...


Ну и что? Программа типа Skynet должна пробиться на ближайший завод с роботизированной сборочной линией, разработать и собрать робота для доставки кофе.
Re[4]: Доказательство несуществования универсальных программ
От: stalcer Россия  
Дата: 01.03.05 11:40
Оценка:
Здравствуйте, Alexey Chen, Вы писали:

AC>Ну тогда, универсальная программа дйствительно не может быть написанна за конечное время, поскольку должна иметь бесконечное количество фич


Универсальная программа не может быть написана вообще, поскольку количество противоречащих друг другу фич больше нуля.
... << RSDN@Home 1.1.3 stable >>
Re: Доказательство несуществования универсальных программ
От: sercher Украина  
Дата: 01.03.05 11:55
Оценка:
ДГ>САБЖ:
ДГ>Глючность и тормознутость программы увеличивается с возрастанием ее функциональности. Следовательно, глючность и тормознутость универсальной программы стремится к бесконечности по мере ее разработки. Отсюда вывод: универсальная программа не может быть дописана до конца.

Отсюда вывод: универсальная программа — это глюк в самом себе. Чистый и явный.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.