News for hackers. Stuff that matters.

A comment on Toward an API for the Real Numbers. Parent comment

Re:Toward an API for the Real Numbers by H8crilA on Wednesday October 07, 2020 @05:42AM (#24706619)
Equality is also needed if you want to know whether "x<y".

Proof: 1) suppose you can decide whether "x<y" for all x,y. 2) Then, for all x,y you can decide whether x==y because that's just "!(x<y) && !(y<x)"

[ Parent | on HN ]

There are no comments on this comment yet.