Simply Beautiful Art
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:
or on Discord.
My favorite topics include numerical-methods, sequences-and-series, calculus, big-numbers, divergent-series, summation, and special-functions on math.SE.
Some of my favorite posts:
Golf a number bigger than TREE(3)
Methods to compute $\sum_{k=1}^nk^p$ without Faulhaber's formula
-
America
-
Member for 3 years, 10 months
-
3 profile views
-
Last seen Oct 14 '17 at 22:03
Communities (30)
- Mathematics 69.4k 69.4k 99 gold badges9999 silver badges224224 bronze badges
- Code Golf 2.2k 2.2k 1414 silver badges3232 bronze badges
- Mathematics Educators 1.5k 1.5k 11 gold badge1212 silver badges2222 bronze badges
- Physics 621 621 55 silver badges1515 bronze badges
- Puzzling 264 264 22 silver badges1010 bronze badges
- View network profile
Top network posts
- 70 Why isn't $\int \frac{1}{x}~dx = \frac{x^0}{0}$?
- 47 Visually stunning math concepts which are easy to explain
- 42 Is there something similar to Gödel's incompleteness theorems in physics?
- 41 What's the name of the following method for dividing polynomials? It's not long-division nor synthetic division
- 39 A new interesting pattern to $i\uparrow\uparrow n$ that looks cool (and $z\uparrow\uparrow x$ for $z\in\mathbb C,x\in\mathbb R$)
- 38 Golf a number bigger than TREE(3)
- 37 Why do we teach complex numbers?
- View more network posts →