|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Логика обобщенных истинностных значений для квантовой вычислимостистатья
- Автор: Зайцев Д.В.
- Сборник: Первый Конгресс Русского общества истории и философии науки "История и философия науки в эпоху перемен": сборник научных статей / Научн. ред. и сост. И.Т. Касавина и др. В 6 томах
- Том: 1
- Год издания: 2018
- Место издания: Изд-во «Русское общество истории и философии науки» Москва
- Первая страница: 86
- Последняя страница: 88
- Аннотация: Рассматриваются перспективы применения проекта обобщенных истинностных значений к логике квантовой вычислимости. На примере четырехзначной логики Данна-Белнапа будут охарактеризованы логики обобщенных истинностных значений. Далее рассматривается эволюция квантовой логики с акцентом на понятии квантовой вычислимости. Предложены различные варианты логической экспликации квантовой вычислимости.
- Добавил в систему: Маркин Владимир Ильич