Salve, Pedro: O Jean Paul Van Bendegem trabalhou durante toda a sua carreira sobre o chamado "finitismo estrito" (e segue interessado no assunto; este ano mesmo ele publicou um review deste livro: https://link.springer.com/book/10.1007/978-3-030-61101-9). Não sei avaliar o quanto isto contribuiria para os debates nos quais você está interessado, mas talvez valha a pena você dar uma olhada nisto também?
https://www.jeanpaulvanbendegem.be/strict%20finitism.pdf https://plato.stanford.edu/archives/fall2016/entries/geometry-finitism/ []s, Joao Marcos On Thu, Sep 11, 2025 at 9:10 AM Pedro Barbalho <[email protected]> wrote: > > 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://sites.google.com/site/sequiturquodlibet/ -- 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_LhmZaEcgGHCau59Ta327nMnLDOqWWKGEi__X5t7wMV-yw%40mail.gmail.com.
