With no offense intended to the poster, the inferences are a little sloppy by ma... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Josh04 on March 12, 2020 \| parent \| context \| favorite \| on: What would Dijkstra do? Proving the associativity ... 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.

im3w1l on March 12, 2020 [–]

I agree. It's more of a sketch than a proof which is why it's so short.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact