mulheres na logica / 8 de março dia mundial da mulher da UNESCO:

[jean-yves beziau]

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

[Joao Marcos]

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

> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@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/

[jean-yves beziau]

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