JuliaMath / JuliaMath/Infinities.jl
baking the infinite
- Dominant language
- Julia
- Stars
- 22
- Forks
- 10
- Avg merge
- 1d 4h
- Merged PRs (30d)
- 7
Description
#### We seem to be discussing these six flavors of Infiinity
----------------------------
- infinity as the limit (or bounds) of real magnitude: ∞
- two signed infinities of affine extension: -∞, +∞
- projective infinity, complex infinity : ⧞. ⧝
- small "natural-ly" infinites: ℵ₀, ℵ₁
_notes on symbol choices_
projective infinity is pointlike yet approached from both orientations along a "circle"
the choice of symbol ` ⧞ ` is of a smbol for infinity where orientation mirrors
The symbol used for ComplexInfinity resembles they way ComplexInfinity often is drawn.
. . . . . . . . . . . ⧝
. . . . . . . . . . . 
The symbol for NotANumber ( ꝋ ) is of the form assigned to symbolize the empty set ( ∅ ).
Also, it may be read like a sign saying "not even zero".
--------
It is good practice to have keyboard-easy names for exported unicode symbolics.
(exports are separated conceptually, for ease of presentation)
```
export NegativeInfinity, ( -∞ ), PositiveInfinity, (+∞ ),
export RealInfinity, ( s∞ ),
export ProjectiveInfinity, ( ⧞ ), ComplexInfinity, ( ⧝ )
export Aleph0, ( ℵ₀ ), Aleph1, ( ℵ₁ )
export NotANumber, ( ꝋ )
```
#### one thought
```
abstract type AbstractInfinity end
abstract type InfinityOrder <: AbstractInfinity end
struct Aleph0 <: InfinityOrder end
struct Aleph1 <: InfinityOrder end
abstract type InfiniteMagnitude <: AbstractInfinity end
struct RealInfinity <: InfiniteMagnitude end
struct ProjectiveInfinity <: InfiniteMagnitude end
abstract OrientedInfinity <: AbstractInfinity end
struct NegativeInfinity <: OrientedInfinity end
struct PositiveInfinity <: OrientedInfinity end
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.