13 ноября 2008 · Комментарий

Без заголовка

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

Формальные системы - это пока не ИТ, а все еще махровый Computer Science. В фундаментальных знаниях прогресс значительно медленнее. Да и спроса на более выразительные логики массового нет: большинство проблем выразимо в терминах логики первого порядка.