Simply Beautiful Art
• Member for 8 years, 8 months
• Last seen this week
• America
Stats
74,773
reputation
4.2m
reached
2,306
245
questions
Communities
View all

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

12
123
282
1,301
Score
542
Posts
21
Posts %
1,200
Score
522
Posts
20
Posts %
748
Score
263
Posts
10
Posts %
713
Score
266
Posts
10
Posts %
604
Score
260
Posts
10
Posts %
492
Score
258
Posts
10
Posts %
Top posts
View all questions and answers
78
Jan 28, 2017
60
Apr 22, 2016
42
Nov 4, 2016
39
Jan 31, 2017
39
Nov 29, 2016
37
Feb 2, 2016
37
Jun 6, 2017
37
Feb 17, 2017
Top Meta posts
23
31
Top network posts
View all network posts