ModalMetamodel's profile picture. In logic, there are no morals.

August ℤ/5ℤ

@ModalMetamodel

In logic, there are no morals.

Angepinnt

Unterlogiker: ‘In logic, there are morals.’ Überlogiker: ‘Hail Gödelian immoralism!’

ModalMetamodel's tweet image. 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.

ModalMetamodel's tweet image. 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.


I will extend this kind of algebraic research to trap music and its microgenres no matter what. 😸

ModalMetamodel's tweet image. I will extend this kind of algebraic research to trap music and its microgenres no matter what. 😸

My li’l HoTT bih don’t e’en get ‘nuffa ∞-cats, I’m on’ih ahh in ℚ(ζ₅) ry’wih Goldman Sachs, These speds ain’ provin’ no Collatz, I’m havin’ey ass collapse, Mindless how he fail his algebra class, he not James Ax, He ain’ learn no Artin stacks, yeh, he jus’ a speh wi’no racks.


Zoom in close enough and you’ll spot the 0 bands and 0 hoes he’s been hiding. 🙀🙀🙀

"everything is linear if you zoom in close enough..."



I am a 30-year-old rapper from the streets of Atlanta and ts how I proved that p ∣ Fₚ − (5/p) for a rational prime p ≠ 2, 5.

ModalMetamodel's tweet image. I am a 30-year-old rapper from the streets of Atlanta and ts how I proved that p ∣ Fₚ − (5/p) for a rational prime p ≠ 2, 5.

Ain’ no CSB in IZF, it got LEM, He a speh, yeh, his arXiv paper made by a LLM, Étale topoi at 5 AM, homology hoes next, yeh, Now she compute Ext, yeh, Write ha DPhil wit LaTeX, yeh, Put’et bih on ℤ’s Spec, Forced’et ho off’et ℵ₅ trance, Brokies got Springer books financed.

I prove hella shi, I prove like Kurt, She prove π₃(S²) ≅ ℤ, I put that HoTTie in a skirt, Them Martin-Löf hoes tryna flirt, I ain’t intuitionistic, be alert, I take a Cohen real n’ force it hard, ZFC + V = L, got a coanalytic Hamel basis of ℝ, Polytime cut-eliminatin’ Girard.



Balenci’d up when I walk out wi’no field trace, yeh, I’m puttin’ all’ese spedded-up keeds rye’up in’ey place, heh. 😽😽😽

ModalMetamodel's tweet image. Balenci’d up when I walk out wi’no field trace, yeh, I’m puttin’ all’ese spedded-up keeds rye’up in’ey place, heh. 😽😽😽

United States Trends

Loading...

Something went wrong.


Something went wrong.