2012/10/11 Valeria de Paiva <valeria.depa...@gmail.com>: > > Acho que Teoria de Conjuntos e' Logica e que nos logicos temos que > conversar mais entre a gente e com outros matematicos, filosofos, > informatas, linguistas, etc..
Aproveitando a deixa, gostaria de lançar uma questão / provovação aos colegas: Vocês acreditam que seria adequado expor os alunos do Ensino Médio à Teoria das Categorias? (esta parece ser a crença por trás do livro "Conceptual Mathematics", do Lawvere) Ou será que isto configuraria algum tipo de "abuso infantil"? :-) A nível acadêmico de graduação, há no Brasil alguns programas de Computação que incluíram a Teoria de Categorias no currículo obrigatórios (estou pensando na UFRGS --- e talvez também a PUC-Rio?). Que tal lhes parece a ideia, neste caso? E na Matemática? Ou em outras áreas? Joao Marcos PS: Você cuidou para que seus filhos fossem expostos à Teoria de Categorias "na hora certa" (mamadeiras como funtores), Valeria? -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
