?

Log in

No account? Create an account
Лабораторный журнал -- Day [entries|friends|calendar]
Anatoly Levenchuk

[ website | Лабораторный журнал ]
[ userinfo | livejournal userinfo ]
[ calendar | livejournal calendar ]

Диаграммное рассуждение [01 Mar 2011|12:30am]
Pierce в самом начале 20 века обсуждал вопрос о "диаграммном рассуждении" (diagrammatic reasoning), в котором говорится о примерно том же манипулировании символами, что и в формальной логике и дискретной математике, но это не столько символы, сколько какие-то графические конструкции, и алфавит этих "символов" нестандартный (типа "пересекает", "находится в зоне", "соединяется с", "охватывает целиком", "имеет единственную исходящую линию" и т.д.). И он придумал графовую/графическую нотацию (которую обозвал "diagrammatic syntax" для формальной логики (http://www.jfsowa.com/peirce/ms514.htm).

С тех пор символьный вывод победил окончательно и бесповоротно. Как я понимаю, диаграммными рассуждениями пользовались только очень эпизодически, и многие эти "эпизоды" (типа диаграмм Фейнмана) потом были обобщены теоркатегорщиками (см., например, про диаграммную технику для моноидальных категорий -- http://www.mscs.dal.ca/~selinger/papers/graphical.pdf).

Я вдруг сейчас понял, почему диаграммные техники проигрывают. Потому что сложение в столбик можно было бы рассматривать, как диаграммную технику. Но оно начисто проигрывает калькулятору. А калькулятор работает не с диаграммным вводом, но с символьным.

Сейчас я уже часто вижу, как люди пишут на своих iPad прямо пальцем. Это означает, что через некоторое время диаграммный ввод "для калькулятора" может быть вполне приемлемым -- будет и вычислительной мощности достаточно, и разрешения экрана, и способ ввода устаканится.

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

Но сама концепция "диаграммного рассуждения" ввиду грядущего наплыва графических DSL представляется любопытной. Об этом задумались как информатики (ввиду осуждения графических DSL), логики (в связи с их интересом к языкам как таковым, за пределами интереса к "языкам лингвистов") и математики в лице тех же теоркатегорщиков.
28 comments|post comment

Весна дыбр [01 Mar 2011|11:59pm]
Первое марта: утром в Москве минус 17 Цельсия, сейчас (23 часа) -- минус десять. Послезавтра обещают ноль. Большой Небесный Рубильник включился точно по расписанию, что настораживает.

.15926 workbench сегодня сумел внятно показать классы и шаблоны одной из первых российских библиотек справочных данных, чем и принёс первую пользу людям. И даже не это самое приятное, а наличие на 1 марта 2011г. не менее 10 русскоговорящих ижненеров данных, которые способны разрабатывать эти самые классы и шаблоны, и которым может пригодиться этот пока еще весьма экзотичный для нашего глобуса софт. Мы старались.

IBM Watson сегодня на CeBIT отвечал уже на медицинские вопросы: http://twitpic.com/44s2c2. Жаль, что русскоязычным докторам он долго ещё будет бесполезен.

Любимый чай жены неожиданно оказался Чжу Е Цин ("Листья бамбука"). Кто бы мог подумать! Я лично его пить не могу, для меня он слишком горчит.

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

Весна, будем расцветать сотней цветов.
post comment

navigation
[ viewing | March 1st, 2011 ]
[ go | previous day|next day ]