建设性宝石:非理性到非理性的力量即理性
- 2009年12月28日
- 安德烈·鲍尔
-
宝石和石头,建构主义数学
以下参数是经常被引用作为一个例子,说明了排除中间逻辑和经典逻辑规律的必要性。我们应该证明两个无理数$a$和$b$的存在,使得它们的幂$a^b$是有理的。根据排除中间律,$\sqrt{2}^{\sqrt}2}$是否有理。如果它是有理的,那么取$a=b=\sqrt{2}$,否则取$a=\sqrt}2}^{\sqrt[2}}$和$b=\scrt{2}$。无论哪种情况,$a^b$都是合理的。让我们从建设性的角度考虑一下这一点。
排除中间律应该在这里以一种基本的方式使用,因为我们不知道$\sqrt{2}^{\sqrt{2}}$是否合理。事实上,它是非理性的,所以“基本”用法源于我们假定的无知,而不是真正的数学事实。因此,该论点表明,排除中间律是支持无知的一种极好方法(这在许多方面都是好的,就像好的编程语言支持程序员的懒惰一样)。
但是,给出两个无理数$a$和$b$的具体例子,使$a^b$成为有理数有多难?一点也不难!取$a=\sqrt{2}$和$b=2\log_23$。很容易证明两者都是非理性的,事实上,证明$b$是非理性比证明$a$是非理性更容易。我们有$a^b=2^{\log_23}=3$。看到这个之后建设性的参数古典的其中一个看起来更傻,只是一个不值得注意的并发症。这个故事的寓意是,建构性思维模式应该是默认的,因为它产生了更简单、更具体的数学。只有在你真的需要的时候才切换到经典模式(即使那样,也不要)。