Новое сообщение в форум Философия программирования

Форум	Философия программирования
Тема	Как правильно задавать вопросы

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

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

G>>>>Так это и есть та мощность языка, которую имеет смысл тут рассматривать.
V>>>Это выразительность.
G>>Ок, напиши вместо мощности выразительность. Чтонить изменится? Мы тут не корректность терминов обсуждаем.

V>Не термины? :)
V>[q]
G>>Тогда давай формализуем понятие мощности.
V>Давно уже. Мощность некоторого языка — это мощность мн-ва допустимых цепочек.
V>[/q]

V>Просто периодически на этом форуме, когда заходят баталии и [b]выразительности языков[/b] кто-нить говорит, что "мн-во цепочек обычно бесконечно для обоих языков, как определить какой язык мощнее?"

V>ОК. Чтобы закрыть тему, пару полезных ссылок, где фактически "на пальцах" о мощности мн-в:
V>http://www.lif.univ-mrs.fr/~ashen/part1.pdf
V>[url=http://ru.m.wikipedia.org/wiki/Мощность_множества]http://ru.m.wikipedia.org/wiki/Мощность_множества[/url]
V>http://www.ega-math.narod.ru/Singh/Cantor.htm

V>[q]
V>Насколько велико бесконечное множество? Кантор доказал существование иерархии бесконечностей, каждая из которых «больше» предшествующей. Его теория множеств — один из краеугольных камней математики.
V>[/q]

Теги:

Введите теги разделенные пробелами. Обрамляйте в кавычки словосочетания с пробелами внутри, например: "Visual Studio" .NET

Имя, пароль: Загрузить Нравится наш сайт? Помогите его развитию!
Отключить смайлики Получать ответы по e-mail