da ilusão do infinito

[Joao Marcos]

Por que alguns matemáticos querem acabar com o infinito: 'É uma ilusão'
https://www.bbc.com/portuguese/articles/c0l6lppz51ko


JM

[Walter Carnielli]

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

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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+u...@dimap.ufrn.br.
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.

[Pedro Barbalho]

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!

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 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.

[Joao Marcos]

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

--
https://sites.google.com/site/sequiturquodlibet/

[Pedro Barbalho]

Obrigado, João, pela indicação!