미국 NW (NorthWestern) University 수학과 아카펠라이다. 사랑의 노래를 완전!! 수학적으로 표현했다 - that's the bottom line yup
진짜 노래 들으면서 너무 웃겨서 죽는줄 알았다 ㅋㅋ 같은 수학과 학생으로서 참 대단하다는 생각이 든다. 수학이라는 단어만으로도 사람들은 거부반응을 보이는데 이렇게 재밌게 은유를 할수 있다니 ㅋㅋ - 물론 수학과만 알아 듣겠지만-_-;; 암튼 나름 수학과에 대한 자부심을 갖게 해주는 노래인것 같다.
The path of love is never smooth But mine's continuous for you You're the upper bound in the chains of my heart You're my Axiom of Choice, you know it's true
But lately our relation's not so well-defined And I just can't function without you I'll prove my proposition and I'm sure you'll find We're a finite simple group of order two
I'm losing my identity I'm getting tensor every day And without loss of generality I will assume that you feel the same way
Since every time I see you, you just quotient out The faithful image that I map into But when we're one-to-one you'll see what I'm about 'Cause we're a finite simple group of order two
Our equivalence was stable, A principal love bundle sitting deep inside But then you drove a wedge between our two-forms Now everything is so complexified
When we first met, we simply connected My heart was open but too dense Our system was already directed To have a finite limit, in some sense
I'm living in the kernel of a rank-one map From my domain, its image looks so blue, 'Cause all I see are zeroes, it's a cruel trap But we're a finite simple group of order two
I'm not the smoothest operator in my class, But we're a mirror pair, me and you, So let's apply forgetful functors to the past And be a finite simple group, a finite simple group, Let's be a finite simple group of order two (Oughter: "Why not three?")
I've proved my proposition now, as you can see, So let's both be associative and free And by corollary, this shows you and I to be Purely inseparable. Q. E. D.
Finite Simple Group (of order two)
미국 NW (NorthWestern) University 수학과 아카펠라이다. 사랑의 노래를 완전!! 수학적으로 표현했다 - that's the bottom line yup
진짜 노래 들으면서 너무 웃겨서 죽는줄 알았다 ㅋㅋ 같은 수학과 학생으로서 참 대단하다는 생각이 든다. 수학이라는 단어만으로도 사람들은 거부반응을 보이는데 이렇게 재밌게 은유를 할수 있다니 ㅋㅋ - 물론 수학과만 알아 듣겠지만-_-;; 암튼 나름 수학과에 대한 자부심을 갖게 해주는 노래인것 같다.
The path of love is never smooth
But mine's continuous for you
You're the upper bound in the chains of my heart
You're my Axiom of Choice, you know it's true
But lately our relation's not so well-defined
And I just can't function without you
I'll prove my proposition and I'm sure you'll find
We're a finite simple group of order two
I'm losing my identity
I'm getting tensor every day
And without loss of generality
I will assume that you feel the same way
Since every time I see you, you just quotient out
The faithful image that I map into
But when we're one-to-one you'll see what I'm about
'Cause we're a finite simple group of order two
Our equivalence was stable,
A principal love bundle sitting deep inside
But then you drove a wedge between our two-forms
Now everything is so complexified
When we first met, we simply connected
My heart was open but too dense
Our system was already directed
To have a finite limit, in some sense
I'm living in the kernel of a rank-one map
From my domain, its image looks so blue,
'Cause all I see are zeroes, it's a cruel trap
But we're a finite simple group of order two
I'm not the smoothest operator in my class,
But we're a mirror pair, me and you,
So let's apply forgetful functors to the past
And be a finite simple group, a finite simple group,
Let's be a finite simple group of order two
(Oughter: "Why not three?")
I've proved my proposition now, as you can see,
So let's both be associative and free
And by corollary, this shows you and I to be
Purely inseparable. Q. E. D.