Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
raverbashing
on March 12, 2020
|
parent
|
context
|
favorite
| on:
What would Dijkstra do? Proving the associativity ...
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)
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
This proof works for any totally ordered set (hence a <= operation is defined on it)