nLab analytic principle of omniscience

Redirected from "analytic principles of omniscience".

Context

Analysis

Constructivism, Realizability, Computability

Foundations

foundations

The basis of it all

 Set theory

set theory

Foundational axioms

foundational axioms

Removing axioms

Contents

Disambiguation

Bishop 1967 introduced the principles of omniscience for the natural numbers to show that certain results in pointwise analysis could not be constructive, by showing that these results implied a principle of omniscience. There are similar axioms in analysis for various notions of real numbers which all imply the principles of omniscience for natural numbers, called the analytic principles of omniscience. These include:

References

category: disambiguation

Last revised on July 7, 2024 at 06:21:09. See the history of this page for a list of all contributions to it.