News for hackers. Stuff that matters.

A comment on Fluid Simulation (with WebGL demo). Parent comment

Re:Fluid Simulation (with WebGL demo) by corndoge on Saturday August 27, 2016 @04:25PM (#12374015)
I've often wondered if math would be better with a static type system
[ Parent | on HN ]
Re:Fluid Simulation (with WebGL demo) by osense on Saturday August 27, 2016 @04:42PM (#12374074)
A 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

[ Parent | on HN ]
Re:Fluid Simulation (with WebGL demo) by andrepd on Saturday August 27, 2016 @05:50PM (#12374339)
How do you mean? Can you expand a bit on that?
[ Parent | on HN ]