Jean Yves, Tudo o que publiquei na área nunca foi sobre lógica só. Faço aplicações da lógica, às vezes em cantos inesperados. A questão das variedades exóticas tem um motivo: alem de sua importância para a física - para os fundamentos das ciências - qual é o significado de uma variedade exótica genérica, numa extensão adequada por forcing? E' um troço que nem sei como descrever (mas posso caracterizá-la). Outro exemplo: tenho um R4 exótico codificado pelo Busy Beaver. Quão intratável é essa coisa?
Um abraço - e 6a. feira fui convocado a encontrá-lo, o que farei. 2010/2/1 BEZIAU Jean-Yves <[email protected]> > Me parece que nesta lista de discussao, > muitos assuntos perifericos sao discutidos > nao seria melhor falar sobre logica mesmo? > (e deixar outros topicos para telenovela) > algum tempo atras fiz circular aqui um call for papers - ver em baixo - > relativamente a questoes fundamentais sobre logica > nao recebemos submissoes de nenhum brasileiro/brasileira ... > > >------------------ > Jean-Yves Beziau > Editor-in-Chief > Logica Universalis - Journal > http://www.birkhauser.ch/LU > > Is logic universal? Special Issue of the Journal Logica Universalis > Many questions are connected to this question: > 1. Do all human beings have the same capicity of reasoning? > Do a man, a woman, a child, a papuan, a yuppie, reason in the same way? > 2. Does reasoning evolve? > Did human beings reason in the same way two centuries ago? > In the future will human beings reason in the same way? > Did computers change our way to reason? > Is a mathematical proof independent of time and culture ? > 3. Do we reason in different ways depending on the situation? > Do we use the same logic for everyday life, physics, economy? > 4. Do the different systems of logic reflect the diversity of reasonings? > 5. Is there any absolute true way of reaoning ? > > Any contibutions dedicated to one aspects of the question "Is logic > universal?" is welcome to this special issue. > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
