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

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

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

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

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

L>>>Формальная система может иметь бесконечное количество аксиом, а также множество интерпретаций, или вообще не иметь. В общем, формальные системы никак не могут нам помочь в данном случае.

kl>>Непонятно как из первого утверждения следует второе. Формальные системы помогают определить термины "понятие" и "определение". Например, под "понятиями" можно понимать унарные предикаты, а под определениями формулы вида "A(x) <-> ...", где слева произвольная формула с одной свободной переменной. Так работает, например, [url=http://en.wikipedia.org/wiki/Description_logic]description logic[/url] - формальная система для многих современных систем управления терминологией (например, в медицинской информатике).

kl>>Большинство теорий в DL имеют множество интерпретаций, более того, в силу [url=http://en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_theorem]Löwenheim–Skolem theorem[/url] теория не может, как правило, контролировать размер этих интерпретаций. Но это нестрашно, главное что теория - это всегда система ограничений на допустимые интерпретации. Поэтому она и полезна.

L>Да, давай додумаем за автора, что он имел ввиду :-)

Теги:

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

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