Weak Markov's Principle
A weaker form of Markov's principle may be stated in the language of analysis as
This form can be justified by Brouwer's continuity principles, whereas the stronger form contradicts them. Thus it can be derived from intuitionistic, realizability, and classical reasoning, in each case for different reasons, but this principle is not valid in the general constructive sense of Bishop.
Read more about this topic: Markov's Principle
Famous quotes containing the words weak and/or principle:
“Why, therefore, should we do ourselves this wrong,
Or others—that we are not always strong—
That we are sometimes overborne with care—
That we should ever weak or heartless be,
Anxious or troubled—when with us is prayer,
And joy and strength and courage are with Thee?”
—Richard Chenevix Trench (1807–1886)
“I do not mean to exclude altogether the idea of patriotism. I know it exists, and I know it has done much in the present contest. But I will venture to assert, that a great and lasting war can never be supported on this principle alone. It must be aided by a prospect of interest, or some reward.”
—George Washington (1732–1799)