#OFF A Vida de Ada Lovelace

[Adolfo Neto]

Olá,

Como a Ada está nesta lista de mulheres na lógica. acho que não será tão off divulgar aqui o lançamento de um livro infantil sobre a vida dela.

Aproveito e pergunto: que outra mulher na lógica poderia ser tema de um livro infantil?

Abs,

Adolfo

A Vida de Ada Lovelace

by 

Sílvia Amélia Bim (Texto),

 

Kiara Cabral (Ilustradora)

it was amazing 5.0  ·  Rating details ·  1 Rating  ·  0 Reviews

Uma menina bastante curiosa… estudou muito sobre diversos assuntos: matemática, física, química, biologia, engenharia, francês… mas nada de poesia pois sua mãe acreditava que isto não era bom. Porém, a imaginação e a criatividade já estavam no coração da menina desde que ela nasceu. Toda essa bagagem de razão e emoção permitiu que Ada Lovelace se tornasse a primeira pessoa a escrever um programa de computador, muito antes dos computadores serem fabricados. Esta significativa contribuição só foi possível graças à sincera amizade com Charles Babbage. Uma história encantadora e motivadora sobre criatividade, amizade, razão e emoção. 

https://www.goodreads.com/book/show/42372426-a-vida-de-ada-lovelace

--

==================================================================
Adolfo Neto

Associate Professor - Federal University of Technology, Paraná

Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================

[Joao Marcos]

Álgebra Universal também conta? Em caso afirmativo, um livro sobre
EMMY NOETHER seria bem-vindo.

JM

> --
> 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 postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUo_5qbMX01a2SnstkT7T%2Bun94dXQSvOkguXnpY0607PA%40mail.gmail.com.



--
http://sequiturquodlibet.googlepages.com/

[Walter Carnielli]

Hypatia,  do século IV,  astronoma, filósofa e matemática, filha do matemático Theon de Alexandria, seria minha escolha...

Walter 

--

[Itala M. Loffredo D'Ottaviano]

Caros:

Também sou fã de Hypatia.

Sugestão de uma lógica mulher!

Itala

> Hypatia, do século IV, astronoma, filósofa e matemática, filha do
> matemático Theon de Alexandria, seria minha escolha...

>
> Walter
>
> Em qua, 17 de out de 2018 10:26, Adolfo Neto <adolf...@gmail.com>
> escreveu:
>

>> Olá,
>>
>> Como a Ada está nesta lista de mulheres na lógica
>> <http://www.newappsblog.com/2012/04/women-in-logic-historical-figures.html>.
>> acho que não será tão off divulgar aqui o lançamento de um livro infantil
>> sobre a vida dela
>> <https://www.goodreads.com/book/show/42372426-a-vida-de-ada-lovelace>.
>>
>> Aproveito e pergunto: que outra mulher na lógica poderia ser tema de um

>> livro infantil?
>>
>> Abs,
>> Adolfo
>>
>> A Vida de Ada Lovelace
>> by

>> Sílvia Amélia Bim
>> <https://www.goodreads.com/author/show/18533946.S_lvia_Am_lia_Bim> (Texto)
>> ,
>>
>> Kiara Cabral <https://www.goodreads.com/author/show/18533947.Kiara_Cabral>
>> (Ilustradora)
>> it was amazing 5.0 · Rating details
>> <https://www.goodreads.com/book/show/42372426-a-vida-de-ada-lovelace#> ·
>> 1 Rating
>> <https://www.goodreads.com/book/show/42372426-a-vida-de-ada-lovelace#other_reviews>
>> · 0 Reviews
>> <https://www.goodreads.com/book/show/42372426-a-vida-de-ada-lovelace#other_reviews>
>> Uma menina bastante curiosa… estudou muito sobre diversos assuntos:
>> matemática, física, química, biologia, engenharia, francês… mas nada de
>> poesia pois sua mãe acreditava que isto não era bom. Porém, a imaginação e
>> a criatividade já estavam no coração da menina desde que ela nasceu. Toda
>> essa bagagem de razão e emoção permitiu que Ada Lovelace se tornasse a

>> primeira pessoa a escrever um programa de computador, muito antes dos

>> computadores serem fabricados. Esta significativa contribuição só foi
>> possível graças à sincera amizade com Charles Babbage. Uma história
>> encantadora e motivadora sobre criatividade, amizade, razão e emoção.

>> https://www.goodreads.com/book/show/42372426-a-vida-de-ada-lovelace
>>
>> --
>> ==================================================================
>> Adolfo Neto

>> Associate Professor - Federal University of Technology, Paraná
>> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
>> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.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 postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUo_5qbMX01a2SnstkT7T%2Bun94dXQSvOkguXnpY0607PA%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUo_5qbMX01a2SnstkT7T%2Bun94dXQSvOkguXnpY0607PA%40mail.gmail.com?utm_medium=email&utm_source=footer>
>> .
>>
>
> --
> 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+u...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58OsHcY10YrejJ5vme025ZCFKUSUacQWyppLxvd%2BMALvDA%40mail.gmail.com.
>


++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
ITALA M. LOFFREDO D'OTTAVIANO
Full Professor of Logic and the Foundations of Mathematics
Centre for Logic, Epistemology and the History of Science - CLE
University of Campinas - UNICAMP
Sergio Buarque de Holanda, 251 Street
ZIP CODE 13083-859 - Campinas-SP, Brazil
Tel.:+55–19-3521-6517
www.cle.unicamp.br

[Hermógenes Oliveira]

Adolfo Neto <adolf...@gmail.com> escreveu:

> Aproveito e pergunto: que outra mulher na lógica poderia ser tema de
> um livro infantil?

Rózsa Péter, sem dúvida.

[1] https://en.wikipedia.org/wiki/R%C3%B3zsa_P%C3%A9ter
[2] http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Peter.html

Uma bela história de perseverança. Ela sobreviveu o gueto em
Budapeste durante a Segunda Guerra (ainda que tenha perdido amigos e
um irmão), perdeu manuscritos por conta dos bombardeios (mas os
recriou e publicou posteriormente). Buscou consolo na poesia após
descobrir que os resultados de seu trabalho em teoria dos números já
haviam sido publicados por outros. Retornou à matemática no âmbito
da lógica, especializando em funções recursivas. Na literatura sobre
funções recursivas em língua alemã, de Felscher a Hermes, a influência
do trabalho dela é praticamente onipresente.

As anedotas sobre como um colega a convenceu a se dedicar à matemática
("it is not that I am worthy to occupy myself with mathematics, but
rather that mathematics is worthy for one to occupy oneself with") e
sobre o ensino do algorítimo de Euclides no ensino fundamental são
absolutamente encantadoras[2].

--
Hermógenes Oliveira

[Luiza Ramos]

Concordo plenamente que Rózsa Péter é uma lógica inspiradora e que vale muito a pena ser lembrada. Acredito que em áreas onde encontramos poucas pessoas que nos identificamos é muito importante termos alguém como "role model", e ela é sem dúvida um modelo para mim. Ela foi professora primária e escreveu um belo livro sobre matemática que acho que devia ser leitura obrigatória a todo estudante de matemática e lógica. Chama-se 'playing with infinity' e é fácil de encontrar para comprar. Também é importante lembrar da Julia Robinson, que além de grande lógica foi professora de matemática em Berkeley e se dedicou a apoiar as mulheres na matemática.  

--
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+u...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20181018095342.Horde.rfp2BXMbp7URXqSw4GSwREm%40webmail.uni-tuebingen.de.

[Joao Marcos]

Bem lembrados ambos os nomes de Rózsa Péter e de Julia Robinson.
Ambas apareceram junto de Emmy Noether, Ruth Barcan-Marcus e Helena
Rasiowa neste repositório de 40 fotos do Open Logic Project:
http://builds.openlogicproject.org/assets/photos/photos.pdf


JM

> --
> 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 postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABp6FzKMSNscvgEHAaQV_XxLBxASy5ZyotzT89mkLKL-%3D-Fg0w%40mail.gmail.com.



--
http://sequiturquodlibet.googlepages.com/

[Rodrigo Freire]

Sobre a Rozsa Peter e seu livro, achei interessante a menção na entrevista com o Peter Lax realizada quando ele visitou a usp. 

Destaco a primeira resposta:

Paulo Cordaro — Você pode nos contar como foram seus primeiros anos em Budapeste? Como era o ensino de matemática nesse tempo? Você teve colegas que depois se tornaram cientistas proeminentes? 

Peter Lax — Bem, como vocês provavelmente sabem, na Hungria há uma tradição de se procurar jovens estudantes talentosos e tutelá-los. Por exemplo, Von Neumann, quando tinha 14 anos, foi tutelado por [Gábor] Szegö, e depois por [Michael] Fekete. Eu fui tutelado por uma professora e matemática maravilhosa, Rozsa Peter. Ela escreveu o melhor livro de matemática para leigos, com o título Playing with infinity (eu não sei se ele foi traduzido para o português). É um livro maravilhoso e ela era uma professora maravilhosa. Eu tinha treze ou quatorze anos, e nós lemos um livro de Rademacher e Toeplitz1 que eu recomendo fortemente. Ele tem capítulos curtos, tópicos elementares (bom, é um pouco sofisticado) e cada capítulo é uma gema. Dénes König era muito generoso comigo, alguns de vocês devem conhecer seu trabalho. Ele é o pai da teoria de grafos, ele escreveu o primeiro livro sobre esse assunto. Antes dele era apenas uma coleção de teoremas e observações. Quando eu fui para os Estados Unidos ele escreveu a Von Neumann, e também para Szegö e Otto Szasz, que eu estava indo, que eu era promissor e que ele deveria olhar por mim. E Von Neumann sempre foi muito atencioso e prestativo comigo. Sobre estudantes talentosos, não na Hungria mas quando vim para a América, eu tinha quinze anos, eu tinha que terminar o colégio, e ingressei na Stuyvesant Highschool. Alguns de vocês devem ter ouvido falar nessa escola, muitos de seus alunos se tornaram matemáticos destacados, Jack Schwartz, Paul Cohen, muitos outros, e eu fui de fato colega de classe de Marshall Rosenbluth, que foi um dos líderes em física de plasmas, membro da National Academy of Sciences (NAS), e Rolf Landauer, outro refugiado, que se tornou um dos especialistas nas limitações físicas da computação, um assunto muito importante, também membro da NAS. Nós três estávamos na equipe de matemática e naquele ano a Stuyvesant ganhou o campeonato. 

Veja a entrevista em:

https://rmu.sbm.org.br/wp-content/uploads/sites/27/2018/03/n47_Artigo03.pdf

Abraço

 

[Adolfo Neto]

Olá,

Obrigado a todxs.

Fiz uma compliação das sugestões aqui (algumas foram fora da lista): http://bit.ly/2yAfoLJ

Abs,

Adolfo 

--

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 postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAExWzUKqMrb7AfkrkHPGwbk6eKq1yHYw3bZKOKKvxHp3pGPv0Q%40mail.gmail.com.

[Joao Marcos]

> Fiz uma compliação das sugestões aqui (algumas foram fora da lista): http://bit.ly/2yAfoLJ

Obrigado pela compilação, Adolfo. Esticando só um pouquinho mais este
assunto OFF TOPIC, em tempos em que o assunto "inclusão" vai saindo de
moda nestas plagas, eu queria chamar a atenção para este post recente
do "Gödel's Lost Letter":

Micro Barriers To Diversity
https://rjlipton.wordpress.com/2018/10/30/micro-barriers-to-diversity/

O conteúdo da citada piadinha de Edmund Landau sobre Emmy Noether é ultrajante.
Esta citação burlesca, contudo, é muito boa e oportuna:
“We have met the enemy, and he is us.”

Joao Marcos

[Valeria de Paiva]

oi JM,

obrigada pela dica do post

Micro Barriers To Diversity
https://rjlipton.wordpress.com/2018/10/30/micro-barriers-to-diversity/

que eu nao tinha visto.

eu tb acho q um dos problemas e' q as micro agressoes acumulam,

mas sendo micros, em geral, 'e mais facil deixar passar cada uma delas...

e a briga e' relentless e muito cansativa.

Por exemplo na ultima newsletter do SIGLOG

From Prakash Panangaden
"One of the interesting events to which I was invited was a special session of the Women in Logic meeting where the underrepresentation of women in the Logic and Computation community was discussed at length. A day later this was followed up by a LICS invited talk by Ursula Martin on the same theme. I don’t need to say that the underrepresentation of and barriers faced by women are a vexing problem that cannot be ignored or dismissed. Unfortunately, some members of the community are still in denial"

https://siglog.hosting.acm.org/newsletter-october-2018/?fbclid=IwAR2ohhe9UW5p6GEVUW3kEzZJC_Oi5qgq5vT5UFv9oGUzh5B7r_mtiHte-eM

abs logicos,

Valeria

--
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+u...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhsB46%3DePDQOOOH6DFEjh4NABhsb7RRXPjSqXnz5rAyZA%40mail.gmail.com.

--

Valeria de Paiva
http://vcvpaiva.github.io/
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/

[Marcelo Finger]

Ainda mais digno de nota é esse artigo da Elizabeth Croft, citado pelo GLL:

https://www.smh.com.au/business/workplace/masculine-culture-and-micro-barriers-still-major-issues-for-women-20180212-p4z00s.html

[]s

--
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 postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsYXncuORX9TdtyH7v6Ju3Gv%3DBMEx_yk0k9VsVMUcrxuw%40mail.gmail.com.

--

 Marcelo Finger
 Departament of Computer Science, IME    
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger

 ORCID: https://orcid.org/0000-0002-1391-1175
 ResearcherID: A-4670-2009