MathDB1 problem
- 0 votes0 replies0 views
Nonexistence of contractible sets with computable type
Nonexistence conjecture. No contractible set has computable type.
Nonexistence of contractible sets with computable type
Nonexistence conjecture. No contractible set has computable type.