2016-08-13 10:42 GMT-03:00 Walter Alexandre Carnielli > > https://vanemden.wordpress.com/2010/06/08/interview-with-alan-robinson-inventor-of-resolution-logic/
Olá, Walter, obrigado por encaminhar este link (que tem muito a ver com o tópico de interesse desta lista). Eu só conhecia a segunda parte da entrevista, publicada no boletim da AAR: http://www.aarinc.org/Newsletters/089-2010-10.html O capítulo 3 do excelente livro "Mechanizing Proof: computing, risk, and trust", de Donald Mackenzie conta em algum detalhe a história de J. A. Robinson e sua contribuição para as áreas de IA & AR. * * * O seguinte parágrafo da primeira parte da entrevista supra-mencionada diz algumas coisas de interesse para os educadores entre nós, e cita outra figura lendária (Papert), que por acaso também faleceu há duas semanas: > It is said that it takes ten thousand hours or so of practice > and study to master a major skill (e.g. concert pianist) or > area of knowledge (e.g. theoretical research physicist). > Mozart had already put in this much practice by the time > he was eleven. Because of the wonderful plasticity of the > developing brain, early life is an excellent time for this > sort of preparation. I think, however, that some of the > traditional educational practices in schools drag out > knowledge acquisition unduly, and that one can drink > in (given the right motivation) a new knowledge area > much faster. As Seymour Papert (following Piaget) always > stressed, it’s a matter of taking in the right ideas at the > right time, and using them efficiently to acquire more, > in a kind of chain reaction. JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li5rq7MXSkNkqBNyozMYn8H2XhxSOX241sqbHv6HnD87Q%40mail.gmail.com.
