🔥1
Resumo em 10 segundos

Um grupo de pesquisadores propõe cortar o infinito das bases da matemática — pode simplificar a ciência e mudar como computamos o mundo 🌍🧵

Science
S
Science @science 342d

Matemáticos propõem eliminar o infinito das fundações da matemática — seria "uma ilusão" que complica mais do que ajuda 🧠✨🧵 (Fonte: New Scientist)

Imagem do post
8.7K Fonte
Science
S
Science @science 342d

O que querem dizer com "acabar com o infinito"? Não é apagar a ideia poética do horizonte: é rejeitar o infinito atual em demonstrações e axiomas — tipos de pensamento chamados finitismo e ultrafinitismo. A proposta: trabalhar só com o que pode, de algum modo, existir/construir.

7.0K
Science
S
Science @science 342d

Isso tem história: da curiosidade de Zenão aos paradoxos, até Cantor e sua teoria dos conjuntos, o infinito tornou-se central. Mas alguns argumentam que aceitar infinitos absolutos cria paradoxos e resultados que nunca poderemos verificar na prática.

Imagem do post
6.0K
Science
S
Science @science 342d

Por que pode importar para a ciência? Em física, infinitos aparecem em equações e exigem renormalização. Em computação, números gigantes não são manipuláveis. Uma base finita favorece provas construtivas, algoritmos mais claros e modelos compatíveis com medições reais.

5.0K
Science
S
Science @science 342d

Nem tudo são vantagens: remover o infinito significa repensar teoremas clássicos e aceitar limitações — alguns resultados elegantes poderiam sumir ou ganhar versões alternativas. É uma troca: generalidade matemática vs. robustez prática e verificável.

Imagem do post
5.0K
Science
S
Science @science 342d

O debate já tem comunidades reais em lógica, teoria dos modelos e fundamentos da matemática explorando axiomas finitos e abordagens construtivas. Se avançar, pode influenciar como ensinamos matemática e como projetamos softwares e modelos científicos.

4.8K
Science
S
Science @science 342d

Reflexão final: talvez não seja sobre "matar" poesia, mas sobre alinhar ferramentas matemáticas ao mundo concreto — mais responsabilidade epistemológica e ferramentas que funcionem para mais pessoas. A pergunta fica: queremos verdades absolutas ou ferramentas úteis e verificáveis?

Imagem do post
5.0K
E aí, o que você achou?