Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> No. A group of 4 socks is not a computational system. That's just MEMORY. Same with iron bars. It doesn't compute on it's own because it's not a full computer.

Agreed; that was a rather throwaway rhetorical remark. But if you concede that four socks can be a memory, then it's not a huge jump to see that a bunch of arbitrary objects can in principle compose a computer.

My contention is that whether that arrangement of objects is in fact a computer is subjective; it depends on whether anyone conceives of it as a computer, or uses it to obtain computational results.



Again, no, not anything can a computer. If you like Turing machines, there are specific requirements for what makes a Turing machine. None of these things are ingredients of a Turing machine:

    * Observation
    * Measurement
    * Interpretation
    * Intent
    * A mind
> My contention is that whether that arrangement of objects is in fact a computer is subjective

You are wrong. It is discretely defined. Read about the requirements for a Turing machine.

    * When the requirements are *not* met,
      subjectivity can not turn something
      into a computer.
    * When the requirements *are* met,
      subjectivity can not change the fact
      that it is computer.
It's obvious that subjectivity has no effect -- either in the matter of classifying computers, or allowing computation to take place.

> it depends on whether anyone conceives of it as a computer, or uses it to obtain computational results.

Again, refuted, in so many different ways. Here's an obvious one which I will restate:

    * Cells inarguably perform computation.
      They pre-date minds by billions of years.
Put a different way, if a Turing Machine computes in the woods and there's no one around to see it, computation will still have taken place. The burden of proof would be on you to say otherwise. I only see two very messy and wrong arguments:

A) Iron bars don't compute by themselves --> A mind is needed to "map" iron bars to "states of an arbitrary Turing machine"

It doesn't follow. Iron bars don't compute on their own because they are just the memory component. What is missing is MACHINERY WITH SPECIFIC PROPERTIES to complete a Turing machine. If the machinery is present, computation is possible. No mind necessary.

B) Socks are a computer if I decide they are --> arbitrary objects can in principle compose a computer --> deciding is necessary to make computers.

It doesn't follow. While computers could be made of just about anything, fully arbitrary objects cannot be computers. Only specific systems yield computation. Decision has nothing to do with it. Not even observation is required.

> there's a steady flow of people discovering that some X is a Turing-complete language, when X wasn't actually even meant to be a language at all.

You're arguing my point. "discovering" Turing machines ... meaning some things are already Turing machines before a mind became involved.

> So it seems that some configuration of stuff is a computer IFF (a) it is capable of doing computation, and (b) someone is willing to consider it as a computer.

You say "So it seems" and "IFF" but it does not follow at all. (b) is not supported. Computation can happen without "someone".

At best, you're arguing that trees falling in the forrest make no sound.

Anyway, why do I think I have time for this ...


I don't think you do have time for this, because your "arguments" amount to a series of bald assertions.


Name one.

I showed you that subjectivity doesn’t effect whether computation occurs. Several ways.

If you disagree you should really be editing Wikipedia: https://en.m.wikipedia.org/wiki/Model_of_computation Why don’t you go add your theory there?

It’s silly because it’s obvious. If you understand cells, you understand that computation in the absence of subjectivity has been happening on Earth for billions of years.

(Mic drop)


> I showed you that subjectivity doesn’t effect whether computation occurs.

You didn't "show" it; you simply asserted it. You also made a number of appeals to (uncited) authority concerning the nature of computers.

You made an argument from cells; I presume that was to do with the way that DNA and so on works. Although not all cells have DNA...

Anyway. I concede that was an argument, and not a bald assertion. But it's a circular argument; if your definition of "computer" includes the operation of DNA, then the conclusion that a computer can exist without interpretation or intent is unavoidable. You're definition begs the question.


> You didn't "show" it; you simply asserted it.

You're not understanding what I said. Last time:

Turing Machines have a specific set of necessary ingredients.

That's not a "bald assertion" or an "appeal to authority". It's an observation about the theory of Turing machines [1].

Whether or not a physical system has those ingredients is an _objective_ matter.

Also an observation. In case you need to think it through, there was a simple argument which you cannot rationally refute:

i) If one of the ingredients is missing, "subjectively" wishing something is a Turing Machine will not make it so.

ii) If all the ingredients are present, "subjectively" wishing that something isn't a Turing Machine will not change the fact that it is.

Conclusion: subjectivity has no effect on whether something is or is not a Turing machine. QED.

----

You're the one making unsupported assertions and talking in circles.

I can see that you're going to reply with more disagreement. Please imagine that my response is "I said good day sir!"

[1] https://en.wikipedia.org/wiki/Turing_machine#Description


> Please imagine that my response is "I said good day sir!"

That sounds a lot like "Anyway, why do I think I have time for this ... "

It's clear to me that "stuff" can be arranged to work as a Turing Machine (or some other kind of computer) without design or intent. Whether it is such a thing or not depends on how it is used; a Turing Machine that is given random inputs, or whose outputs don't mean anything to anyone, is a computer only in a formal sense. If nobody knows that some thing is a computer, I'm not sure that it's computer-ness is meaningful.

So that's why I think intent and interpretation are relevant.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: