Search found 81 matches

by Black
Thu Feb 02, 2012 8:02 pm UTC
Forum: Mathematics
Topic: Lambda Calculus Book
Replies: 4
Views: 1520

Re: Lambda Calculus Book

Barendregt's text, I think, is considered the classic authoritative text on untyped lambda calculus. Benjamin Pierce's Types and Programming Languages is a very accessible introduction to typed lambda calculi. Do you mean the paper entitled: Introduction to Lambda Calculus by Henk Barendregt and Er...
by Black
Thu Feb 02, 2012 3:28 am UTC
Forum: Mathematics
Topic: Lambda Calculus Book
Replies: 4
Views: 1520

Re: Lambda Calculus Book

Barendregt's text, I think, is considered the classic authoritative text on untyped lambda calculus.

Benjamin Pierce's Types and Programming Languages is a very accessible introduction to typed lambda calculi.
by Black
Sun Nov 28, 2010 8:57 am UTC
Forum: News & Articles
Topic: Man sues restaurant after eating entire artichoke
Replies: 80
Views: 8127

Re: Man sues restaurant after eating entire artichoke

Perish the thought. If a human being makes a bad judgement, it must mean they are inferior to me. I have never had a severe error in judgement. I am perfect and immune to the well-catalogued menagerie of psychological effects that can make a person act really stupid for brief periods of time. I am n...
by Black
Sun Nov 28, 2010 7:05 am UTC
Forum: News & Articles
Topic: LHC generates a 'mini-Big Bang'
Replies: 21
Views: 3909

Re: LHC generates a 'mini-Big Bang'

3) Is there some super-strong force of attraction between quarks? Yes, and physicists, in our remarkable linguistic perspicacity, call it the strong force. It's really hard to break down hadrons into their constituent quarks, and study the constituent quarks, or study these quark-gluon plasmas that...
by Black
Fri Nov 26, 2010 7:49 pm UTC
Forum: News & Articles
Topic: Man sues restaurant after eating entire artichoke
Replies: 80
Views: 8127

Re: Man sues restaurant after eating entire artichoke

Internet forums are the best judge of character.
by Black
Thu Nov 18, 2010 11:26 pm UTC
Forum: Mathematics
Topic: Have You Been Taught Things Which Aren't True?
Replies: 97
Views: 16512

Re: Have You Been Taught Things Which Aren't True?

Some of these examples are either incomplete truths, or approximate truths. I don't think it is fair to consider these lies.
by Black
Fri Oct 22, 2010 1:47 pm UTC
Forum: Mathematics
Topic: I join the blagosphere
Replies: 28
Views: 2947

Re: I join the blagosphere

Structuralism is awesome. Constructing models is good to show that your structure makes sense. We assume that set theory is consistent. So, if you construct the reals in set theory by any one of the many constructions then you know it makes sense: the theory is consistent relative to your mathematic...
by Black
Thu Oct 21, 2010 10:22 pm UTC
Forum: Mathematics
Topic: Yo momma's so nerdy...
Replies: 40
Views: 7268

Re: Yo momma's so nerdy...

Yo momma's so fat, she's not even locally compact.
by Black
Wed Oct 20, 2010 12:33 am UTC
Forum: Mathematics
Topic: A Question On Natural Transformations
Replies: 2
Views: 875

A Question On Natural Transformations

I understand what Natural Transformations are fairly well. Or, at the very least, I have internalized their definition enough to use it. My interpretation is that a natural transformation is a 'generic' homomorphism of structures specified by functors. It is generic in the sense that it is invariant...
by Black
Sat Oct 16, 2010 12:34 am UTC
Forum: Mathematics
Topic: Opinion: Is ZFC Consistent?
Replies: 12
Views: 2273

Re: Opinion: Is ZFC Consistent?

Regularity and replacement really aren't needed for most mathematics. ZFC is an excellent basis for the investigation of infinity, and it admirably serves as a system for making models of other mathematical theories, but it is kind of inelegant for anyone who isn't a set theorist. I can list the axi...
by Black
Fri Oct 15, 2010 2:49 am UTC
Forum: Mathematics
Topic: Opinion: Is ZFC Consistent?
Replies: 12
Views: 2273

Re: Opinion: Is ZFC Consistent?

I am 100% sure ZFC is consistent because I am very comfortable with the existence of a strongly inaccessible cardinal. I am sure of this because \omega is a strongly inaccessible cardinal if you relax the condition of uncountability. If I can accept the existence of \omega , surely I can accept the ...
by Black
Mon Oct 11, 2010 10:18 pm UTC
Forum: Mathematics
Topic: Ways of expressing the Axiom of Induction
Replies: 5
Views: 1660

Re: Ways of expressing the Axiom of Induction

I?m not used to the topic, the difference seems tiny, since Second order logic would have been : k\textrm{ ancestor of }m if \exists S\in\{successor functions\} , with m=S(k) If we index the S functions by S(i), and run over the i, this would have been first-order logic ? Linked to this I h...
by Black
Tue Oct 05, 2010 10:01 pm UTC
Forum: Mathematics
Topic: Number of graph isomorphism classes
Replies: 9
Views: 3530

Re: Number of graph isomorphism classes

I don't see how that is an answer in any satisfactory way. Did you look down to the sections labeled "formula" and "crossrefs"? They give connections with other sequences and formulas which give asymptotics (unfortunately the formulas aren't exact, but that likely indicates ther...
by Black
Sun Oct 03, 2010 8:05 pm UTC
Forum: Mathematics
Topic: Number of graph isomorphism classes
Replies: 9
Views: 3530

Re: Number of graph isomorphism classes

I don't see how that is an answer in any satisfactory way.
by Black
Sun Oct 03, 2010 1:53 am UTC
Forum: Mathematics
Topic: Finding an English translation of a math paper...
Replies: 7
Views: 1746

Re: Finding an English translation of a math paper...

Translating any technical writing from German that is more than a few decades old is an arduous task. Even for native speakers ;)
by Black
Wed Sep 08, 2010 4:13 pm UTC
Forum: Individual XKCD Comic Threads
Topic: 0790: "Control"
Replies: 57
Views: 16756

Re: "Control" discussion (#790)

The hobby comics were funnier when they were things you could actually do.

Like the ass-hyphen one.
by Black
Fri Aug 13, 2010 4:02 am UTC
Forum: Individual XKCD Comic Threads
Topic: 0779: "Anxiety"
Replies: 113
Views: 68396

Re: "Anxiety" discussion (#779)

What. :|
by Black
Wed Aug 11, 2010 8:09 pm UTC
Forum: Individual XKCD Comic Threads
Topic: 0774: "Atheists"
Replies: 1042
Views: 188615

Re: "Atheists" discussion (#774)

And if the past isn't determined because of entropy, then the future is equally indeterminate because of entropy, and so God can't know the future any more than the past. In other words, you still seem to be making a compromise on the possibility of omniscience, when I thought the idea was to recon...
by Black
Wed Aug 11, 2010 7:04 pm UTC
Forum: Individual XKCD Comic Threads
Topic: 0778: "Scheduling"
Replies: 159
Views: 47331

Re: "Scheduling" discussion (#778)

(Fairly obvious porn set-up) Comments: Hey, that's not how you hold up a pizza box! (Continuation of porn) Comments: And that maid's uniform doesn't look realistic at all! (MORE PORN) Comments: And that's not even how you play Agricola... I dunno, it was funny to me. Maybe you guys should watch mor...
by Black
Wed Aug 11, 2010 3:39 pm UTC
Forum: Individual XKCD Comic Threads
Topic: 0778: "Scheduling"
Replies: 159
Views: 47331

Re: "Scheduling" discussion (#778)

cream wobbly, you are right in that I didn't get it at all.

Because it doesn't make any fucking sense.

Continue to defend it though, you're doing great.
by Black
Wed Aug 11, 2010 4:25 am UTC
Forum: Individual XKCD Comic Threads
Topic: 0778: "Scheduling"
Replies: 159
Views: 47331

Re: "Scheduling" discussion (#778)

I'm calling it on a certain post on a certain blog in a certain few days. Confusing set up, token nerd reference (agricola is a good game, by the way), unnatural and confusing dialogue (in some panels it is difficult to follow who is talking), the maid looks like she is wearing feather dusters. (Sup...
by Black
Wed Aug 11, 2010 2:10 am UTC
Forum: Science
Topic: Defining microstates and macrostates re: entropy
Replies: 7
Views: 2832

Re: Defining microstates and macrostates re: entropy

Let's say that I give you the volume, pressure, mass and temperature of a gas in a container. Then it makes sense to talk about its entropy. Entropy is the measure of how many different ensembles of gas fit the parameters I give you. Entropy is with respect to a set of macroscopic parameters, yes. I...
by Black
Wed Aug 11, 2010 1:19 am UTC
Forum: Individual XKCD Comic Threads
Topic: 0774: "Atheists"
Replies: 1042
Views: 188615

Re: "Atheists" discussion (#774)

What I meant was that: Entropy is a measure of the uncertainty in the state of a physical system. Uncertainty undermines your ability to make accurate predictions of the future and it also undermines your ability to make accurate predictions of the past. So, entropy works both ways, although in thin...
by Black
Wed Aug 11, 2010 1:05 am UTC
Forum: News & Articles
Topic: Rape accused to be given anonymity in UK
Replies: 221
Views: 24813

Re: Rape accused to be given anonymity in UK

Ok, so if this law comes into effect, then less rapes will be reported. This I am willing to accept on faith, because I do not see a link to any scientific source to corroborate this claim, only quotes from the police. So the law hurts prosecution, why? I am going to guess because it makes rape vict...
by Black
Wed Aug 11, 2010 12:02 am UTC
Forum: Individual XKCD Comic Threads
Topic: 0774: "Atheists"
Replies: 1042
Views: 188615

Re: "Atheists" discussion (#774)

Being able to deduce things about the past from present information is not the same as the past being *determined* by present information alone. Most or all of us believe that the past is static. It happened. It's rigid and completed and determined. But the future isn't any of those things, and tha...
by Black
Mon Aug 09, 2010 5:10 am UTC
Forum: News & Articles
Topic: Man to lose inheritance to mother of child that isn't his
Replies: 199
Views: 21289

Re: Man to lose inheritance to mother of child that isn't hi

There are two lessons in this thread. The first is that, if you want to be treated fairly and justly by the law, you must cooperate with the law we all are bound by with by virtue of being citizens of this country. The second is that, if you want to argue your opinion on the Internet, it is ok to cr...
by Black
Sat Jul 31, 2010 3:14 pm UTC
Forum: Individual XKCD Comic Threads
Topic: 0764: "One Two"
Replies: 348
Views: 74011

Re: "One Two" Discussion

This is how you make fun of anthropologists (SMBC): http://zs1.smbc-comics.com/comics/20090408.gif The delivery of this joke is good, and the actual content of the joke itself is unoffensive regardless the context. "Anthropologists take risks interacting with potentially hostile cultures in ord...
by Black
Mon Jul 12, 2010 5:06 pm UTC
Forum: News & Articles
Topic: Bioethics: Discouraging female homosexuality at the womb
Replies: 250
Views: 22905

Re: Bioethics: Discouraging female homosexuality at the womb

Put it this way: it is immoral if a parent chooses a heterosexual child because they are prejudiced against homosexuals. However, although we can reasonably assume that many people who choose heterosexual offspring will have that intent, there's no way to know specifically what each parent was thin...
by Black
Mon Jul 12, 2010 6:16 am UTC
Forum: News & Articles
Topic: Bioethics: Discouraging female homosexuality at the womb
Replies: 250
Views: 22905

Re: Bioethics: Discouraging female homosexuality at the womb

By the by? The near constant "Why would it matter if homosexuals stopped existing? Would it really be THAT big of a deal?" coming out of this thread? That's not going to help make us queers feel better about the possibility of this being abused. If a group of otherwise queer friendly (I a...
by Black
Mon Jul 12, 2010 6:02 am UTC
Forum: News & Articles
Topic: Bioethics: Discouraging female homosexuality at the womb
Replies: 250
Views: 22905

Re: Bioethics: Discouraging female homosexuality at the womb

The question is, since the fact that society is unjust to homosexuals, is it right or wrong for an implicit decision to have a heterosexual child? Again, my main contention is not outright disagreement, but puzzlement. It is a strange sort of action-at-a-distance where someone else's unjust, unethi...
by Black
Mon Jul 12, 2010 5:21 am UTC
Forum: News & Articles
Topic: Bioethics: Discouraging female homosexuality at the womb
Replies: 250
Views: 22905

Re: Bioethics: Discouraging female homosexuality at the womb

Would you find it strange if a mother had the right to terminate a pregnancy, but not to keep it while maintaining a heavy alcohol consumption? A mother who did that would bring a child into the world who would have to bear intense suffering for the rest of their lives, while terminating a pregnanc...
by Black
Mon Jul 12, 2010 4:34 am UTC
Forum: Individual XKCD Comic Threads
Topic: 0765: "Dilution"
Replies: 211
Views: 51718

Re: "Dilution" Discussion

baltakatei wrote:I'm more concerned with the fact that she said "we'll get pregnant".


It's a common colloquialism.
by Black
Mon Jul 12, 2010 3:47 am UTC
Forum: Individual XKCD Comic Threads
Topic: 0765: "Dilution"
Replies: 211
Views: 51718

Re: "Homeopathy" Discussion

... yes?
by Black
Mon Jul 12, 2010 2:16 am UTC
Forum: News & Articles
Topic: Bioethics: Discouraging female homosexuality at the womb
Replies: 250
Views: 22905

Re: Bioethics: Discouraging female homosexuality at the womb

Nordic Einar, do you believe that a mother has the right to terminate a pregnancy? Now, if you don't then I am fine with your position. But I would find it strange if a fetus had the right to not have its mental development influenced, but not the right to be carried to term! As for a hypothetical t...
by Black
Mon Jul 12, 2010 1:52 am UTC
Forum: News & Articles
Topic: Bioethics: Discouraging female homosexuality at the womb
Replies: 250
Views: 22905

Re: Bioethics: Discouraging female homosexuality at the womb

Suppose there are two planets on which humans live. They both have the same technology, and there is regular travel and communication between them. On one planet, mothers are allowed to influence the mental development of their children (never to create handicap) via drugs. This includes the orienta...
by Black
Mon Jul 12, 2010 1:17 am UTC
Forum: Individual XKCD Comic Threads
Topic: 0764: "One Two"
Replies: 348
Views: 74011

Re: "One Two" Discussion

[quote]I agree, and I suspect that the "Zing!" was added because he spotted it afterward. SirMustapha's competing theory is that Randall wanted to hurt social scientists but decided to soften the blow after-the-fact for no apparent reason.[quote] Well, I think he's saying that the author a...
by Black
Mon Jul 12, 2010 12:06 am UTC
Forum: News & Articles
Topic: Women of the Daily Show speak
Replies: 261
Views: 28216

Re: Women of the Daily Show speak

But this is where the rubber meets the road. How the criteria are decided is integral to the operation of your model. Even if you say that they don't have any mention of gender, you can still end up with a sexist outcome. Say you've got two candidates, one a man and one a woman, both equally qualif...
by Black
Sun Jul 11, 2010 11:12 pm UTC
Forum: News & Articles
Topic: Women of the Daily Show speak
Replies: 261
Views: 28216

Re: Women of the Daily Show speak

I don't want to touch that because whether or not a given criterion is sexist depends on how it is justified. And justification isn't trivial to reason about. For the sake of simplicity, assume the set of criteria under consideration make no mention of sex.
by Black
Sun Jul 11, 2010 10:22 pm UTC
Forum: News & Articles
Topic: Women of the Daily Show speak
Replies: 261
Views: 28216

Re: Women of the Daily Show speak

But not all aspects of an economy that is net carbon emitting produce net carbon emissions. I am from the United States, so I am part of one of the most carbon intense economies on the planet. But if someone else spends most of their time planting trees, say as part of a charity, and is incredibly c...
by Black
Sun Jul 11, 2010 10:04 pm UTC
Forum: Individual XKCD Comic Threads
Topic: 0764: "One Two"
Replies: 348
Views: 74011

Re: "One Two" Discussion

It's quite reasonable to claim that Randall takes his business seriously, that he puts serious thought into how he runs it, and that includes the comic. It's his sole means of making money, and pretty much everyone takes their living seriously in that sense. But you can make a comment "serious...

Go to advanced search