Can Computers Have Incomputable Concepts?

The concept of arithmetical truth is a precise incomputable concept.
This follows from Gödel's theorem.

What does it mean for a computer to have a concept if it is not able
to compute it? As I see it, a computer is mere behavior in the sense
that it is what it can do. If no computer can compute the concept of
arithmetical
truth, how could it have that concept?

Why should there be at all any computers endowed with the concept of
arithmetical truth? Well, we humans have that concept; if no computer
could have it, there would be a seemingly too easy refutation of
computationalism, mechanism or Strong AI.

I'm no expert on computational issues so I'm asking for information.

Thanks

.

Relevant Pages

  • Re: Can Computers Have Incomputable Concepts?
    ... Symbolic computation can do that. ... we humans have that concept; ... there would be a seemingly too easy refutation of ...
    (comp.theory)
  • Can Computers Have Incomputable Concepts?
    ... The concept of arithmetical truth is a precise incomputable concept. ... a computer is mere behavior or disposition ...
    (sci.cognitive)
  • Re: Can Computers Have Incomputable Concepts?
    ... It's easy to say, "we humans have that concept," but that glib-sounding ... and how we know that humans have it and that computers ... arithmetical truth. ... usual logical deductions that are standard made in mathematics. ...
    (comp.theory)
  • Re: Can Computers Have Incomputable Concepts?
    ... It's easy to say, "we humans have that concept," but that glib-sounding ... and how we know that humans have it and that computers ... arithmetical truth. ... usual logical deductions that are standard made in mathematics. ...
    (comp.theory)