August ℤ/5ℤ
@ModalMetamodel
Followers
859
Following
30K
Media
743
Statuses
1K
In logic, there are no morals.
L(ℝ)
Joined October 2024
Unterlogiker: ‘In logic, there are morals.’. Überlogiker: ‘Hail Gödelian immoralism!’
Arithmetisation of syntax is usually realised through Gödel-encoding with prime factorisation, but it’s more complicated within PA. Try to think of a way to express ‘the exponent of prime p in factorisation of n is k’ as a predicate with three variables (p,n,k) in PA’s language.
5
25
93
It’s also a prolation canon, since the imitation is written in four different rhythmic speeds, which means that it’s a double canon (both prolational and retrograde). Canons like this one are really hard to compose, so I had to be somewhat flexible with the voice leading.
0
0
6
Okay, I’m going to take a short break from hip-hop musicology. Right now, I’m trying to compose a retrograde canon. The red part is the green part backwards, and there are four parts. The outer parts are the leaders, whilst the inner parts are the followers.
2
0
14
To be honest, classical harmony is mostly just the rule of the octave being applied to scalar basslines. I think that Tóbiás should’ve explicitly incorporated that into his framework here.
1
1
13
I’m taking hip-hop to new heights with Haskell.
I love this idea because it fits modern trap music’s structure. For example, a hi-hat roll is expressible as λe.[e/k;e/k;…;e/k] for fixed k ∈ ℤ⁺ (ie: given a musical event e (a hi-hat note here), return a sequence of k subevents (w/ duration 1/k of e) occupying e’s timespan).
8
9
146
I love this idea because it fits modern trap music’s structure. For example, a hi-hat roll is expressible as λe.[e/k;e/k;…;e/k] for fixed k ∈ ℤ⁺ (ie: given a musical event e (a hi-hat note here), return a sequence of k subevents (w/ duration 1/k of e) occupying e’s timespan).
8
20
151
That would require subjects to look outside the simulation in order to assess its hardware in the first place. Hence, it’s circular. ‘Well, you could just as easily say that it’s a simulation made by God.’. Positing a competing interpretation doesn’t mitigate underdetermination.
1
0
6
If a nomologically impossible event occurred, how would you rule out the possibility of a simulation? The only argument that you could make is that said anomalous events would produce certain sensory stimuli that couldn’t be technologically replicated, but that’s silly.
1
0
5
If an event of great magnitude did occur, then you’d be just as (if not more) justified in believing that you’re hooked up to a simulation, which goes to say that Biblical eschatology can’t really rule out things like simulation theory. So it carries no epistemic weight.
1
0
4
Christian evidentialists don’t realise that there’s no way to verify the Biblical narrative through eschatological events, since the conditions required for them to occur under genuine pretenses are just as plausible as those required for them to occur under deceitful pretenses.
1
1
14
It’s good to see that I’m not the only white theorist who earnestly admires rap music.
2
1
14
Hol’ up, ho, let K = ℚ(ζ₃, ∛11), no, you cannot go,.Peep this polynomial x³ + (5/4)x² − 2x − 7, we ain’t in no high school tho,.The values of that bih represent all cosets of this quotient K^×/(K^×)², yeah, my conjecture glow,.Stay in class, ho, this that BSD type shi, whoa.
0
3
23
#CartiCommutativity .We algebraists, bruh,.Yuh (hello?),.I got [α] : coker f → coker g, go (hello?).What? What? Uh (hom, hom), huh? (hom, hom),.I think this square tryna tell me sumthin’ (what?),.I came in with H : ℤᵇ → ℤᶜ runnin’ (huh?),.And if gH = α, [α] = nothin’ (Yuh).
0
0
15
Conjecture (ZF + AD): For any Turing-invariant map f : 2^ℕ → ω₁, either f is eventually constant or there exists a club C ⊆ ω₁ such that α = sup{f(x) : x ∈ 2^ℕ, f(x) < α} and α = sup{ω₁ˣ : x ∈ 2^ℕ, ω₁ˣ < α} for every α ∈ C, where ω₁ˣ is the least admissible over x.
2
0
18
We’re examining ℤ[ζ]’s prime ideals today. Here, ζ is a primitive fifth root of unity (we STAY with the Five5s). If p = 5, then p ramifies. If p ≡ −1 (mod 5), then p splits into two primes. If p ≡ 2 or 3 (mod 5), then p stays inert. If p ≡ 1 (mod 5), then p fully splits.
0
0
19
But that ho think she can trap in Gal(ℚ(√5, i)/ℚ).
But i keep a bad bitch like 5 x 2.
0
0
8