Bom dia a todos! Frase de Brecht sobre o infinito:
The aim of science is not to open the door to infinite wisdom, but to set a limit to infinite error. Bertolt Brecht in The Life of Galileo (1939). Tenho estudado o finitismo. Não é uma filosofia fácil de entender. As perspectivas finitistas que me parecem mais fortes não são as que reduzem o infinito ao absurdo. Por mais que alguns insistam que seja possível essa redução, sempre fica claro alguma forma de exagero quando tentam dizer o porquê. Li recentemente esses trabalhos e estou escrevendo sobre alguns problemas que encontrei neles: Incurvati, L. On the concept of finitism. Rev. Synthese, 192, 2413–2436 (2015). Bremer, M. Varieties of Finitism. Int Ontology Metaphysics, 8, pp. 131–148 (2007). Webb, J. C. Mechanism, Mentalism and Metamathematics. Ed. Synthese, 1980. Abs! Em ter., 9 de set. de 2025 às 19:01, Walter Carnielli <[email protected]> escreveu: > Terraplanismo matemático? > > Abolindo o infinito, logo vão querer abolir os números complexos, os > modelos não-standard, o forcing... e esperar chegar nas lógicas não > clássicas, e já destroem toda a teoria de modelos que depende do teorema da > compacidade. > > Abraços consternados, > > Walter > > > > https://www.quantamagazine.org/mathematicians-bridge-finite-infinite-divide-20160524/ > > ======================== > Walter Carnielli > CLE and Department of Philosophy > University of Campinas –UNICAMP, Brazil > > AI2- Advanced Institute for Artificial Intelligence > Blog https://waltercarnielli.com/ > > https://www.name-coach.com/walter-carnielli > > Em ter., 9 de set. de 2025 16:22, Joao Marcos <[email protected]> > escreveu: > >> Por que alguns matemáticos querem acabar com o infinito: 'É uma ilusão' >> https://www.bbc.com/portuguese/articles/c0l6lppz51ko >> >> >> JM >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <[email protected]> >> --- >> 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 [email protected]. >> Para ver esta conversa, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiKtFf_aW-OQYnst-XSO3pzpirJ9Aw74j5zXSi9S9topg%40mail.gmail.com >> . >> > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 [email protected]. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfSSA_o%3DLB%3Di_y_DiWm%3DoNtcQcuDsxOL9GBORpV180%2BdA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfSSA_o%3DLB%3Di_y_DiWm%3DoNtcQcuDsxOL9GBORpV180%2BdA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANN6EZTw0YVoNVgLdRv2%3DjgWK_pCF0G6onVVCRDsOACTGOCb_g%40mail.gmail.com.
