Алиса в Стране чудес и в Зазеркалье   ::   Демурова Н

Его перу принадлежат солидные труды - "Конспекты по плоской алгебраической геометрии" (1860), "Формулы плоской тригонометрии" (1861), "Элементарное руководство по теории детерминантов" (1867), "Алгебраическое обоснование 5-й книги Эвклида" (1874), "Эвклид и его современные соперники" (1879) и вышедшее в 1885 г. "Дополнение" к этой книге, которую сам Кэрролл считал основным трудом своей жизни. Современные историки науки отмечают глубокую традиционность этих книг. Совсем по-другому относятся они к логическим сочинениям Кэрролла "Логической игре" (1887), "Символической логике" (1896) и парадоксальным логическим задачам, вошедшим посмертно в различные сборники. "Особой виртуозности, - пишут советские исследователи, - Кэрролл достиг в составлении (и решении) сложных логических задач, способных поставить в тупик не только неискушенного человека, но даже современную ЭВМ. Разработанные Кэрроллом методы позволяют навести порядок в, казалось бы, безнадежном хаосе посылок и получить ответ в считанные минуты. Несмотря на столь явное превосходство, методы Кэрролла не были оценены по достоинству, а имя его незаслуженно обойдено молчанием в книгах по истории логики" {Льюис Кэрролл. История с узелками. Пер. с англ. Ю. Данилова. Под ред. Я. А. Смородинского. Предисловие Ю. Данилова и Я. Смородинского. М., 1973, с. 7-8.}. В этих работах современные ученые находят идеи, предвосхищающие математическую логику, получившую особое развитие в наше время.