Brouwer's theorem on the continuity of functions

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs gptkb:Brouwer's_continuity_theorem
gptkbp:appliesTo gptkb:intuitionistic_mathematics
gptkbp:contrastsWith gptkb:classical_mathematics
gptkbp:field gptkb:logic
gptkb:topology
https://www.w3.org/2000/01/rdf-schema#label Brouwer's theorem on the continuity of functions
gptkbp:implies no discontinuous function from reals to reals is constructible in intuitionistic mathematics
gptkbp:influencedBy intuitionism
gptkbp:namedAfter gptkb:L._E._J._Brouwer
gptkbp:publishedIn early 20th century
gptkbp:relatedTo gptkb:Brouwer's_fan_theorem
constructive analysis
Brouwer's fixed-point theorem
gptkbp:state All total functions from the real numbers to the real numbers are continuous (in intuitionistic mathematics).
gptkbp:bfsParent gptkb:Brouwer's_continuity_theorem
gptkbp:bfsLayer 7