Record number :
1444426
Title of article :
The double negation of the intermediate value theorem
Author/Authors :
Ardeshir، نويسنده , , Mohammad and Ramezanian، نويسنده , , Rasoul، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Pages :
8
From page :
737
To page :
744
Abstract :
In the context of intuitionistic analysis, we consider the set F consisting of all continuous functions ϕ from [ 0 , 1 ] to R such that ϕ ( 0 ) = 0 and ϕ ( 1 ) = 1 , and the set I 0 consisting of ϕ ’s in F where there exists x ∈ [ 0 , 1 ] such that ϕ ( x ) = 1 2 . It is well-known that there are weak counterexamples to the intermediate value theorem, and with Brouwer’s continuity principle we have I 0 ≠ F . However, there exists no satisfying answer to I 0 ¬ ¬ = ? F . We try to answer to this question by reducing it to a schema (which we call ED ) about intuitionistic decidability that asserts “there exists an intuitionistically enumerable set that is not intuitionistically decidable”. We also introduce the notion of strong Specker double sequence, and prove that the existence of such a double sequence is equivalent to the existence of a function ϕ ∈ F m o n where ¬ ∃ x ∈ [ 0 , 1 ] ( ϕ ( x ) = 1 2 ) .
Keywords :
Decidability , The intermediate value theorem , Intuitionistic mathematics
Journal title :
Annals of Pure and Applied Logic
Serial Year :
2010
Link To Document :
بازگشت