“Limited principle of omniscience”的意思、由来-开放百科全书

词条

Limited principle of omniscience

释义

Definitions
References
External links

In constructive mathematics, the limited principle of omniscience (LPO) and the lesser limited principle of omniscience (LLPO) are axioms that are nonconstructive but are weaker than the full law of the excluded middle {{harv|Bridges|Richman|1987}}. The LPO and LLPO axioms are used to gauge the amount of nonconstructivity required for an argument, as in constructive reverse mathematics. They are also related to weak counterexamples in the sense of Brouwer.

Definitions

The limited principle of omniscience states {{harv|Bridges|Richman|1987|p=3}}:

LPO: For any sequence a₀, a₁, ... such that each a_i is either 0 or 1, the following holds: either a_i = 0 for all i, or there is a k with a_k = 1.^[1]

The lesser limited principle of omniscience states:

LLPO: For any sequence a₀, a₁, ... such that each a_i is either 0 or 1, and such that at most one a_i is nonzero, the following holds: either a_2i = 0 for all i, or a_2i+1 = 0 for all i, where a_2i and a_2i+1 are entries with even and odd index respectively.

It can be proved constructively that the law of the excluded middle implies LPO, and LPO implies LLPO. However, none of these implications can be reversed in typical systems of constructive mathematics.

The term "omniscience" comes from a thought experiment regarding how a mathematician might tell which of the two cases in the conclusion of LPO holds for a given sequence (a_i). Answering the question "is there a k with a_k = 1?" negatively, assuming the answer is negative, seems to require surveying the entire sequence. Because this would require the examination of infinitely many terms, the axiom stating it is possible to make this determination was dubbed an "omniscience principle" by {{harvtxt|Bishop|1967}}.

References

1. ^{{Cite book|url=https://www.worldcat.org/oclc/16832703|title=A course in constructive algebra|last=Mines|first=Ray|date=|publisher=Springer-Verlag|others=Richman, Fred and Ruitenburg, Wim|year=1988|isbn=0387966404|location=New York|pages=4-5|oclc=16832703}}

{{cite book |last=Bishop |first=Errett |authorlink=Errett Bishop |date=1967 |title=Foundations of Constructive Analysis |isbn=4-87187-714-0 |ref=harv}}
{{cite book |last1=Bridges |first1=Douglas |last2=Richman |first2=Fred |date=1987 |title=Varieties of Constructive Mathematics |isbn=0-521-31802-5 |ref=harv}}

External links

{{SEP|mathematics-constructive|Constructive Mathematics|Douglas Bridges}}

1 : Constructivism (mathematics)

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。