20 Oct
2021
20 Oct
'21
11:26 a.m.
Hi, Am Mittwoch, dem 20.10.2021 um 16:05 +0100 schrieb Jens Blanck:
Sometimes, /= is semidecidable and == only cosemidecidable. E.g. Exact Real Arithmetic.
does that reasoning apply here? (/=) still returns True or False, so they are still both deciding the same question. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/