Re: [Logica-l] Códigos de ética e conduta em sociedades científicas

[Valeria de Paiva]

Caro Walter,

A ideia e' termos os códigos bem claros, como a AMS e a ASL (não exatamente
as organizações mais politicamente corretas que conhecemos) os têm, para
que as pessoas que forem desrespeitadas possam ter uma maneira clara e
imediata de reclamar. Sanções são claramente importantes, mas esperamos que
a pressão dos colegas seja também um deterrente do comportamento
antissocial.

Muito obrigada Elaine pelo trabalho todo nessa área!!!

Abraços,
Valeria

On Sat, Dec 16, 2023 at 1:40 PM Walter Carnielli 
wrote:

> Prezada Elaine:
>
> Parabéns pela iniciativa, os códigos estão claros!
> A questão agora é como agiremos com aqueles colegas que insistem num
> comportamento desrespeitoso e descordial.
>
> Abraços,
>
> Walter
>
> Em sáb., 16 de dez. de 2023 03:16, Itala Maria Loffredo D'Ottaviano <
> it...@unicamp.br> escreveu:
>
>> Caríssima Elaine:
>> Excelente providência da SBL e da ASL!
>> Esperamos que nossos colegas já se sensibilizem sobre a necessidade de um
>> comportamento sempre respeitoso e cordial.
>> Itala
>>
>> Prof. Dr. Itala M. Loffredo D'Ottaviano
>> Full Professor in Logic and the Foundations of Science
>> Member and Researcher of the *Centre for Logic, Epistemology and the* 
>> *History
>> of Science* at the University of Campinas
>> Research Fellow of the *Brazilian National Council for Scientific and
>> Technological Development*
>> Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro)
>> Emeritus Member, *Académie Internationale de Philosophie de Sciences *
>> (Bruxelles)
>> Titular Member, *Institut International de Philosophie *(Paris-Nancy)
>> Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and the* 
>> *History
>> of Science.*
>>
>>
>> Em qui., 14 de dez. de 2023 às 14:09, Elaine Pimentel <
>> elaine.pimen...@gmail.com> escreveu:
>>
>>> Prezados colegas,
>>>
>>> Gostaria de aproveitar o dia "especial" para compartilhar com vocês a
>>> informação de que sociedades e associações como a SBL, ASL e SBM estão
>>> formulando cartilhas com códigos de ética e conduta. Não é novidade, várias
>>> associações como a ACM, SBF, etc já têm documentos nesse sentido. A SBL tem
>>> uma política anti-assédio na sua página:
>>>
>>> https://sbl.org.br/pmwiki.php/Main/PAA
>>>
>>> Os textos que estão sendo formulados são bem didáticos, e possuem
>>> definições básicas, bem como possíveis sanções disciplinares pertinentes no
>>> caso de violação de boas práticas acadêmicas. Por exemplo, as sociedades
>>> podem negar apoio científico a eventos que não se comprometam em manter
>>> tais boas práticas.
>>>
>>> Esperamos todos que tenhamos sempre um ambiente de civilidade e respeito
>>> mútuo, no qual o avanço do conhecimento, a difusão e a educação sejam
>>> possíveis sem prejuízo à dignidade, aos direitos fundamentais ou ao
>>> adequado exercício da profissão das pessoas envolvidas.
>>>
>>> Abraços acadêmicos,
>>> --
>>> Elaine.
>>> ---
>>> Elaine Pimentel
>>> Associate Professor in Programming Principles, Logic, and Verification
>>> Department of Computer Science
>>> University College London
>>> https://sites.google.com/site/elainepimentel/
>>> ---
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> 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 acessar essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BW8zhd2sJeJCci9dfTfHYpob_UnUssdPmbRhUTpqCssWA%40mail.gmail.com
>>> 
>>> .
>>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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 acessar essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG7xLEhu-r4gCz4qp0G%2BpqOT2xJoYyn_4DMjequz8yoOYQ%40mail.gmail.com
>> 
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 acessar essa discussão na Web, acesse
> 

Re: [Logica-l] Códigos de ética e conduta em sociedades científicas

[Walter Carnielli]

Prezada Elaine:

Parabéns pela iniciativa, os códigos estão claros!
A questão agora é como agiremos com aqueles colegas que insistem num
comportamento desrespeitoso e descordial.

Abraços,

Walter

Em sáb., 16 de dez. de 2023 03:16, Itala Maria Loffredo D'Ottaviano <
it...@unicamp.br> escreveu:

> Caríssima Elaine:
> Excelente providência da SBL e da ASL!
> Esperamos que nossos colegas já se sensibilizem sobre a necessidade de um
> comportamento sempre respeitoso e cordial.
> Itala
>
> Prof. Dr. Itala M. Loffredo D'Ottaviano
> Full Professor in Logic and the Foundations of Science
> Member and Researcher of the *Centre for Logic, Epistemology and the* *History
> of Science* at the University of Campinas
> Research Fellow of the *Brazilian National Council for Scientific and
> Technological Development*
> Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro)
> Emeritus Member, *Académie Internationale de Philosophie de Sciences *
> (Bruxelles)
> Titular Member, *Institut International de Philosophie *(Paris-Nancy)
> Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and the* 
> *History
> of Science.*
>
>
> Em qui., 14 de dez. de 2023 às 14:09, Elaine Pimentel <
> elaine.pimen...@gmail.com> escreveu:
>
>> Prezados colegas,
>>
>> Gostaria de aproveitar o dia "especial" para compartilhar com vocês a
>> informação de que sociedades e associações como a SBL, ASL e SBM estão
>> formulando cartilhas com códigos de ética e conduta. Não é novidade, várias
>> associações como a ACM, SBF, etc já têm documentos nesse sentido. A SBL tem
>> uma política anti-assédio na sua página:
>>
>> https://sbl.org.br/pmwiki.php/Main/PAA
>>
>> Os textos que estão sendo formulados são bem didáticos, e possuem
>> definições básicas, bem como possíveis sanções disciplinares pertinentes no
>> caso de violação de boas práticas acadêmicas. Por exemplo, as sociedades
>> podem negar apoio científico a eventos que não se comprometam em manter
>> tais boas práticas.
>>
>> Esperamos todos que tenhamos sempre um ambiente de civilidade e respeito
>> mútuo, no qual o avanço do conhecimento, a difusão e a educação sejam
>> possíveis sem prejuízo à dignidade, aos direitos fundamentais ou ao
>> adequado exercício da profissão das pessoas envolvidas.
>>
>> Abraços acadêmicos,
>> --
>> Elaine.
>> ---
>> Elaine Pimentel
>> Associate Professor in Programming Principles, Logic, and Verification
>> Department of Computer Science
>> University College London
>> https://sites.google.com/site/elainepimentel/
>> ---
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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 acessar essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BW8zhd2sJeJCci9dfTfHYpob_UnUssdPmbRhUTpqCssWA%40mail.gmail.com
>> 
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG7xLEhu-r4gCz4qp0G%2BpqOT2xJoYyn_4DMjequz8yoOYQ%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfQNephqKQqDQdajrqZzSWM7pj9nNONceotENYsnVMb5A%40mail.gmail.com.

[Logica-l] Concursos para professor na área de computação para a Unilab

[Márcia Roberta Falcão de Farias]

Olá!

Peço permissão e ajuda para a divulgação de duas vagas de concurso para a
Unilab.
Seguem as especificações das vagas e seus respectivos links para os editais.

As vagas são do Instituto de Engenharias e Desenvolvimento Sustentável
(IEDS) da
Universidade da Integração Internacional da Lusofonia Afro-Brasileira
(Unilab) que está localizada na cidade de Redenção/ Ceará.

- Metodologia e Técnicas da Computação e TICs Aplicadas à EaD
link: https://unilab.edu.br/wp-content/uploads/2023/12/DOU-de-14.12.13.pdf

A outra vaga está para
- Sistemas Embarcados, Robótica, Automação e TICs aplicados a EaD
link: https://unilab.edu.br/wp-content/uploads/2023/12/DOU-de-07.12.23.pdf

Desde já agradeço a ajuda na divulgação!
Márcia Roberta

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACnL0vhXwFb26tDgtxOSQhK82Uvz3xZgGiNzsjvDqP7xrS%2B%2B_w%40mail.gmail.com.

[Logica-l] Remembering Gödel - Sami Al-Suwailem

[jean-yves beziau]

A seguir um artigo escrito por Sami Al-Suwailem, que participou do Dia
Mundial da Lógica desde do início, organizando uma celebração na  Meca na
Arábia Saudita dia 14 de janeiro de 2019:
http://www.logica-universalis.org/wld-mecca
The story of Kurt Gödel (1906–1978) is forever captivating.
[image: Sami Al-Suwailem]

Sami Al-Suwailem

 in Gödelian Letters

  ∙
12 min read
  ∙
View on Medium

Remembering Gödel

*The story of Kurt Gödel (1906–1978) is forever captivating. The enigma
surrounding the reclusive genius conspires with the mystery of his
Incompleteness Theorem to generate an aura of endless awe and wonder.*
[image: Kurt Gödel with Albert Einstein in Princeton, 1954. Source: GETTY
IMAGES.]
[image: Kurt Gödel with Albert Einstein in Princeton, 1954. Source: GETTY
IMAGES.]
Kurt Gödel with Albert Einstein in Princeton, 1954. Source: GETTY IMAGES.

“Gödel was the greatest logician since Aristotle,” polymath John von
Neumann said in a public lecture. Albert Einstein and Robert Oppenheimer
firmly agreed. John Wheeler remarked, “If you called him the greatest
logician since Aristotle you’d be downgrading him.” André Weil said it
would be banal to affirm that in 2,500 years Gödel was the only person who
could speak without exaggeration of “Aristotle and me.” (Dyson, 2013; Wang,
1996, p.2.)

Yet, Gödel never played the great man. He berated himself for his perceived
shortcomings. He was very sincere and unassuming, and his innocence drew
many to him. (Budiansky, 2021, pp. 91, 103–104.)

He was very generous, especially with his peers, with whom one might
probably become more competitive. He was always willing to assist with
their ideas while quite modest about his own work. “What a conscientious
person Gödel was,” noted mathematician Verena Huber-Dyson. “His
friendliness & his quiet humor are so appealing,” noted his long-time
friend, economist Oskar Morgenstern. (Budiansky, 2021, pp. 69, 103, 170,
263.)

Harvard logician Gerald Sacks noted that Gödel had a “zest for life” and
enthusiasm for ideas. “He was full of wonder and excitement over
developments in math, logic, philosophy.” It was like talking to “a very
bright eleven-year-old.” (See Budiansky, 2021, pp. 105.)

Gödel was a special friend of Einstein. He was the only one at the
Institute of Advanced Studies in Princeton who “walked and talked with
Einstein on equal terms,” noted Freeman Dyson. Einstein “appreciates Gödel
beyond anything,” Oskar Morgenstern wrote in his diary. Einstein once
remarked that he came to the office “just to have the privilege of being
permitted to walk home with Kurt Gödel.” Despite having very dissimilar
personalities, the two understood each other very well. They shared a
fundamental quality: *both went directly and wholeheartedly to the
questions at the very center of things*. (See Budiansky, 2021, pp. 3, 173,
217-218.)
[image: Source: Dawson (1997, pp. 313–315).]
[image: Source: Dawson (1997, pp. 313–315).]
Source: Dawson (1997, pp. 313–315).
···
The Incompleteness Phenomenon

When Gödel submitted his incompleteness paper to the University of Vienna
as his *Habilitationsschrift*, his mentor and supervisor, mathematician and
philosopher Hans Hahn
,
wrote:

“It is a scientific achievement of the first order which has generated the
highest interest in all expert circles and, as can be predicted with
certainty, will take its place in mathematical history.”

On the occasion of the presentation of the Albert Einstein Award to Gödel
in 1951, John von Neumann remarked:

“Kurt Gödel’s achievement in modern logic is singular and monumental —
indeed, it is more than a monument; it is a landmark which will remain
visible far in space and time.”

Von Neumann emphasized that Gödel’s results are not specific to the field
of mathematics but are general to *any* field that applies formal methods:

“Gödel actually proved this theorem, not with respect to mathematics only,
but for all systems which permit a formalization, that is a rigorous and