o The Reasoner deste mês (do próximo mês?) começa com uma interessante entrevista sobre os vários ideais e conceitos de "demonstração matemática":
http://www.kent.ac.uk/secl/philosophy/jw/TheReasoner/vol7/TheReasoner-7(1).pdf seremos capazes de ensinar computadores a "raciocinar de forma visual"? boas festas, joao marcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
