Bacana, Walter. Obrigado pela referência. Vou ler sim. Abraços, Daniel. ----- Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com
> On 2 Dec 2021, at 19:35, Walter Carnielli <walte...@unicamp.br> wrote: > > SIm Daniel, foi exatamente isso o que pensei, e temi, neste artigo > de divulgação: > > "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 > > Agradeço a críticas e comentários !! > > Walter > > Em qui., 2 de dez. de 2021 às 18:50, Daniel Durante > <durant...@gmail.com> escreveu: >> >> Me parece que a ideia é mais ousada do que usar IA para demonstrar teoremas. >> É usá-la para PROPOR teoremas (conjecturas) e eventualmente demonstrá-las. >> Aí, sim, a gente entra num terreno maravilhoso e, pelo menos para mim, >> assustador também. >> >> Saudações, >> Daniel. >> ----- >> Departamento de Filosofia - (UFRN) >> http://danieldurante.weebly.com >> >> On 2 Dec 2021, at 13:14, Joao Marcos <botoc...@gmail.com> wrote: >> >> Advancing mathematics by guiding human intuition with AI >> https://www.nature.com/articles/s41586-021-04086-x >> >> >> 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+unsubscr...@dimap.ufrn.br. >> Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiuNbCb0rMESUB_YZc%3DN%3DPdejTT5iw2UG4qFJCY5MhemQ%40mail.gmail.com. >> >> >> -- >> 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/B69C1CD6-9C46-435D-AC6B-A786C8E243CF%40gmail.com. > > > > -- > =========================== > 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/3F78D4CB-D337-46CB-BE38-098E7429BB97%40gmail.com.
