Наверх
Войти на сайт
Регистрация на сайте
Зарегистрироваться
На сайте недоступна
регистрация через Google

Ruby, 48 - 29 сентября 2008 00:31

Помню, как-то он говорил мне, что обдумывал возможность построения
чего-то вроде метатеории философских систем, иначе говоря, такой
универсальной программы, которая позволила бы автоматизировать
системотворчество: машина, настроенная должным образом, начнет с создания
уже существующих систем, а потом заполнит пробелы, оставшиеся по
недосмотру или из-за непоследовательности великих онтологов. Новые
философии она изготовляла бы с эффективностью автомата, производящего
винтики или ботинки. Он даже приступил к этой работе, составил словарь,
синтаксис, правила транспозиции, категориальные иерархии, что-то вроде
метатеории типов, включая их семантический анализ, но потом решил, что
занятие это бесплодное, игра не стоит свеч, ведь из нее ничего не
следовало, кроме самой возможности появления все новых сетей, клеток,
зданий и даже хрустальных дворцов, построенных из слов. Он был
мизантропом, и неудивительно, что у изголовья его кровати лежал томик
Шопенгауэра - а не Библия, как у меня
Добавить комментарий Комментарии: 0
Мы используем файлы cookies для улучшения навигации пользователей и сбора сведений о посещаемости сайта. Работая с этим сайтом, вы даете согласие на использование cookies.