问题的数学

The Mathematics of Questions

摘要 Abstract

我报告了方程 \( i(A,B) + i(A,\neg B) + i(\neg A,B) + i(\neg A,\neg B) = 0 \) 存在一个非平凡解,其中 \( i(A,B) = \log \frac{P(A\text{ and }B)}{P(A)P(B)} \),\( P(A) \) 是命题 \( A \) 的概率。该方程规定了两个逻辑命题之间的信息平衡条件,仅在独立性和此新解时满足。该解是一种新的逻辑命题间基本信息关系,我们记为 \( A \sim B \)。这种 \( \sim \) 关系不能通过实数概率表达,但可以通过将每个命题表示为一个问题和一个答案的组合大大简化,例如,将“所有人类都是凡人”写作(所有人类都是凡人吗?是)。我们将研究问题的数学,并探讨 \( \sim \) 关系在代数中的作用。我们会发现,像命题一样,问题也可以作用于概率分布:给出命题 \( X \),设定 \( P(X) = 1 \);提出命题 \( X \) 的问题,则设定 \( P(X) = 1/2 \)。给出命题会向概率分布添加信息,而提出问题则会从概率分布中移除信息。引入问题到概率论中使得信息的减法表示成为可能。我们将考察如何从几何角度关联问题。令人惊讶的是,最简单的问题空间方向结构与最简单的量子系统——两态系统——具有相同的结构。我们将发现,两态量子系统的本质数学结构可以从问题的数学推导出来,包括非交换性、互补性、波函数坍缩、希尔伯特空间表示和玻恩规则,以及量子纠缠和非局域性。

I report the existence of exactly one non-trivial solution to the equation $i(A,B)+i(A,\neg B)+i(\neg A,B)+i(\neg A,\neg B)= 0$, where $i(A,B)=\log\frac{P(A\text{ and }B)}{P(A)P(B)}$, and $P(A)$ is the probability of the proposition $A$. The equation specifies an information balance condition between two logical propositions, which is satisfied only by independence and by this new solution. The solution is a new elementary informational relationship between logical propositions, which we denote as $A \sim B$. The $\sim$ relation cannot be expressed as a relationship between probabilities without the use of complex numbers. It can, however, be greatly simplified by expressing each proposition as a combination of a question and an answer, for example, writing, ``All men are mortal'', as (Are all men mortal?, Yes). We will study the mathematics of questions and find out what role the $\sim$ relationship plays inside the algebra. We will find that, like propositions, questions can act on probability distributions. A proposition, $X$, can be given, setting $P(X)$ to 1. The question of $X$ can be raised, setting $P(X)$ to $1/2$. Giving the proposition adds information to the probability distribution, but raising the question takes information away. Introducing questions into probability theory makes it possible to represent subtraction of information as well as addition. We will examine how questions can be related to each other geometrically. Remarkably, the simplest way of orienting questions in space has the same structure as the simplest quantum system -- the two-state system. We will find that the essential mathematical structure of the two-state quantum system can be derived from the mathematics of questions, including non-commutativity, complementarity, wavefunction collapse, the Hilbert space representation and the Born rule, as well as quantum entanglement and non-locality.