JuliaMath / JuliaMath/Infinities.jl
Readme assumes Continuum Hypothesis
Open
- Dominant language
- Julia
- Stars
- 22
- Forks
- 10
- Avg merge
- 1d 4h
- Merged PRs (30d)
- 7
Description
> `InfiniteCardinal{k}`, for the cardinality of an infinite set, e.g., ℵ₀ for the cardinality of the integers and ℵ₁ for the cardinality of the reals.
Not sure if this is intended, but a priori, (with standard notation) ℵ₁ being the cardinality of the reals is equivalent to accepting the Continuum Hypothesis
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.