Limited principle of omniscience
id:
limited-principle-of-omniscience-202-15784190
title:
Limited principle of omniscience
text:
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. They are used to gauge the amount of nonconstructivity required for an argument, as in constructive reverse mathematics. These principles are also related to weak counterexamples in the sense of Brouwer.
brand slug:
wiki
category slug:
encyclopedia
description:
Mathematical concept
original url:
https://en.wikipedia.org/wiki/Limited_principle_of_omniscience
date created:
date modified:
2023-10-22T21:10:13Z
main entity:
{"identifier":"Q6549544","url":"https://www.wikidata.org/entity/Q6549544"}
image:
fields total:
13
integrity:
14