Brouwer's continuity theorem

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs gptkb:Brouwer's_theorem_on_the_continuity_of_functions
gptkbp:contrastsWith gptkb:classical_mathematics
gptkbp:field gptkb:intuitionistic_mathematics
mathematical analysis
https://www.w3.org/2000/01/rdf-schema#label Brouwer's continuity theorem
gptkbp:implies no discontinuous function from reals to reals is constructively definable
gptkbp:namedAfter gptkb:L._E._J._Brouwer
gptkbp:publishedIn 1927
gptkbp:relatedTo gptkb:logic
continuity
intuitionism
real numbers
gptkbp:state all total functions from the real numbers to the real numbers are continuous in intuitionistic mathematics
gptkbp:bfsParent gptkb:Luitzen_Egbertus_Jan_Brouwer
gptkbp:bfsLayer 6