My "chosen" map is also not exactly what you want because it need a restriction $\alpha \leq 2\pi$, i.e. you're not allowed to plug equivalent descriptions of the same rotation into it, you need a particular one
@0celo7 you would usually have that $\alpha = 0$ and $\alpha = 2\pi$ give the same result, but $\alpha = 2\pi$ gives -1.
That's what physicists stupidly describe as "a full rotation turns the electron around/you need two full rotations to return a spinor to its original state"
@BernardoMeurer the aaronson work is great but dont understand any assertion that it is evidence for/ against ZFC consistency. its just a reformulation of ZFC consistency into TM halting problem. it is cool that people are seemingly taking this more seriously these days, however its a concept that has been discussed for awhile in CS/ math circles. re connection between TM halting problem & thm proving see esp [d10][d11] here vzn1.wordpress.com/2016/01/22/…
@vzn From what I understand his recent work has very little to do with the halting problem. It's more on the lines of the previously done work on testing Goldbach conjecture by building a TM with minimal states and attempting to find the BB of the number of states to see if the Goldbach verifier halts
@BernardoMeurer lol its essentially the applied halting problem and it shows that very deep problems can be reduced to "fairly small" TMs in terms of the state table size. all this has been known "in theory" but CS theorists have been evasive in actually constructing the TMs so far, thinking it a not-worthwhile exercise. Calude has a great paper on this as cited.
@BernardoMeurer just just stick around will teach you the rest of (T)CS in the chat room :P seriously you can take plenty of CS classes while youre in school, never too late, and CS is one of the best subjs around to learn independently. =D what do you mean "engineering is a meme"?
@BernardoMeurer a few classes per semester can make a big difference. agreed 1st/2nd years feel really rigid/ "locked in". ofc taking highschool college courses certainly helps a lot... :)
@0celo7 It's the second group cohomology. My definition seems convoluted because I constructed it "by hand", it's the equivalent to Cech cohomology, you wouldn't think that's a natural object to consider for topological spaces, either
@BalarkaSen No, I meant that my definition of group cohomology there is as unenlightening as if you would define usual cohomology by Cech without any further motivation
@0celo7 It's kinda complicated. If $G$ is a group it's classifying space $BG$ is defined to be base of a principal $G$-bundle with contractible total space I believe
@vzn Dude, the problem has nothing to do with turing machines, I know how they work, I learned it off of a free Cornell thing. That was just to illustrate a point.
@BernardoMeurer yeah you youngsters are sometimes fixated on the idea that schools/ teachers/ classrooms/ textbooks are the way learning happens... even in 21st century cyberspace era... :P
@0celo7 Given the difficulty of my calc course, and assuming it holds for all the other courses I take, how much time do you think I have left for studying other subjects? (@vzn Watch his answer)
@BernardoMeurer dude we had this conversation before you started school... have no idea what youre on about. pre-quarterlife/ identity crisis? you dont wanna twiddle with math eqns all day like 0celo7 and ACM do you? ACM still cant even think of a thesis topic :P
@0celo7 It means exactly what I said. There's no hidden meaning there; just saying that you seem to be the only two people paying attention to the otherwise unremarkable appearence of another user in chat
@ACuriousMind lol, you can surely understand why they might be a tiny bit )( paranoid :P ... & just because they arent doesnt mean nobodys out to get them :P
Agents also investigated the possibility that both killings were masterminded by members of Compton's Southside Crips gang. Both Death Row and Bad Boy were known to use gang members as security.