pode a IA nos ajudar a demonstrar teoremas?
24 views
Skip to first unread message
Joao Marcos
Dec 2, 2021, 11:14:35 AM12/2/21
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Advancing mathematics by guiding human intuition with AI
JM
Daniel Durante
Dec 2, 2021, 4:50:14 PM12/2/21
to Lista Lógica
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.
--
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+u...@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.
Walter Carnielli
Dec 2, 2021, 5:35:55 PM12/2/21
to Daniel Durante, Lista Lógica
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
<dura...@gmail.com> escreveu:
> 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.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
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
<dura...@gmail.com> escreveu:
--
===========================
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.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
Joao Marcos
Dec 2, 2021, 5:58:48 PM12/2/21
to Daniel Durante, Lista Lógica
>> Advancing mathematics by guiding human intuition with AI
>> https://www.nature.com/articles/s41586-021-04086-x
>
>> https://www.nature.com/articles/s41586-021-04086-x
>
> 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.
Pois é, eu tinha escrito primeiro "descobrir e demonstrar", depois
imaginei que alguém poderia preferir "inventar e demonstrar". Então
acabei deixando apenas o "demonstrar", pois não me ocorreu usar o
"propor". Afinal, propor conjecturas furadas não parece assim uma
coisa muito brilhante. ;-)
Isso me fez lembrar, por alguma razão, o livro já bem antigo do
Hofstadter, intitulado "Fluid Concepts and Creative Analogies:
Computer Models Of The Fundamental Mechanisms Of Thought". Parecia
que estávamos perto, há tempos. Não estou bem seguro de que realmente
estejamos, hoje.
[]s, Joao Marcos
--
http://sequiturquodlibet.googlepages.com/
Daniel Durante
Dec 3, 2021, 7:56:43 AM12/3/21
to Walter Carnielli, Lista Lógica
Bacana, Walter. Obrigado pela referência. Vou ler sim.
Abraços,
Abraços,
Reply all
Reply to author
Forward
0 new messages