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 raverbashing on Thursday March 12, 2020 @07:34AM (#22555705)
Hence mathematicians will "hate it" and replace it with something more complicated and less clear

This proof works for any totally ordered set (hence a <= operation is defined on it)

[ Parent | on HN ]

There are no comments on this comment yet.