21 августа 2010 · КомментарийБез заголовкаИмя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на записьВот я почитал сцылку от 109 и так и не понял, чем Теория Категорий отличается от HOL систем. Не, ну понятно, что она отличается. Но задачи, которые они ставят, те же самые. Только для HOL уже есть работоспособные системы.