3 ms·
I've often wondered if math would be better with a static type system
by corndoge 10y ago
I've often wondered if math would be better with a static type system
- osense 10y agoA type system was actually the original solution to Russell's paradox [1]. Today, we have type theories such as Martin-Löf type theory and Homotopy type theory, which can be used as a basis for constructive mathematics (i.e. mathematics, where law of the excluded middle, ∀(p : Proposition).p ∨ ¬p, doesn't generally hold — more or less). [1] https://en.wikipedia.org/wiki/Type_theory#History https://en.wikipedia.org/wiki/Type_theory#History
- andrepd 10y agoHow do you mean? Can you expand a bit on that?