[Logica-l] Turing, um filósofo (Live no Lógica Viva, 01/03, 18hs)

2023-03-06 Por tôpico Walter Carnielli 
Parabéns ao Bernardo Gonçalves, à
Sociedade Brasileira de Filosofia Analítica, ao Pedro bravo como
entrevistador e ao Coletivo Lógica Viva  pela excelente live.

Muita informação interessante  e uma interpretação filosófica sui generis,
 surpreendente até para quem estuda Turing como matemático, estatístico e
cibernético há anos, como é o meu caso.

Recomendo!

Abraços

Walter


Em sáb., 25 de fev. de 2023 10:57, Marcos Silva 
escreveu:

>
>
> -- Forwarded message -
>
> Turing, um filósofo
> Live no Canal Lógica Viva
> 01/mar/2023, quarta-feira, 18h
> https://www.youtube.com/@logicaviva1821
>
>
> Bernardo Nunes Gonçalves (USP)
> Doutor em Filosofia e em Modelagem Computacional
> Mediação: Pedro Bravo (USP)
>
> Alan Turing (1912-1954) é hoje conhecido como um dos fundadores da
> Computação e da Inteligência Artificial. No entanto, sua obra não apenas
> incidiu sobre problemas espinhosos também da Filosofia, como teve grande
> impacto nela. No dia 01/03, quarta-feira, às 18h, teremos o prazer de
> conversar sobre Turing com Bernardo Gonçalves em nosso canal no Youtube.
> Bernardo está, atualmente, no pós-doutorado na Escola Politécnica da USP, e
> tem doutorado tanto em Filosofia (USP) quanto em Modelagem Computacional
> (LNCC). Seu trabalho atual de pesquisa recorre à Filosofia, História,
> Literatura, e Inteligência Artificial para entender o sentido e o
> significado dos argumentos de Turing sobre a capacidade futura das
> máquinas, visando qualificar a discussão pública a esse respeito. Não perca
> a oportunidade desse diálogo!
>
> #filosofia #inteligênciaartificial #ia #turing #computação #lógica
> #divulgaçãocientífica #lógicaviva
>
> 
>
> Se tiver interesse que divulguemos seus eventos e atividades em Filosofia
> Analitica, favor nos escrever.
>
> --
> ___
> Atenciosamente,
> Sociedade Brasileira de Filosofia Analítica
> Gestão 2023-2024.
>
> Prof. Dr. Marcos Silva (Presidente)
> Profa. Dra. Beatriz Sorrentino Marques (Vice-Presidenta)
> Prof. Dr. Tárik Prata (Tesoureiro)
> Profa. Dra. Nara Figueiredo (Secretária Geral)
> Prof. Dr. Giovanni Rolla (Secretário Adjunto)
>
> Linktree: https://linktr.ee/SbfaBspha
> Site: https://sites.google.com/view/sbfa-sbpha
> Instagram: https://www.instagram.com/sbfa.sbpha/
> Twitter: https://twitter.com/SbfaSbpha
> Facebook: https://www.facebook.com/sbfa.sbpha/
> Youtube: https://www.youtube.com/@SbfaSbpha
>
> *Caso não deseje receber emails da SBFA, por favor responda este email
> com  o assunto, 'remover email da lista'.
>
>
> --
> Marcos Silva (UFPE/CNPq)
> Philosophy Department
> Federal University of Pernambuco, Brazil
> President of the Brazilian Society for Analytical Philosophy (SBFA
> )
> Director of Graduate Studies (PPGFIL/UFPE
> )
> Editor-in-chief Revista Perspectiva Filosófica
> 
> https://sites.google.com/view/marcossilvaphilosophy
> "amar e mudar as coisas me interessa mais"
>
> --
> 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pz%2BP-oPTr4a1bKxVgVzfB%2Bj-NYM3sxaRmwZjW1iPZLDtMQ%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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLdDnPc7hvrJaQtriwb6V0ZfwNmrY%3Dke_8eTiK%3DtFqcYGQ%40mail.gmail.com.

[Logica-l] Re: Turing, um filósofo (Live no Lógica Viva, 01/03, 18hs)

2023-03-06 Por tôpico Marcos Silva 
ficou gravada. :-)

https://www.youtube.com/watch?v=g5UyA7w9L0A

On Sat, Feb 25, 2023 at 10:57 AM Marcos Silva 
wrote:

>
>
> -- Forwarded message -
>
> Turing, um filósofo
> Live no Canal Lógica Viva
> 01/mar/2023, quarta-feira, 18h
> https://www.youtube.com/@logicaviva1821
>
>
> Bernardo Nunes Gonçalves (USP)
> Doutor em Filosofia e em Modelagem Computacional
> Mediação: Pedro Bravo (USP)
>
> Alan Turing (1912-1954) é hoje conhecido como um dos fundadores da
> Computação e da Inteligência Artificial. No entanto, sua obra não apenas
> incidiu sobre problemas espinhosos também da Filosofia, como teve grande
> impacto nela. No dia 01/03, quarta-feira, às 18h, teremos o prazer de
> conversar sobre Turing com Bernardo Gonçalves em nosso canal no Youtube.
> Bernardo está, atualmente, no pós-doutorado na Escola Politécnica da USP, e
> tem doutorado tanto em Filosofia (USP) quanto em Modelagem Computacional
> (LNCC). Seu trabalho atual de pesquisa recorre à Filosofia, História,
> Literatura, e Inteligência Artificial para entender o sentido e o
> significado dos argumentos de Turing sobre a capacidade futura das
> máquinas, visando qualificar a discussão pública a esse respeito. Não perca
> a oportunidade desse diálogo!
>
> #filosofia #inteligênciaartificial #ia #turing #computação #lógica
> #divulgaçãocientífica #lógicaviva
>
> 
>
> Se tiver interesse que divulguemos seus eventos e atividades em Filosofia
> Analitica, favor nos escrever.
>
> --
> ___
> Atenciosamente,
> Sociedade Brasileira de Filosofia Analítica
> Gestão 2023-2024.
>
> Prof. Dr. Marcos Silva (Presidente)
> Profa. Dra. Beatriz Sorrentino Marques (Vice-Presidenta)
> Prof. Dr. Tárik Prata (Tesoureiro)
> Profa. Dra. Nara Figueiredo (Secretária Geral)
> Prof. Dr. Giovanni Rolla (Secretário Adjunto)
>
> Linktree: https://linktr.ee/SbfaBspha
> Site: https://sites.google.com/view/sbfa-sbpha
> Instagram: https://www.instagram.com/sbfa.sbpha/
> Twitter: https://twitter.com/SbfaSbpha
> Facebook: https://www.facebook.com/sbfa.sbpha/
> Youtube: https://www.youtube.com/@SbfaSbpha
>
> *Caso não deseje receber emails da SBFA, por favor responda este email
> com  o assunto, 'remover email da lista'.
>
>
> --
> Marcos Silva (UFPE/CNPq)
> Philosophy Department
> Federal University of Pernambuco, Brazil
> President of the Brazilian Society for Analytical Philosophy (SBFA
> )
> Director of Graduate Studies (PPGFIL/UFPE
> )
> Editor-in-chief Revista Perspectiva Filosófica
> 
> https://sites.google.com/view/marcossilvaphilosophy
> "amar e mudar as coisas me interessa mais"
>


-- 
Marcos Silva (UFPE/CNPq)
Philosophy Department
Federal University of Pernambuco, Brazil
President of the Brazilian Society for Analytical Philosophy (SBFA
)
Director of Graduate Studies (PPGFIL/UFPE
)
Editor-in-chief Revista Perspectiva Filosófica

https://sites.google.com/view/marcossilvaphilosophy
"amar e mudar as coisas me interessa mais"

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

[Logica-l] Summer school : Proof Assistants for Teaching

2023-03-06 Por tôpico Joao Marcos 
-- Forwarded message -
From: Julien Narboux

Proof Assistants for Teaching (PAT) is a five-day summer school about
the use of proof assistants for teaching proof and proving. It aims to
bring together researchers, teachers, students, and stakeholders
interested in the use of proof assistants for teaching. PAT seeks to
offer a broad spectrum of current research in the field of didactics
of proof, the impact of the use of proof assistants in education,
formalization of mathematics and user interfaces for theorem proving.
The objective is to gather three audiences:

• researchers in didactics of mathematics or informatics who would
like to learn how and why use proof assistants in class
• mathematicians who would like to learn how to use proof assistants
for their research and teaching
• specialists of proof assistants, who want to learn more about the
didactic of proof and proving in mathematics.

The summer school will take place in les Vosges, in France.

More information can be found here:
https://pat2023.icube.unistra.fr/

Deadline for registration : April 17, 2023.

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