<div dir="auto"><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">2020년 5월 9일 (토) 12:35, Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com">carter.schonwald@gmail.com</a>>님이 작성:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div dir="auto">That seems undecidable in general.</div></div></blockquote></div><div dir="auto"><br></div><div class="gmail_quote" dir="auto"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"></div></blockquote></div><div class="gmail_quote" dir="auto"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"></div></blockquote></div><div dir="auto">True. It is proven that there is no algorithm that compares arbitrary computable numbers.</div><div dir="auto"><br></div><div dir="auto">In other words, min and max are algorithms, but (==) and (<=) are not.</div></div>