Chinjut

75 ms·

841.
by Chinjut 12y ago
"Galois"
842.
by Chinjut 12y ago
This seems to support the original comment that "what people actually mean when they say this is 'go work in technology or engineering'."
843.
by Chinjut 12y ago
My apologies; I don't know how I missed that. This obviates my original comment.
844.
by Chinjut 12y ago
Of note: The definition given of propositional implication is in terms of classical Boolean logic, but, though I don't know much about Swift, it seems likely from the discussion that its inhabitable types correspond to the theorems of
845.
by Chinjut 12y ago
That's one thing "begs the question" was at one point used to mean. "begs the question" has also often been used to mean "begs for the question to be asked", which seems perfectly reasonable to me. Your ow
846.
by Chinjut 12y ago
Everyone's knowledge is at some layer of abstraction. Very few people know all the details of every field connected to every other field. There's no reason the person who understands the details of band bending, the person who und
847.
by Chinjut 12y ago
Prestige should accumulate to anyone who does good work, of whatever kind. Stable software libraries can help science as much as producing papers (if nothing else, because of their effect on future production of papers!).
848.
by Chinjut 12y ago
Why should words you've never heard of reek of anything to you? You've never heard of them; you have no idea what they mean!
849.
by Chinjut 12y ago
That's funny. Whenever I hear from people that are "bearish" on contraception, the sexual revolution, etc., I become a little disheartened to think how many people even today have such a dim view of sex and their own human na
850.
by Chinjut 12y ago
"I love my cigar, too, but I take it out of my mouth once in a while."
851.
by Chinjut 12y ago
The problem of interest to the OP is not determining the truth value of sentences in Presburger arithmetic (that is, sentences using addition, equations/inequalities, Boolean operations, and the quantifiers "There exists an intege
852.
by Chinjut 12y ago
Yes, it was a commercially sold game which William Rowan Hamilton attempted to popularize, and yes, it was a flop in part because it was so very easy to find a solution by random messing around.
853.
by Chinjut 12y ago
An unconditional basic income funded by income taxation amounts to the same thing as a negative income tax (i.e., an income tax system with the possibility of negative taxation). The two are precisely equivalent.
854.
by Chinjut 12y ago
I absolutely think it's instructive to view the LCM as a specific case of meets in a semilattice, and in turn to view these as specialization of a general theory of categorical products. (Why wouldn't it be instructive? If you lik
855.
by Chinjut 12y ago
Category theory is about categories,. One notion which makes sense in the context of a category is the categorical product ( http://en.wikipedia.org/wiki/Product_%28category_theory%29 ). All the examples given are exampl
856.
by Chinjut 12y ago
A few centuries is a long-ass time; far too long for such cocky predictions to be taken seriously. (And millenia? Jesus...)
857.
by Chinjut 12y ago
"This implies that they can't prove they did or didn't do it, because nobody under NK government control was involved." The only way to prove they didn't do it would be by having someone under their control involved
858.
by Chinjut 12y ago
Ah, that makes sense. Thanks!
859.
by Chinjut 12y ago
So apparently it is possible to get an accurate result count (for up to 1 million results) using "rc = 1"? Does anyone have an examples illustrating this behavior (I can't seem to contrive one where it makes a difference)?
860.
by Chinjut 12y ago
More fully: "Contrary to claims appearing on the internet, Professor Grimm’s work was not under formal review nor had he been given any notice of dismissal. It is standard practice at Imperial to conduct both informal and formal perfor
861.
by Chinjut 12y ago
"there are no non-fields for which every nonzero element is a power of a fixed nonzero nonunit element". There are enough qualifiers here to go quite a bit further: Not only are there no non-fields of this sort, but, in fact, ther
862.
by Chinjut 12y ago
Yes, I think what you're saying in your third paragraph is what I was trying to say in my second paragraph. And I agree that the article could stand to be much clearer on its motivations. Re: the integers mod 7, I had a brainfart; of c
863.
by Chinjut 12y ago
Being a UFD in general is not enough, but being a UFD in which 2, 3, and 5 are (co)prime is certainly sufficient for incommensurability of 3/2, 2, and 5/4 in the relevant sense. I agree that it's rather odd to start discussin
864.
by Chinjut 12y ago
"incommensurable" is apparently being used in the sense that their logarithms are not in rational ratios (so no common step size generates them all in the relevant way). The connection to UFDs is that one way of seeing the incomme
865.
by Chinjut 12y ago
Is that really lazy? It's exactly the sort of name I can imagine cheeky scientists coming up with, perhaps starting off jokey but eventually losing all such connotation and simply becoming standard. Are names such as "strange quar
866.
by Chinjut 12y ago
I don't understand what distinction you are drawing here. The examples provided of Linus Torvalds' uncivil behavior seem like textbook meanness to me.
867.
by Chinjut 12y ago
Huh? What do you mean?
868.
by Chinjut 12y ago
Not, I think, that politicians are the richest people in modern society. But, my brain went for a similar interpretation at first as well: what if economic structures were somehow redesigned so that money gravitated towards different activi
869.
by Chinjut 12y ago
They are guarding themselves against charges that they have claimed something which they haven't (to have proven that NP = P in the standard Turing machine context, and thus earnt the accolades which would accompany the resolution of t
870.
by Chinjut 12y ago
Broom? Isn't it called a rake?

More ›