subject:"\[Logica\-l\] #OFF A Vida de Ada Lovelace"

Re: [Logica-l] #OFF A Vida de Ada Lovelace

2018-11-02 Por tôpico 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


On Fri, Nov 2, 2018 at 11:47 AM Valeria de Paiva 
wrote:

> 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
>
> On Thu, Nov 1, 2018 at 7:45 PM Joao Marcos  wrote:
>
>> > 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
>>
>> --
>> 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 postar neste grupo, envie um e-mail para logica-l@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/
>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@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/-0002-1391-1175
 ResearcherID: A-4670-2009

-- 
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 postar neste grupo, envie um e-mail para logica-l@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/CABqmzx17eU9nkM6LMFF5sb7tcVCEeEZuyH5D2vg9iVZ5iOcKgg%40mail.gmail.com.

Re: [Logica-l] #OFF A Vida de Ada Lovelace

2018-11-02 Por tôpico 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

On Thu, Nov 1, 2018 at 7:45 PM Joao Marcos  wrote:

> > 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
>
> --
> 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 postar neste grupo, envie um e-mail para logica-l@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/

-- 
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 postar neste grupo, envie um e-mail para logica-l@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/CAESt%3DXsYXncuORX9TdtyH7v6Ju3Gv%3DBMEx_yk0k9VsVMUcrxuw%40mail.gmail.com.

Re: [Logica-l] #OFF A Vida de Ada Lovelace

2018-11-01 Por tôpico 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

-- 
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 postar neste grupo, envie um e-mail para logica-l@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.

Re: [Logica-l] #OFF A Vida de Ada Lovelace

2018-10-29 Por tôpico 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

Em seg, 29 de out de 2018 às 08:38, Rodrigo Freire 
escreveu:

> 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
>
>
>
>
>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@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
> 
> .
>


-- 
==
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ê 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 postar neste grupo, envie um e-mail para logica-l@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/CANspyYXbmX3f7%3D7_9OrQhPYgfAZqddEefHB-gBUFjuNg4QrbMg%40mail.gmail.com.

Re: [Logica-l] #OFF A Vida de Ada Lovelace

2018-10-29 Por tôpico 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

--
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 postar neste grupo, envie um e-mail para logica-l@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/CAExWzUKqMrb7AfkrkHPGwbk6eKq1yHYw3bZKOKKvxHp3pGPv0Q%40mail.gmail.com.

Re: [Logica-l] #OFF A Vida de Ada Lovelace

2018-10-18 Por tôpico 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
On Thu, Oct 18, 2018 at 9:41 AM Luiza Ramos  wrote:
>
> 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.
>
> Em qui, 18 de out de 2018 às 04:53, Hermógenes Oliveira 
>  escreveu:
>>
>> Adolfo Neto  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
>>
>> --
>> 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 postar neste grupo, envie um e-mail para logica-l@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.
>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@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/

-- 
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 postar neste grupo, envie um e-mail para logica-l@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_Li%2Bwby%2B8bud%3D%2BHYsyvb5ShDS4csJqYcfzN-7KROu496Ow%40mail.gmail.com.

Re: [Logica-l] #OFF A Vida de Ada Lovelace

2018-10-18 Por tôpico 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.

Em qui, 18 de out de 2018 às 04:53, Hermógenes Oliveira <
hermogenes.olive...@student.uni-tuebingen.de> escreveu:

> Adolfo Neto  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
>
> --
> 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 postar neste grupo, envie um e-mail para logica-l@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
> .
>

-- 
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 postar neste grupo, envie um e-mail para logica-l@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/CABp6FzKMSNscvgEHAaQV_XxLBxASy5ZyotzT89mkLKL-%3D-Fg0w%40mail.gmail.com.

Re: [Logica-l] #OFF A Vida de Ada Lovelace

2018-10-18 Por tôpico Hermógenes Oliveira

Adolfo Neto 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

--
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 postar neste grupo, envie um e-mail para logica-l@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.

Re: [Logica-l] #OFF A Vida de Ada Lovelace

2018-10-17 Por tôpico 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 
> escreveu:
>
>> 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
>> ==
>>
>> --
>> 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 postar nesse grupo, envie um e-mail para logica-l@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
>> 
>> .
>>
>
> --
> 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 postar neste grupo, envie um e-mail para logica-l@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

-- 
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 postar neste grupo, envie um e-mail para logica-l@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/5126795f264adac7b9b198604edbc525.squirrel%40www.cle.unicamp.br.

Re: [Logica-l] #OFF A Vida de Ada Lovelace

2018-10-17 Por tôpico Joao Marcos

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

JM

On Wed, Oct 17, 2018 at 10:25 AM Adolfo Neto  wrote:
>
> 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
> ==
>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@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/

-- 
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 postar neste grupo, envie um e-mail para logica-l@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_LgOrcRYcn9r1aVr-pAWjUW6SbSrqFY_MaFDZnW%2BUsHJ4Q%40mail.gmail.com.

[Logica-l] #OFF A Vida de Ada Lovelace

2018-10-17 Por tôpico 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
==

--
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 postar neste grupo, envie um e-mail para logica-l@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/CANspyYUo_5qbMX01a2SnstkT7T%2Bun94dXQSvOkguXnpY0607PA%40mail.gmail.com.

Re: [Logica-l] #OFF A Vida de Ada Lovelace

Re: [Logica-l] #OFF A Vida de Ada Lovelace

Re: [Logica-l] #OFF A Vida de Ada Lovelace

Re: [Logica-l] #OFF A Vida de Ada Lovelace

Re: [Logica-l] #OFF A Vida de Ada Lovelace

Re: [Logica-l] #OFF A Vida de Ada Lovelace

Re: [Logica-l] #OFF A Vida de Ada Lovelace

Re: [Logica-l] #OFF A Vida de Ada Lovelace

Re: [Logica-l] #OFF A Vida de Ada Lovelace

Re: [Logica-l] #OFF A Vida de Ada Lovelace

[Logica-l] #OFF A Vida de Ada Lovelace

11 matches

Site Navigation

Mail list logo

Footer information