2 ms·
How is intuitionistic type theory a "better" foundation? As a simple example, where can I find a statement of Brouwer's fixpoint theorem in an intuitionistic ty
by creata 5y ago
How is intuitionistic type theory a "better" foundation? As a simple example, where can I find a statement of Brouwer's fixpoint theorem in an intuitionistic type theory, and how is it better stated than its classical counterpart?
- lapinot 5y ago:) i don't know about that theorem, don't remember having seen. Now i'm reading stuff about Brouwer! Since it seems to be about topology so i'd guess homotopy type theory folks would have written something about it. edit: You seem to know some stuff apparently?