Открыл чат лаборатории вычислительного мышления, будем теперь вопрос создания курса computer science там обсуждать:
https://t.me/comp_thinking. Пока там пусто в части обсуждений, но в припиненном посте дан контекст исследования и ссылки на текущие материалы (слайды, тексты и библиотечку с парой-тройкой книжек).
Эпистемология, теория эволюции, квантовая физика и вычислительное мышление оказались тесно связанными (об этом хорошо пишет David Deutsch, его книжки можно найти в библиотечке из припиненного в указанном чате поста). Но упор обычно в информатике делается на алгоритмику, а в части "типов в языках программирования, моделирования, представления знаний" речь по факту идёт о computational ontology, а в обычной информатике — о моделировании данных, а в AI вдруг заводят разговор о различии коннекционистского представления знаний и knowledge graphs. Эти вопросы ещё не устаканены в наших обсуждениях, но для курса нам таки придётся их решать.