论文标题
使用香农熵量化daseinatization
Quantifying daseinisation using Shannon entropy
论文作者
论文摘要
对量子力学的拓扑形式主义以更广泛的信息检索观点解释。上下文（其基本组成部分）被视为信息来源。他们的相互作用称为daseination，纯粹是逻辑术语定义的，根据两个关系进行了重构：排除和排除查询。然后，扩大这些选择，daseination化成为上下文接近的特征。为了通过数值量化它，使用了香农熵。
Topos formalism for quantum mechanics is interpreted in a broader, information retrieval perspective. Contexts, its basic components, are treated as sources of information. Their interplay, called daseinisation, defined in purely logical terms, is reformulated in terms of two relations: exclusion and preclusion of queries. Then, broadening these options, daseinisation becomes a characteristic of proximity of contexts; to quantify it numerically, Shannon entropy is used.
