Bom dia! Todos bem? A Valéria perguntou, em dois momentos, sobre pesquisadores brasileiros interessados em História da Matemática. Creio que um nome importante a ser mencionado é o do Sérgio Nobre, que foi ou é presidente da Sociedade Brasileira de História da Matemática. Ítala deve ter mais dados sobre Sérgio Nobre e esta Sociedade ou Associação. O Fábio Bertato está nesta lista? Ele poderia dar mais informações sobre História da Matemática no Brasil. No meu Departamento, tem um pessoal vinculado com a Educação Matemática, que se dedica à História Oral da Educação Matemática. Eles usam como instrumento historiográfico a História Oral e investigam aspectos do desenvolvimento da Matemática no Brasil com relação à escolarização de um modo geral. Até,
Hércules. _______________ Hércules de Araujo Feitosa Departamento de Matemática UNESP - FC - Bauru Em seg., 30 de ago. de 2021 às 07:10, <logica-l@dimap.ufrn.br> escreveu: > logica-l@dimap.ufrn.br > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics> > Grupos > do Google > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview> > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview> > Resumo por e-mail dos temas > Ver todos os temas > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics> > > - [CFA] Belief Revision Workshop at UNILOG2022 > <#m_290315762341457749_group_thread_0> - 1 atualização > - Genesis da Matematica Moderna na America do Sul > <#m_290315762341457749_group_thread_1> - 3 atualizações > > [CFA] Belief Revision Workshop at UNILOG2022 > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/ea65a592054070ea?utm_source=digest&utm_medium=email> > Rafael Testa <rafaelte...@gmail.com>: Aug 29 05:47PM -0300 > > *** Sorry for cross-posting | Please circulate to interested parties *** > > *Belief Revision Workshop* at > 7th World Congress and School on Universal Logic > <https://sites.google.com/view/unilog-2022/> > Orthodox Academy of Crete, April 1 – 11, 2022 > > Keynote Speaker: Giorgos Flouris <http://users.ics.forth.gr/~fgeo/> > (Foundation for Research and Technology – Hellas (FO.R.T.H.); Institute of > Computer Science (I.C.S.); Information Systems Laboratory (I.S.L.); > Vassilika Vouton - Heraklion, Crete) > > Organizer: Rafael Testa <https://rafaeltesta.com/unilog2022/> > (CLE-Unicamp, > Brazil) > > Belief Revision (Belief Change) is the research field that makes use of > tools and methods of formal logic to produce models of how human and > artificial agents change their beliefs in response to new information. > These models serve as a basis for understanding how beliefs can be changed, > and how these changes can be regarded as rational. This is a > multidisciplinary task, with applications to several areas including Formal > Epistemology, Artificial Intelligence, Ontology, Databases, and many more. > > The aim of this workshop is twofold: on the one hand, we intend to provide > an introduction to the subject, tackling distinct models presented in the > literature. On the other hand, we intend to gather contributions related to > distinct applications and studies on the ramifications of the area. > > Call for Papers: > We welcome contributions to the formal foundations of Belief Revision and > studies from other areas that show the use of, or contributions to, the > principles or practice of Belief Revision. Topics of interest include, but > are not limited to: > > Foundations and History of Belief Revision > Applications of Belief Revision > Update > Belief Merging > Argumentation > Judgment Aggregation > Reasoning about knowledge and belief > Epistemic and Doxastic Logics > > To submit a contribution, please send a *one-page abstract* to: > unilog2...@rafaeltesta.com > > Accepted submissions will be invited to submit a paper to a book or a > special issue that will be edited by the organizers after the workshop. > > Important dates > Submission: September 15, 2021 > Notification: September 21st, 2021 > Worskhop: 6-11 April , 2022 (the workshop will take place at some point > during the UNILOG congress). > > Rafael R. Testa > Research Associate > CLE-Unicamp (Brazil) > page: www.rafaeltesta.com > > <http://www.rafaeltesta.com> > Voltar ao início <#m_290315762341457749_digest_top> > Genesis da Matematica Moderna na America do Sul > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/222d03ea7c31bb2e?utm_source=digest&utm_medium=email> > Walter Carnielli <walte...@unicamp.br>: Aug 29 02:42PM -0300 > > O vídeo de Michel Barany é bastante interessante, contando a > história da "colonização cultural" da matemática (e vale para outras > áreas) a partir dos grandes centros, com a "tutelagem" aos centros > em desenvolvimento, focado no caso dele na América Latina. > > Mas aconteceu também muita "tutelagem" dos europeus em relação aos > norte-americanos, cuja matemática decolou mesmo depois de vencer a > guerra. > > A partir dos anos 1950 muitos matemáticos europeus e americanos > estiveram por longos períodos na USP, como Laurent Schwartz e > André Weil, sem mencionar muita gente no IMPA. Schwartz até escreveu > ainda um livro sobre como salvar a universidade francesa, que nao > nao li (ainda) mas que deve fazer sentido para o Brasil: > Laurent Schwartz . Para salvar a Universidade. São Paulo: EDUSP. 1984 > > A análise de Barany vale também para o caso da área de lógica, como > (tentei) dizer em: > > "A ‘Nova Lógica’ e a filosofia de W.V.Quine no Brasil' > > https://www.unicamp.br/unicamp/ju/noticias/2018/08/10/nova-logica-e-filosofia-de-wvquine-no-brasil > > a respeito da nossa edição/tradução, "The Significance of the New > Logic” (editado e traduzido por Walter Carnielli, Frederique > Janssen-Lauret, e William Pickering, Cambridge University Press, 2018; > > Walter > > > > Em sáb., 28 de ago. de 2021 às 21:32, Valeria de Paiva > > -- > =========================== > Walter Carnielli, Professor > Centre for Logic, Epistemology and the History of Science and > Department of Philosophy > University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6517 > Institutional e-mail: walter.carnie...@cle.unicamp.br > Website: http://www.cle.unicamp.br/prof/carnielli > Valeria de Paiva <valeria.depa...@gmail.com>: Aug 29 11:01AM -0700 > > oi Walter, > Mas sim, a historia da " tutelagem" dos europeus em relação aos > norte-americanos, cuja matemática decolou mesmo depois de vencer a > guerra" foi a palestra do Prof Batany no Logicos em Quarentena > Michael Barany <http://mbarany.com> (University of Edinburgh) "Attempts to > link scientific activities to political and societal issues": Boycotts, > politics, and the creation of the International Mathematical Union. > https://www.youtube.com/watch?v=DA9FibjpSqQ > > e ai eu achei mais facil acreditar no que ele estava falando pois os > gringos tem mais documentos acessiveis a todos, ja' digitalizados > colocados em repositorios publicos. > (so' porque o palestrante 'e professor da Universidade de Edinburgh e amigo > de amigos a gente nao acredita, mas qdo tem os documentos acessiveis, da' > pra ler!) > > Que eu saiba nos nao temos esses repositorios abertos de documentos, temos? > e quem faz historia da matematica (nao da logica) no Brasil? > Agradeco mais informacoes, se vc as tiver. > > E acho que ja' dei os parabens antes pelo livro "A ‘Nova Lógica’ e a > filosofia de W.V.Quine no Brasil', mas nao custa repetir: Parabens!!! muito > importante e necessario! > > abracos, > > Valeria > > On Sun, Aug 29, 2021 at 10:43 AM Walter Carnielli <walte...@unicamp.br> > wrote: > > Walter Carnielli <walte...@unicamp.br>: Aug 29 03:43PM -0300 > > Muito obrigado Valeria, incentivo vale muito, a gente "toca pelas > palmas":-) > > >E acho que ja' dei os parabens antes pelo >livro "A ‘Nova Lógica’ e a > filosofia de >W.V.Quine no Brasil', mas nao custa >repetir: Parabens!!! > muito importante e >necessario! > > > Seicquf no IMPA tem bastante coisa, Inclusive tem um bibliotecário lá que é > um matemático também e gosta de ajudar > > Abraços, > Walter > > > Em dom., 29 de ago. de 2021 15:01, Valeria de Paiva < > valeria.depa...@gmail.com> escreveu: > > Voltar ao início <#m_290315762341457749_digest_top> > Você recebeu esse resumo porque está inscrito para receber atualizações > deste grupo. Você pode alterar suas configurações na página de associação > do grupo > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/join> > . > Para cancelar sua inscrição neste grupo e deixar de receber e-mails do > mesmo, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAH0SiBz8jrsCYfrH7vTa2pyYgBtYwjtdTpwo0g7e_GAS%3DgpM_w%40mail.gmail.com.