Какой должна быть настоящая рецензия на логическую книжку?

[minski_gaon]

Comments

[ailev]

Только напрягает большое количество кванторов всеобщности в последних абзацах, типа "любые виды неопределенности". Нэлперы учат рефлекторно реагировать на такие кванторы, задавая вопрос с их удвоением: "любые-любые?". Ибо "самый полный источник" -- это вовсе не "все логические аспекты данных логик" (фраза сама по себе загадочная, типа "все автомобильные аспекты данных автомобилей", но всё еще требующая переспроса "все-все?").

[minski_gaon]

это я сподхолимничал...

[ta_ta_aht]

красиво :)

[tulyaha]

Сапраўды, выдатная рэцэнзія! Складаныя рэчы растлумачаныя звязна й проста. Так і захацелася пачытаць кнігу Карпенкі... калі яна напісана такой жа мовай.

[agorbylev]

Наш детерминизм покоится, пожалуй, не на кванторах общности, а на вероятности и алгебраическим понятием "мера" в пространстве "допустимого". Подключая сюда правило выбора, получаем решение задачи буриданова осла.
А рецензия - хороша :)

[snowtomcat]

блестяще!