« first day (2276 days earlier)      last day (3040 days later) » 
00:00 - 05:0005:00 - 20:0020:00 - 23:0023:00 - 00:00

Balarka Sen
Balarka Sen
23:00
it's the double cover of O(2).
Akiva Weinberger
Akiva Weinberger
Ah.
Wait. So, is "Spin" called that because of the English word spin, and then "Pin" called that because it's spin without an s?
Mike Miller
Mike Miller
yes
Akiva Weinberger
Akiva Weinberger
If so, that just amounts to a bad pun
Mike Miller
Mike Miller
disagree - it makes the origin and relation obvious
Akiva Weinberger
Akiva Weinberger
What would we have done had spin not begun with an s
${\rm S^{-1}Turn}(n)$
Mike Miller
Mike Miller
23:04
who cares? the notation actually worked well in this setting; that it wouldn't in an alternate universe isn't important
Balarka Sen
Balarka Sen
it's a nice question to keep the mathematico-philosophers pondering though
arctic tern
arctic tern
legend has it "pinor" is a french dirty pun too
0celo7
0celo7
user image
@AkivaWeinberger related
Repalce "Ben Frankin" with "dude who invented the word spin," and "EE" with "math nerd"
Ted Shifrin
Ted Shifrin
23:19
Hi, DogAteMy :)
Tern, pretty close to one, yes.
Adeek
Adeek
hi @TedShifrin
Ted Shifrin
Ted Shifrin
hi Karim. Sorry about your exam. But move forward.
Adeek
Adeek
Yeah. I have to study functional analysis.
Pedro Tamaroff
Pedro Tamaroff
23:32
@BalarkaSen Usually I'd say a big number like "I've already told you 38000 times to do X", because I like number 38. Or say "I've told you this for the n-th time!"
PVAL-inactive
PVAL-inactive
23:43
@Mike On Pin: "The name was introduced in (Atiyah, Bott & Shapiro 1964, page 3, line 17), where they state "This joke is due to J-P. Serre"."
00:00 - 05:0005:00 - 20:0020:00 - 23:0023:00 - 00:00

« first day (2276 days earlier)      last day (3040 days later) »