List questions from chaitin-constant | MathQA

Chaitin's constant for lambda calculus and combinatory logic

Published on 09 Mar 2026 - 6:52

How can {rational x where x > C} set be substantially different from {rational x where x < C} set?

Published on 09 Mar 2026 - 9:18

What is the exact difference that makes Chaitin's number uncomputable while this other number (from another post) computable?

Published on 09 Mar 2026 - 9:18

Is there some shared structure between Chaitin's constants of similar systems?

Published on 09 Mar 2026 - 9:18

Can we know the first few digits of Chaitin's constant?

Published on 15 Mar 2016 - 22:12

What would a number system with an uncomputable base be like?

Published on 29 Jan 2022 - 3:01

Chaitin's argument for the impossibility of determining infinitely many bits of an uncomputable real

Published on 15 Dec 2022 - 19:33

Do all Turing-complete systems converge on a single universal function w.r.t. description redundancy?

Published on 24 Jan 2023 - 19:48