9 May
2020
9 May
'20
12:14 p.m.
2020년 5월 9일 (토) 12:35, Carter Schonwald <carter.schonwald@gmail.com>님이 작성:
That seems undecidable in general.
True. It is proven that there is no algorithm that compares arbitrary computable numbers. In other words, min and max are algorithms, but (==) and (<=) are not.