JuliaMath / JuliaMath/Infinities.jl

baking the infinite

Open
#6 4 comments 0 reactions 0 assignees View on GitHub
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.
. . . . . . . . . . . ⧝
. . . . . . . . . . . ![image](https://user-images.githubusercontent.com/1682118/107656281-00b65700-6c52-11eb-9e08-fb33aca0b8c8.png)

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.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.