Не являясь специалистом, мало что понял из-за обилия различных специфических терминов и именных логик. В основном понравилось, что все-таки классические логики получаются как частный случай квантовых и наоборот. Специфические квантовые получаются с определенными расширениями классических. И еще понял важное: теория топосов и теория категорий, аппарат которых используется в квантовой логике, являются дальнейшим обобщением теории множеств и неклассических визуальных доказательств. К сожалению этими доказательствами не владею.
Отзывы 2