Erdős problem 505
Erdős Problem 505 (disproved). Borsuk's conjecture is false for sufficiently large : there exists a dimension and a bounded set with positive diameter such that cannot be covered by subsets each of diameter strictly less than .
Erdős Problems records this as disproved (Lean).
No Repository has ruled on it here.
How far the record reaches4 of 6 stages
- Sourceerdos-problems
- StatementRetained
- Formal3 retained
- Resolutiondisproved (Lean)
- WorkNone recorded
- DecisionNone here
- The questionNot reached
What this record is missingWork
Nothing here has checked that finding.
Reproducing it here turns a report into evidence.
Where the source files it109 share a topic
Erdős problem 94acceptedCarrying a Standing. Browse the topic.