Me lembrei agora da Paulette Destouches-Février https://fr.wikipedia.org/wiki/Paulette_Destouches-F%C3%A9vrier Ela trabalhou em particular numa lógica trivalorade para dar conta das relações de incerteza de Heisenberg. Ela foi grande amiga do Alfred Tarkski. Também dirigiu durante muitos anos uma coleção de livros franco-belga que foi uma das mais importante coleção do mundo de livros de lógica na época 1950-1960, muitos publicado originalmente em francês, Tal que o importante livro do Haskell Curry "Leçons de logique algébrique" que é a primeira aparição da expressão "lógica algébrica" (1952): https://mathshistory.st-andrews.ac.uk/Miller/mathword/a/ Este livro ainda nunca foi traduzido em inglês. Mas alguns anos atrás pedi ao Jonathan Seldin de traduzir os dois primeiros capítulos em inglês, com comentários. Isso foi publicado em Universal Logic: An Anthology >From Paul Hertz to Dov Gabbay https://link.springer.com/book/9783034601467 Essa coleção dirigida por Paulette Destouches-Février tem livros também de Beth, Henkin, Tarski, Heyting, Hao Wang ... JYB
On Tue, Mar 8, 2022 at 1:26 PM Joao Marcos <botoc...@gmail.com> wrote: > Sobre este assunto, aqui uma linda iniciativa do Lógica MX: > https://twitter.com/MxLogica/status/1499499366134034436 > https://logicamx.wixsite.com/logicamx/mujeres-en-la-logica > > JM > > > On Tue, Mar 8, 2022 at 7:51 AM jean-yves beziau <jyb.logic...@gmail.com> > wrote: > > > > Hoje 8 de março é o dia mundial da mulher da UNESCO: > > https://en.unesco.org/commemorations/international-days > > > > Aproveito para estabelecer uma primeira versão de uma lista de mulheres > na lógica (já falecidas): > > > -------------------------------------------------------------------------------------------------------------------------------------------------------------------- > > A partir de WIKIPEDIA LIST OF LOGICIANS > > https://en.wikipedia.org/wiki/List_of_logicians > > > > Ruth Barcan Marcus > > https://en.wikipedia.org/wiki/Ruth_Barcan_Marcus > > > > Christine Ladd-Franklin > > https://en.wikipedia.org/wiki/Christine_Ladd-Franklin > > > > Rózsa Péter > > https://en.wikipedia.org/wiki/R%C3%B3zsa_P%C3%A9ter > > > > Helena Rasiowa > > https://en.wikipedia.org/wiki/Helena_Rasiowa > > > > Julia Robinson > > https://en.wikipedia.org/wiki/Julia_Robinson > > > > --------------------------------------------------------------------- > > A partir de THE LVOV-WARSAW SCHOOL PAST AND PRESENT > > https://link.springer.com/book/10.1007/978-3-319-65430-0 > > > > Izydora Dąmbska > > https://link.springer.com/chapter/10.1007/978-3-319-65430-0_16 > > > > Maria Kokoszyńska-Lutmanowa > > https://link.springer.com/chapter/10.1007/978-3-319-65430-0_17 > > > > Seweryna Łuszczewska-Romahnowa > > https://link.springer.com/chapter/10.1007/978-3-319-65430-0_18 > > > > Helena Rasiowa > > https://link.springer.com/chapter/10.1007/978-3-319-65430-0_48 > > > --------------------------------------------------------------------------- > > No BRASIL > > > > Ayda Arruda > > https://pt.wikipedia.org/wiki/Ayda_Ignez_Arruda > > > > Andréa Loparic > > https://filosofia.fflch.usp.br/en/node/6858 > > > -------------------------------------------------------------------------------------------- > > JYB > > > > -- > > LOGICA-L > > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > > --- > > Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLAtYB%2ByuJfwRBDEXYMbsN0zVcjTutZMqc6uoRPSRzjUgA%40mail.gmail.com > . > > > > -- > http://sequiturquodlibet.googlepages.com/ > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@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/CAF2zFLChB%2BVpDoN9jv54XGfCydoCUrNCR-yCT3aJ3o4cOALJQw%40mail.gmail.com.