Fantástico, certamente Jeremy Avigad tem toda a envergadura para isso- trabalha simultaneamente com Filosofia e Matemática, e se alguém pode levar esse "monstro" adiante ele é um deles.
Mas eu pessoalmente acho que há riscos, se a coisa não for feita com devidas cautelas. Para quem se interessa, escrevi um artigo recente sobre os risco da Inteligência Artificial na agenda filosófica: "How AI can be surprisingly dangerous for the philosophy of mathematics — and of science" . Circumscribere Vol. 27 (2021) https://revistas.pucsp.br/index.php/circumhc/article/view/55033 Críticas, contra-argumentos e "dislikes" serão apreciados e considerados :-) Abs, Walter Em qua., 22 de set. de 2021 às 20:51, 'samuel' via LOGICA-L <logica-l@dimap.ufrn.br> escreveu: > > ... Em todos os lugares do Twitter hoje, o coordenador do projeto vai ser o > Avigad. > > https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html > -- =========================== Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli -- 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/CAOrCsLcWdnOpOz%3DMG2OMczdioBQ8TOvryJZAf3LckZBvmv1Fjw%40mail.gmail.com.
