Chinjut

33 ms·

421.
by Chinjut 9y ago
Everything you say after your first paragraph is correct (presuming people always answer questions with "Yes" or "No" honestly), but… No one said anything about "Mr. Jones has told you…", here. There was nothin
422.
by Chinjut 9y ago
Your problem is that you are thinking there's a "the boy". But there's not a "the boy". Mr. Jones could have two boys. He could have two boys both born on Tuesday, even. The term "the boy" does not de
423.
by Chinjut 9y ago
It's unlikely for $0 pre-basic income and $X post-basic income to have the same value. The former is, well, nothing, and the latter is, well, something.
424.
by Chinjut 9y ago
This doesn't produce three equal angles. Indeed, the angles it produces are completely dependent upon the orientation of the line you pick to intersect the angle's rays with. But even using a line intersecting both rays of the ang
425.
by Chinjut 9y ago
Hm, that doesn't work for me. (To be clear, I'm using the JavaScript version of the game, in case it matters.)
426.
by Chinjut 9y ago
This is a silly question, but: some of these games have right-click actions, which I find I cannot perform on a Mac OS X system by holding Control and clicking. Is there some other way I should be trying to right-click?
427.
by Chinjut 10y ago
Haha, uh, that would be… one bizarre way to go about things. Nah, I'd rather have the truth, yet work to nonetheless have people be good. Many heroes are flawed; let's emulate their positive qualities, and avoid their negative one
428.
by Chinjut 10y ago
I guess it's possible that Asian cultures are less likely to treat depression as an illness in the same way, but, let me tell you… I am of Asian descent and depression is very familiar to me, not just in me but in Asians around me. Asi
429.
by Chinjut 10y ago
This sounds awful. Work to live, don't live to work, etc.
430.
by Chinjut 10y ago
Huh?
431.
by Chinjut 10y ago
Yes! Turing didn't invent the computer. Turing is not the father of computers. Turing was a good mathematician, but only a minor figure in the historical invention of the electronic computer. Most of the people building most of the ear
432.
by Chinjut 10y ago
If you were in a software engineering uni program, then you were around well after the timescale the OP is talking about, I believe; I think their claim is more to the often-promulgated idea that Turing was a major figure in the development
433.
by Chinjut 10y ago
Well, no, the point isn't that simple propositions may have complex proofs, the point is that a proof may itself be simple, though hard to discover in the first place.
434.
by Chinjut 10y ago
To be clear, this is presuming a (multidimensional) bell curve distribution for dart throws, or weights and heights, or for whatever. Let us be clear that the GCI is specifically about bell curve (i.e., normal, Gaussian, etc.) distributions
435.
by Chinjut 10y ago
When finally science unlocks the secret of immortality, they'll raise the retirement age correspondingly…
436.
by Chinjut 10y ago
Discipline is precisely the thing which shouldn't be required to avoid disaster, if a language is to be well-designed (this is a feature of good design in general).
437.
by Chinjut 10y ago
Well, pen and paper is a memory device; the actual computing was carried out by human brains. But, yes, human brains have been successful for much longer than 50 years, and still enjoy success in many domains…
438.
by Chinjut 10y ago
Do lists have special status beyond syntactic sugar for their constructors?
439.
by Chinjut 10y ago
Best case, worst case, it's all case-insensitive…
440.
by Chinjut 10y ago
One slight correction: for Field, the commutative group structure of multiplication should be on S\{0}, not on all of S.
441.
by Chinjut 10y ago
Who pays for healthcare now? Why would it be harder to support in a cheaper system like single payer?
442.
by Chinjut 10y ago
If I understand what you're saying, I don't think reading speeds are anywhere near consistent enough to plan out such a thing.
443.
by Chinjut 10y ago
There is a frequent pattern which concerns me of primarily justifying the desire for reduced work hours in terms of the alleged increase in productivity this will bring about (by allowing recharging, preventing burnout, etc.). I worry that
444.
by Chinjut 10y ago
The difference between ZF with and without C doesn't only emerge with uncountable sets, in any significant sense; even, say, the question of whether every countable set of two-element sets has a choice function depends on Choice. This
445.
by Chinjut 10y ago
Not everyone who says "(formal) set theory" means ZF by default. After all, many mean ZFC; probably moreso than mean ZF simpliciter. And some mean ZFC + various large cardinal axioms. Others go the other way, intending only Zermel
446.
by Chinjut 10y ago
Well, some fruits are sort of named after colors. "blueberry", "blackberry", "Red Delicious", etc. But point taken.
447.
by Chinjut 10y ago
Hm, this seems like just ordinary pronunciation corruption of the kind which happens a million times to a million words, not reflecting any actual mistaken interpretation as in taking "cherise" as the plural of a hypothetical &quo
448.
by Chinjut 10y ago
I think it's worth distinguishing "constructive vs. non-constructive" and "ZF style vs. type theory" as different axes, which I think are getting conflated a bit here; you can have type theory style formal systems t
449.
by Chinjut 10y ago
I concur.
450.
by Chinjut 10y ago
Sets of things are somewhat different from transfinitely iterated sets of sets of sets of sets, though… (I'll call these ZF-sets). Discrete sets of atomic objects are in fact (special) weak omega-groupoids and aren't ZF-sets. (In

More ›