News for hackers. Stuff that matters.

A comment on What would Dijkstra do? Proving the associativity of min. Parent comment

Re:What would Dijkstra do? Proving the associativity of min by Josh04 on Thursday March 12, 2020 @08:08AM (#22555913)
With no offense intended to the poster, the inferences are a little sloppy by mathematical standards and most of the hard work is done by introducing ("noticing") the set notation to the definition of min.
[ Parent | on HN ]
Re:What would Dijkstra do? Proving the associativity of min by im3w1l on Thursday March 12, 2020 @02:30PM (#22560062)
I agree. It's more of a sketch than a proof which is why it's so short.
[ Parent | on HN ]