News for hackers. Stuff that matters.

A comment on What is the Axiom of Choice?. Parent comment

Re:What is the Axiom of Choice? by siraben on Friday July 16, 2021 @06:05AM (#27854651)
I said that if you don't want to use LEM in constructive maths you must also give up AOC, since AOC -> LEM.
[ Parent | on HN ]
Re:What is the Axiom of Choice? by veltas on Friday July 16, 2021 @06:19AM (#27854721)
Oh right. Also hi siraben didn't notice it was you.
[ Parent | on HN ]
Re:What is the Axiom of Choice? by siraben on Friday July 16, 2021 @06:35AM (#27854799)
Hello! Nice to see another IRCer :)
[ Parent | on HN ]