Анатолий Левенчук - Визуальное мышление

А в сообществе LessWrong (я считаю, что это очень круто было) один из дискутантов вдруг сказал: «Я погуглил, выяснилось, что системную инженерию не Левенчук изобрел. Может внимательно прислушаться, что он говорит?». Это я к тому, что говоримое мной совершенно необязательно придумки лично Левенчука, поэтому рекомендую вам самим погуглить те тезисы моего доклада, в которых вы сомневаетесь: может обнаружиться, что это не только я говорю, это не только личная моя точка зрения. Хотя и личное тут, конечно, тоже есть.

Но почему именно я берусь выступить по теме «Визуальное мышление»?

Я понимаю, что среди присутствующих есть СМД-методологи, у вас тут лаборатория схематизации. Именно СМД-методологи много лет назад научили меня перед ними каждый раз перед докладом предъявлять какой-то свой личный опыт, доказывающий знакомство с предметом изложения.

Я первую программу на формальном языке (Алгол-68) написал в 1975 году, а последнюю я помогал на Питоне писать сыну в 2018, если уж речь идет о моём опыте работы с текстовыми формальными языками. Именно Питон тут не важен. Это просто один из языков, я и на Julia 15 15 Julia – быстрый язык высокого уровня для численных методов, http://julialang.org/ . в этом году немного писал.

Тем не менее, я придумывал и графические нотации, например, для молекулярных орбиталей я придумал в 80-х годах 20 века графический язык. Такая буквально стенография для изображения молекулярных орбиталей, сделал это как хобби на одной из химических тусовок. Я по образованию химик, но я уже тогда занимался программированием, и знания формальных языков я перенес в область химии, которая в части изображения молекулярных орбиталей все-таки не наука, а так, размахивание руками, и для этого размахивания руками и была придумана нотация: скоропись вместо всех этих «гантелек» из школьных учебников. Статья, правда, не вышла, потому что ребята, с которыми я занимался, соавторы, так и не удосужились её публиковать, а мне это тогда не было сильно интересно.

Язык схем СМД-методологии мне знаком с 1988 года, я побывал тогда на игре-59 16 16 59.Программа развития района в рамках развития города, 05.01.88—14.01.88, Ростов-на-Дону. , которую вел Георгий Петрович Щедровицкий, а с тех пор я регулярно в контакте с СМД-методологами и, в принципе, я эти схемы вполне читаю, хотя и очень мало пишу. Но когда-то на тамошнем схемном языке я довольно много писал, и поэтому можно и на эту тему поговорить, что я думаю об этих схемах.

Я переводил также на русский схемные иностранные языки, так перевод схемного ArchiMate 3.0 на русский я сделал в 2018 году, а до этого пару лет назад я перевел версию 2.1 17 17 Архимейт по-русски: https://ailev.livejournal.com/988360.html , так что в общем со схемными языками я тоже разбирался. Это я к тому, что у меня некоторый опыт работы с языками-схемами, языками графическими, языками формальными, этот опыт у меня «в пальцах», я не только об этих языках в книжках читал. Я к тому, что, собственно, личный опыт имею с самими языками и их употреблением, я тут не чистый теоретик.

Кроме этого я отслеживал языки DSL (domain specific language) движения 18 18 https://en.wikipedia.org/wiki/Domain-specific_language . Причём это был пик где-то в 2008—2011 годах, с тех пор за десяток лет это движение как попытка ввести в массовый оборот быстро порождаемые на «языковых верстаках» (language workbenches) графические языки моделирования сошло на нет. Этот тезис у меня будет раскрыт чуть подробнее, он важен.

Я также отслеживал работы по выявлению природы языков поддержки мышления графических и текстовых, а ещё работы по моделированию мышления в коннективистских архитектурах: Machine Learning в части Deep Learning, постепенно превращающееся в Differentiable Programming 19 19 https://medium.com/amplify-partners/age-of-ai-talk-deep-learning-est-morte-vive-differentiable-programming-6b1a1c9800d8 , но за коннективистскими архитектурами я слежу только последние лет пять.

А ещё моей работе с формальными и псевдокодными языками и их нотациями посодействовали исследования по работе с полным спектром формальности мышления, которые у нас ведутся в школе системного менеджмента. Для меня это важно потому, что мы работаем с этими вопросами мышления и его нотационной (графической или текстовой) поддержки прямо сейчас. Поэтому я вам представляю тезисы по этому направлению работы, опирающиеся на представления о полном спектре формальности мышления.

Тезисы я представил перед докладом в письменном виде 20 20 Тезисы по визуальному мышлению, 7 апреля 2018, https://ailev.livejournal.com/1418832.html . Там может быть многое непонятно, но в каждом тезисе есть две-три ссылки на раскрывающие их суть материалы, вы их открываете – и там найдёте большие тексты, в которых тоже может быть много непонятного, но уже десяток ссылок на поясняющие материалы в каждом этом тексте второго уровня. В принципе, по одной ссылке тезисов, если их дальше разворачивать по упоминаемым там ссылкам, вы можете найти по теме нашего обсуждения примерно 200 страниц. Это материалы ровно на тему визуального мышления: про нотации, про введение, про классификацию, про схемы.

Тезисы я раскрыл в докладе, стараяcь формулировать их в самой жёсткой форме, желательно оскорбительной. План был – заставить людей задуматься над ними. Эта предельно жёсткая форма была выбрана не случайно, а по особой просьбе организаторов. Все эти «наезды» на визуальное мышление дальше – они абсолютно осознанны.

Но кроме этого замечу что, что нет истинной лжи в мире, и современная научная парадигма показывает, что нет твёрдых каких-то утверждений, но есть утверждения о вероятности каких-то будущих событий.

Тем не менее, нельзя сказать, что совсем нет лжи и истинности в мире, потому что это байесовская вероятность и вы всегда имеете некоторую уверенность, в ваших высказываниях – в некоторой серой зоне можно подвинуть вероятность в одну и в другую сторону, но чтобы как-то существенно сдвинуть оценку вероятности, на экстраординарные заявления вам потребуются потребуются экстраординарные доказательства. Поэтому какие-то отдельные примеры, которые в терминах дискретной математике выглядят убедительными и формально доказующими, в моей баейсовской картине мира приводят просто к небольшим сдвигам в моей оценке ситуации, а не абсолютным доказательствам. Да, при приведении примера, который противоречит моим тезисам, я не будут считать, что они опровергнуты, но буду просто чуть-чуть сдвигать мои оценки по поводу ситуации. Ибо этот пример может означать, что:

А) Я и впрямь некорректен;

Б) есть нюансы, которые не учитывает приводящий пример;