SDS不可能

SD效率与SD策略证明的不相容性。这种形式化证明了至少有四个选民不存在匿名和中立的社会决策方案,以及同时满足可持续发展效率和可持续发展战略证明的备选方案。这是一个完全结构化的、准人类可编辑的证据。非结构化的证据来自于四个选民。他们的证据依赖于未经证实的将原始问题翻译成SMT的方法,而证明只有四个选民和替代方案的证据也没有经过机器检查。伊莎贝尔在这台机器上完全证明了这些步骤。这一点尤其重要,因为此前公布的一份非正式证据表明,一份较弱的声明恰恰在这一提升步骤中包含了一个错误。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换