Re: Can Computers Have Incomputable Concepts?

On Jun 23, 6:23 pm, Puss in Boots <yaoziy...@xxxxxxxxx> wrote:
Symbolic computation can do that.

On Jun 23, 10:55 pm, LauLuna <laureanol...@xxxxxxxx> wrote:



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- Hide quoted text -

- Show quoted text -

Could you just sketch how? For dummies, if possible.

Thanks

.