oi Joao Marcos, desculpe a demora pra responder a provocacao....
>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) eu acho que seria uma boa ideia sim. mas sei que nao sei nada sobre ensino medio. nem mesmo nos EUA onde meus filhos cresceram... portanto estou falando meramente de instintos, gut feelings, pessoais. dai que a 'provocacao' me deixou pensando que a imagem que as pessoas teem do grande experimento que foi a Matematica Moderna nos anos 60 'e equivocada. o experimento nao foi a catastrofe, o desastre que as pessoas dizem nao. Foi importante e levou a uma maior conscientizacao de que matematica nao 'e uma coisa estatica, mumificada. Que novas maneiras de abordar matematica existem e merecem consideracao. Que teoria de conjuntos que 'e um assunto complicado e dificil, pode ser ensinado as criancas que ai acham que 'e uma simplicidade so'. de repente a mesma coisa pode acontecer com teoria de categorias, as criancas ou adolescentes podem descobrir que e' uma facilidade so' e de repente todo mundo pode sair ganhando. na minhas palestras em Austin eu falei um pouquinho sobre o 'coming of age' da teoria de categorias na matematica. Vejo na wikipedia, no nLab e em certos circulos, pessoas dizendo que qdo matematicos tradicionais dizem que teoria de categorias 'e "abstract nonsense" nao 'e derrogatorio nao, que nao 'e insulto e isso 'e uma besteira. 'e claro que 'e insulto, 'e claro que matematicos tradicionais nao gostam de CT. mas me parece que atualmente todo mundo usa a linguagem, porque realmente facilita muito a vida. mas tem uma grande diferenca entre usar a linguagem e usar o arcabouco teorico. muito poucos abracam o arcabouco... mas tenho esperancas: esse ano o Institute for Advanced Study in Princeton, por causa do Voevosdsky, esta organizando um seminario o ano todo numa versao de Logica Categorica: todo mundo pode ler sobre isso na pagina dele http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html. Acho que qualquer dia desses ate mesmo o IMPA vai ter que chamar a gente pra brincar, afinal eles nao podem dizer que o IAS nao 'e serio-- macaquinhos a parte... abracos, Valeria ps pra cursos de graduacao eu nao acho uma boa ideia nao. na graduacao precisamos entender as coisas de verdade, e pra entender de verdade, ter a tal maturidade matematica, tem que ter um tanto de analise, algebra linear, teoria de grupos, topologia, "in place", me parece.. 2012/10/11 Joao Marcos <botoc...@gmail.com> > 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 > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
