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 or disposition
for a behavior. If no computer can compute the concept of arithmetical
truth or have a disposition to do so, 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