Skip to main content
The 2024 Developer Survey results are live! See the results
Simply Beautiful Art's user avatar
Simply Beautiful Art's user avatar
Simply Beautiful Art's user avatar
Simply Beautiful Art
  • Member for 2 years, 2 months
  • Last seen more than 1 year ago
About

10/22/2020: Recently I've taken a liking to bracketing methods for root-finding and have even written my own code. It would seem most of the well-known bracketing methods suffer from myriad problems, including very suboptimal orders of convergence and insufficiently intelligent conditions for using bisection.

8/24/2019: I defined a neat ordinal collapsing function:

S(A) ⇔ ∀ f : sup A ↦ sup A, ∃ α ∈ A, ∀ η ∈ α (f(η) ∈ α)

B(α, κ, 0) = κ ∪ {0, K}

B(α, κ, n+1) = {γ + δ | γ, δ ∈ B(α, κ, n)}
               ∪ {Ψ_η(μ) | μ ∈ B(α, κ, n) ∧ η ∈ α ∩ B(α, κ, n)}

B(α, κ) = ⋃ {B(α, κ, n) | n ∈ N}

Ξ(α) = {κ, K ∈ K′ | κ ∉ B(α, κ) ∧ α ∈ cl(B(α, κ)) ∧ S(⋂ {Ξ(η) ∩ κ | η ∈ B(α, κ) ∩ α})}

Ψ_α = enum(Ξ(α))

C(α, κ, 0) = κ ∪ {0, K}

C(α, κ, n+1) = {γ + δ | γ, δ ∈ C(α, κ, n)}
               ∪ {ψ^η_ξ(μ) | μ, ξ, η ∈ C(α, κ, n) ∧ η ∈ α}

C(α, κ) = ⋃ {C(α, κ, n) | n ∈ N}

ψ^α_π = enum{κ, K ∈ Ξ(π) | κ ∉ C(α, κ) ∧ α ∈ cl(C(α, κ))}

where K is a weakly compact cardinal and K' is the (K+1)th hyper-Mahlo or alternatively, the smallest ordinal larger than K closed under γ ↦ M(γ), where M(γ) is the first γ-Mahlo. On its own this doesn't make a notation for large countable ordinals, but it can be used with another ordinal collapsing function for such purpose.

If you need me, you can find me here:

This is the realm of SBA

or on Discord.

My favorite topics include , , , , , , and on math.SE.

Some of my favorite posts:

Golf a number bigger than TREE(3)

Largest Number Printable

Methods to compute $\sum_{k=1}^nk^p$ without Faulhaber's formula

How to prove this $\pi$ formula?

Visually stunning math concepts which are easy to explain

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
1
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
Top posts