Re: Can Computers Have Incomputable Concepts?

In article <1182795742.173504.126130@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
LauLuna <laureanoluna@xxxxxxxx> wrote:
The possibility of a system able to prove whatever humans can
eventually come to know about arithmetical truth is neither proved nor
disproved, for all I know.

Well, sure. But if you understand this point, then I don't understand why
you express puzzlement about how we can "have the concept of arithmetical
truth" when arithmetical truth is uncomputable. We reason about truth and
write down theorems, and nothing we know about computation rules out the
possibility that computers could do all the things we can do. So what's the
problem?

Yes, you're ultimately right on this. But I think that incomputable
concepts are more adequate to reveal this because it is them that
require an intensional non behavioral way of 'having' them.

Well, maybe. It seems to me to be the opposite...your questions really have
nothing to do with computability, but are puzzles about intentionality and
consciousness and so forth. So bringing computability into the picture,
when it isn't really relevant, just confuses the issue.
--
Tim Chow tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth. ---Galileo, Dialogues Concerning Two New Sciences
.