News for hackers. Stuff that matters.

A comment on An intutive counterexample to the axiom of choice. Parent comment

Re:An intutive counterexample to the axiom of choice by mannerheim on Monday January 23, 2023 @11:11AM (#34490635)
There are uncomputable numbers which can still be defined.

https://en.wikipedia.org/wiki/Chaitin%27s_constant

[ Parent | on HN ]
Re:An intutive counterexample to the axiom of choice by Beldin on Tuesday January 24, 2023 @01:46AM (#34500245)
See also this Numberphile video on numbers, including algebraic, computable, transcendental, and talking about numbers beyond those.

https://m.youtube.com/watch?v=5TkIe60y2GI

[ Parent | on HN ]