lavalamp comments on PSA: Learn to code - Less Wrong

34 Post author: John_Maxwell_IV 25 May 2012 06:50PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (77)

You are viewing a single comment's thread.

Comment author: lavalamp 26 May 2012 02:26:51PM 3 points [-]

Like nothing else, coding forces you to identify flaws in your thinking. If your thinking is flawed, your program won't work, except by accident. There's no other discipline quite like this. If you're a mathematician or physicist and you solve a problem wrong, your paper won't tell you. Computer programmers have to measure their thinking against the gold standard of correctness constantly. The process of uncovering and fixing flaws in a program, usually called "debugging", typically takes up the majority of the time spent on software projects.

I agree with the above, but I've also noticed that software engineers don't seem to be more rational than average. E.g., my coworker repeats to himself "there's always a reason" while debugging and at lunch says truth is relative...

Comment author: Dreaded_Anomaly 27 May 2012 04:28:56PM 0 points [-]
Comment author: private_messaging 29 May 2012 07:25:32AM *  0 points [-]

The rationalists don't seem to be more rational than average, either. Also, what's wrong with 'there's always a reason' when debugging?

With the truth being relative, who knows what he meant, the issue is that symbols aren't grounded in math (which is where people tend to consider the truest truths to be) so it isn't really absolute in any meaningful sense, and is an argument over semantics anyway.

Comment author: Nornagest 29 May 2012 08:14:39AM *  2 points [-]

I read that as a contrast: "there's always a reason" as reductionist thinking, "truth is relative" as anti-reductionist.

Truthfully the two aren't incompatible at all; anti-reductionists tend to think of formal systems (like programming languages) as a limited magisterium within a vastly less explicable universe, which is what gives us statements like "you can't program a soul". Wouldn't make too much sense to take a hard line against AI if mathematics contained the same magic that people allegedly possess.

Of course, even that gets muddled some by typical abuses of Gödel and Heisenberg, but that's another post entirely...

Comment author: private_messaging 29 May 2012 10:39:48AM *  -1 points [-]

There is also the irrational/sloppy reductionism where you mistakenly believe that something irreducible is reducible rather than illusionary. E.g. you can believe in some absolute truth, because you feel that there is absolute truth, and you are 'reductionist' as in ideology, and so have to believe that absolute truth is reducible (belief in a verbal statement). Whereas a reductionist may think whenever absolute truth can be reduced to something more basic, and see no way of doing that, and thus declare truth relative and illusionary (so that the only the feeling of absolute truth is reducible to interactions between neurons). edit: and an anti-reductionist would take the feeling that there is absolute truth, proclaim that there really is absolute truth, see no way to reduce absolute truth to anything more basic, and then proclaim that reductionism is false.

Ultimately two latter things are the only internally sound approaches, while first is not coherent.

edit: actually, it's best reworded with soul example. Reductionist feels that he has soul, doesn't see a way to reduce soul to e.g. elementary math (and sees impossibility of such reduction), and claims that feeling of soul is some sort of illusion (and seeks a way to reduce the feeling of soul). That is internally consistent.

The anti-reductionist feels that he has soul, proclaims that soul really exists, doesn't see a way to reduce soul to e.g. elementary math, doesn't buy into the feeling being an illusion, proclaims that reductionism is false and the soul is out of this world or something. This is also internally consistent.

The incoherent reductionist feels that he has soul, proclaims that soul really exists, proclaims that soul absolutely must be reducible to elementary math (while not really having reduced it to elementary math or even seen any way to), and doesn't notice that it would suffice to reduce the feeling of soul. That is just sloppy.