feferman explica gödel [sobre mentes e máquinas]
solomon feferman acaba de publicar um ensaio importante sobre as implicações das descobertas de gödel para o entendimento dos processos cerebrais [e da mente humana].
o texto tem como motivo a briga, há meio século, entre kurt gödel e ernest nagel, registrada em cartas e comentários pelos dois. a importância de gödel transcende seu trabalho como matemático, lógico e filósofo e vale a pena ler [com muita calma] o artigo de feferman [pra quem tiver o mínimo de curiosidade sobre o assunto e conhecimento e preparo sobre o tema].
trechos de gödel, sobre a confusão, citados por feferman…
[It is possible that] the human mind (in the realm of pure mathematics) is equivalent to a finite machine that, however, is unable to understand completely its own functioning…
[T]he physical working of the thinking mechanism could very well be completely understandable; the insight, however, that this particular mechanism must always lead to correct (or only consistent) results would surpass the powers of human reason.
assunto pra muuuitos filmes de ficção científica. ou pra reflexão entre os construtores de robôs. ou ambos. e muito mais.
December 4th, 2007 at 2:55 am
Prof. Silvio,
The cognitive sciences became a hobby for me to read and think about. Artificial Intelligence and understanding of the construction and function of the human mind if paramount in order to create more intelligent machines.
As a programmer, I see two major stumbling blocks for AI:
- Stack-based machines: These machines go deeper and are complex because they need to remember the state where they come from. My intuition says that stack-less machines that always move forward with their state are key to doing this efficiently and reducing the complexity. These stack-less implementations pop up here and there, for example Python. Functional programming (Haskell) is not exactly the same thing, as these use function closures and still have some kind of “stack” available to them. The first CPU that has a totally different architecture should be much better suited.
- Associative search: Not “associative” arrays. When we talk about something or construe our ideas, we don’t load our CPU with an exhaustive search on some index to see if it’s there. It just comes up as a direct association with a particular idea. Computers don’t do that. They need an exhaustive search on some array/index on a particular topic which costs CPU. Processing signals very quickly therefore is very difficult.
I’m reading some books from Steven Pinker about these topics. It shows very nicely that there are different methods or reasons for learning and that not everything we take for granted as “experience” is necessarily learned (but can be embedded in DNA or otherwise is developed very quickly after birth). A machine as a lifeless piece of silicon has thus a long way to go before it can be judged “intelligent”.