Obrigado, João, pela indicação! Em qui., 11 de set. de 2025, 12:26, Joao Marcos <[email protected]> escreveu:
> 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/CANN6EZSAw1WS455eLyKFkejrbrUbekdScmM5kRqrCV4GXJNSQw%40mail.gmail.com.
