![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
metaclassThe no-deleting theorem, together with the no-cloning theorem, underpin the interpretation of quantum mechanics in terms of category theory, and, in particular, as a dagger symmetric monoidal category. This formulation, known as categorical quantum mechanics, in turn allows a connection to be made from quantum mechanics to linear logic as the logic of quantum information theory (in exact analogy to classical logic being founded on Cartesian closed categories.)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2015-03-06 08:47 am (UTC)P.S. ... и в аццкие капчи.
no subject
Date: 2015-03-06 11:09 am (UTC)no subject
Date: 2015-03-06 01:02 pm (UTC)no subject
Date: 2015-03-07 11:03 am (UTC)no subject
Date: 2015-03-07 11:44 am (UTC)Мне кажется, достаточно реально использовать в школе какой-то вариант теории типов, и отталкиваясь от него уже объяснять категории.
Плюс к этому какие-то основы линейной алгебры, для того, чтобы рассказать, что такое квантовая механика, тоже можно было бы давать.
(капча какая-то осмысленная...)
no subject
Date: 2015-03-08 01:52 pm (UTC)Немного обидно ;-) по этому поводу — есть и категорная интуиция, отличная от теоретико-типовой.
"Пыщщ" ивсётакое ;-)
no subject
Date: 2015-03-08 02:06 pm (UTC)Начинать с теории множеств, например, будет сложнее. Это все равно, что вводить топосы :)
Просто нужен пример достаточно сложной категории, чтобы вводимые понятия не "зависали в воздухе", не оставались абстрактными значками.
То, что есть другая интуиция про категории, это надо как-то тоже подать, но мы же ориентируемся на задачу "дать общее представление о предмете", тут не надо перегружать материалом. Ну, вроде как я из школьного курса физики не узнал всех тонкостей, например, молекулярно-кинетической теории газа, но имею представление, о чём она (молекулы всё время летают или колеблются, и эти колебания передаются от одного объема вещества к другому, что мы наблюдаем как передачу тепла).
Интересно было бы посмотреть на результаты, как кто-то рассказывает это в школе.
no subject
Date: 2015-03-08 02:11 pm (UTC)1. человек, рассказывающий продвинутую математику в школе, знал категории;
2. не побоялся сделать "пыщщ"-эксперимент;
ПС и линейную алгебру. в школе обязательно надо рассказывать линейную алгебру. и для геометрии, и для квантов, и для категорий она очень поможет.
no subject
Date: 2015-03-08 02:16 pm (UTC)no subject
Date: 2015-03-08 02:20 pm (UTC)no subject
Date: 2015-03-08 02:25 pm (UTC)no subject
Date: 2015-03-08 02:27 pm (UTC)no subject
Date: 2015-03-08 02:18 pm (UTC)no subject
Date: 2015-03-08 02:22 pm (UTC)