Автор статьи обсуждает вопрос о формировании информатики как самостоятельной области знаний.

Описание логической игры, которая, по мнению автора, моделирует поведение математика, пытающегося доказать либо опровергнуть некоторую гипотезу.