Newtonsan
TAnOTaTU

TAnOTaTU

Public Key

npub1kvqdkv4tndz22z90rckhyqzddhjqzja3rv58jzpq5yxezzl4mvaqa28h7w

Profile Code

nprofile1qqstxqxmx24ek399pzh3uttjqpxkmeqpfwc3k2repqs2zrv3p06akwspramhxue69uhkummnw3ezuut4v9kxjtnrdpshgw35xsej7em0d3nq8sx589

Publishing to

nostr.quali.chat:443/golf

Author Public Key

npub1kvqdkv4tndz22z90rckhyqzddhjqzja3rv58jzpq5yxezzl4mvaqa28h7w

Show more details

Last Notes

2026-08-02 19:36:32 UTC

{{cite web
| title = 'Jamais vou ganhar o Nobel': Quem é Marilda Sotomayor - 01/08/2026 - …
| url = https://www1.folha.uol.com.br/ilustrissima/2026/08/jamais-vou-ganhar-o-nobel-quem-e-marilda-sotomayor-brasileira-referencia-em-teoria-dos-jogos.shtml
| date = 2026-08-02
| archiveurl = http://archive.today/1HLhq
| archivedate = 2026-08-02 }}
O texto detalha a trajetória de Marilda Sotomayor, proeminente matemática brasileira e autoridade internacional em teoria dos jogos e matching. A reportagem destaca sua colaboração fundamental com Alvin Roth, vencedor do Nobel de Economia, com quem coofereceu avanços teóricos que otimizaram sistemas de transplantes de órgãos e seleções universitárias. Apesar de seu prestígio global atrair diversos laureados para congressos na USP, a narrativa explora por que a pesquisadora nunca recebeu o Nobel, apontando barreiras de gênero e sua decisão de permanecer no Brasil. O conteúdo também recorda suas origens humildes no Rio de Janeiro e sua transição de professora primária para uma cientista de elite. Por fim, especialistas debatem o impacto de sua obra, considerada uma das maiores contribuições da economia matemática do país.

2026-08-02 13:27:27 UTC

- reply

A resposta depende de qual ramo da análise. "Análise" é uma das áreas mais heterogêneas da matemática, e sua amenabilidade à formalização varia bastante.
Eu a classificaria aproximadamente assim, da mais receptiva para a menos receptiva à IA e à formalização em Lean:
1. Análise real clássica
Limites, continuidade, diferenciação, integração de Riemann e Lebesgue.
Grande parte já possui infraestrutura sólida em Lean.
2. Análise complexa
Teorema de Cauchy, resíduos, funções holomorfas.
Bastante formalizável, embora ainda haja lacunas em resultados avançados.
3. Equações diferenciais ordinárias (EDOs)
Existência, unicidade, estabilidade.
Boa combinação de teoria e verificabilidade.
4. Análise funcional clássica
Espaços de Banach e Hilbert.
Operadores lineares.
Teoremas como Hahn–Banach, Banach–Steinhaus e Open Mapping já são relativamente acessíveis à formalização.
5. Equações diferenciais parciais (EDPs)
O desafio cresce significativamente.
Argumentos de regularidade, estimativas a priori e métodos variacionais geram provas longas e altamente dependentes de resultados auxiliares.
6. Análise harmônica moderna
Operadores singulares.
Espaços de Hardy e BMO.
Decomposição de Calderón–Zygmund.
Técnicas sofisticadas de interpolação.
7. Análise geométrica
Fluxo de Ricci.
Fluxo de curvatura média.
Equações de Monge–Ampère.
Combina geometria diferencial, EDPs e topologia.
8. Análise microlocal
Operadores pseudodiferenciais.
Wavefront sets.
Distribuições.
Uma das áreas mais difíceis de formalizar.
9. Teoria espectral de operadores infinitos
Operadores não limitados.
Espectros contínuos.
C*-álgebras.
Álgebra de von Neumann.
10. Geometria não comutativa
A abordagem analítica de Alain Connes combina análise funcional, teoria espectral, K-teoria e álgebra não comutativa.
Está entre os maiores desafios atuais para a formalização.
Se compararmos a análise com outras grandes áreas da matemática, o panorama fica aproximadamente assim:
Combinatória → muito receptiva.
Álgebra computacional → muito receptiva.
Geometria euclidiana → muito receptiva.
Teoria dos números → receptividade intermediária.
Análise clássica → intermediária.
Análise moderna (EDPs, análise geométrica, microlocal, espectral) → baixa receptividade.
Geometria aritmética → baixa receptividade.
Geometria algébrica derivada → muito baixa receptividade.
Programa de Langlands → extremamente baixa receptividade.
O principal obstáculo da análise moderna não é apenas a complexidade dos enunciados, mas a natureza das provas. Elas frequentemente envolvem:
cadeias longas de estimativas;
argumentos de compacidade e convergência;
múltiplos limites;
escolhas delicadas de parâmetros;
interação entre estruturas contínuas e infinitas.
Esses elementos são mais difíceis de decompor em pequenos passos formais do que, por exemplo, argumentos predominantemente algébricos ou combinatórios. Por isso, embora a infraestrutura de Lean para análise tenha avançado muito, análise geométrica, análise microlocal e EDPs avançadas continuam entre os ramos mais resistentes à formalização completa e ao uso eficaz de IA na pesquisa de fronteira.

2026-08-02 13:27:00 UTC

- reply

Se o critério é resistência à formalização em Lean e aos atuais sistemas de IA matemática (como Aristotle, DeepMind AlphaProof, DeepSeek-Prover etc.), uma classificação plausível é:
1. Geometria Algébrica Derivada (Derived Algebraic Geometry – DAG)
∞-categorias
categorias derivadas
stacks derivados
espectros
geometria espectral
principais autores: Jacob Lurie, Bertrand Toën, Gabriele Vezzosi
2. Programa de Langlands (especialmente Langlands geométrico)
formas automórficas
representações de Galois
feixes perversos
categorias derivadas
principais autores: Dennis Gaitsgory, Edward Frenkel, Laurent Fargues
3. Geometria aritmética moderna
espaços perfeitóides
diamantes
teoria de Hodge p-ádica
cohomologia étale avançada
principais autores: Peter Scholze, Bhargav Bhatt
4. ∞-Categorias e Higher Category Theory
(∞,1)-categorias
(∞,n)-categorias
quasi-categorias
modelos de Joyal
principal autor: Jacob Lurie
5. Teoria da Homotopia Estável
espectros
homotopia cromática
topological modular forms (TMF)
cobordismo
principais autores: Douglas Ravenel, Michael Hopkins
6. Topologia algébrica moderna
teoria de obstrução
sequências espectrais
cohomologia generalizada
teoria K
7. Análise funcional moderna
álgebras de operadores
álgebras de von Neumann
C*-álgebras
teoria de índices
geometria não comutativa
principais autores: Alain Connes
8. Geometria simplética moderna
Floer homology
teoria Gromov–Witten
categorias de Fukaya
simetria espelho homológica
9. Geometria algébrica clássica de alto nível
EGA
SGA
teoria dos esquemas
stacks
moduli
10. Teoria dos números moderna
conjectura de Birch–Swinnerton-Dyer
Iwasawa
Selmer
$L$-functions
curvas elípticas
modularidade
Essas áreas compartilham características que as tornam particularmente resistentes à formalização:
alto grau de abstração;
dependências profundas entre teorias;
grande quantidade de infraestrutura matemática necessária antes de enunciar resultados;
uso frequente de argumentos implícitos e "padrões" aceitos pela comunidade, mas difíceis de tornar completamente explícitos;
bibliotecas formais ainda incompletas para muitos dos conceitos centrais.
Se a pergunta for especificamente qual área provavelmente oferecerá o maior retorno científico ao formalizar novos resultados com IA, eu destacaria três frentes como prioritárias:
1. Geometria algébrica derivada.
2. Geometria aritmética (especialmente trabalhos de Scholze e colaboradores).
3. Programa de Langlands (em particular sua versão geométrica).
Essas áreas estão entre as menos amadurecidas em termos de infraestrutura de formalização e, justamente por isso, representam alguns dos maiores desafios e oportunidades para sistemas como Lean e Aristotle.

2026-08-02 04:34:00 UTC

- reply

Como infraestrutura epistemológica, a internet transcende a sua função original de ferramenta de comunicação para atuar como o principal catalisador metodológico na erradicação das abordagens *ad hoc*. Na filosofia da ciência contemporânea, a rede mundial de computadores é vista como o substrato que viabiliza a transição de um empirismo isolado e especulativo para uma verificação distribuída, massiva e ancorada em dados (data-driven).
A capacidade da internet de coletar, processar e compartilhar volumes formidáveis de informações permite que as disciplinas substituam as "gambiarras" teóricas por evidências estruturais. A seguir, detalho como essa infraestrutura digital soluciona a dependência excessiva de formulações *ad hoc* em cada uma das áreas previamente analisadas.
### 1. Ciências Econômicas (Macroeconomia e Modelagem Financeira)
Na Economia, a internet fornece a cura para a miopia empírica que historicamente forçou a criação de variáveis de ajuste *ad hoc*.
* **Big Data e Telemetria Econômica em Tempo Real:** Em vez de depender de relatórios governamentais trimestrais defasados, os economistas agora utilizam a internet para minerar bilhões de transações de cartão de crédito, tendências de busca, dados de geolocalização e raspagem de preços no comércio eletrônico. Essa granularidade permite a observação do comportamento econômico real, eliminando a necessidade de postular "choques invisíveis" ou "mudanças de preferência" para explicar anomalias retroativas.
* **Computação em Nuvem para Modelagem Baseada em Agentes (ABM):** A simulação de milhões de agentes heterogêneos exige um poder computacional monumental. A internet permite o processamento distribuído em nuvem, viabilizando que modelos complexos rodem em tempo hábil. O comportamento macroeconômico passa a emergir dessas simulações massivas na nuvem, dispensando a necessidade do pressuposto *ad hoc* de um "agente representativo" perfeitamente racional.
### 2. Cosmologia e Astrofísica
Para a Cosmologia, que sofre com a impossibilidade de experimentação direta, a internet atua como a espinha dorsal da "Mega-Ciência" colaborativa, maximizando o rigor empírico frente a anomalias celestes.
* **Grids Computacionais Globais e Interferometria:** Projetos como o Event Horizon Telescope (que capturou a primeira imagem de um buraco negro) só são possíveis porque a internet permite a sincronização de observatórios espalhados por todo o planeta, combinando petabytes de dados como se fossem um único telescópio do tamanho da Terra.
* **Ciência Cidadã e Mineração de Dados em Larga Escala:** Plataformas digitais distribuem a análise de dados brutos (como curvas de luz de estrelas ou categorização de galáxias) para computadores pessoais e voluntários globais (projetos como o *Galaxy Zoo* ou *Einstein@Home*). Isso permite identificar padrões estatísticos anômalos reais, reduzindo o risco de que artefatos locais de observação gerem teorias cosmológicas *ad hoc* equivocadas.
### 3. Ciência da Computação (Inteligência Artificial e Aprendizado de Máquina)
A IA encontrava-se afogada em empirismo de tentativa e erro. A internet tem democratizado o rigor e acelerado a formulação de bases teóricas através da transparência descentralizada.
* **Repositórios de Código Aberto e Controle de Versão:** Plataformas baseadas na web (como GitHub e Hugging Face) forçam uma padronização rigorosa. Ao disponibilizar os pesos, a arquitetura completa e os conjuntos de dados de treinamento globalmente, a comunidade científica pode dissecar e auditar os modelos. Se um ajuste *ad hoc* (como um *prompt* específico ou uma camada de penalidade) foi inserido artificialmente para mascarar uma falha do modelo, a comunidade virtual rapidamente o expõe e propõe soluções algorítmicas robustas.
* **Descentralização da Interpretabilidade Mecanicista:** A engenharia reversa das caixas-pretas das redes neurais é uma tarefa hercúlea. A internet permite que milhares de pesquisadores independentes colaborem simultaneamente para decodificar os circuitos matemáticos da IA, substituindo o ajuste cego por uma compreensão dedutiva da topologia da rede.
### 4. Psicologia e Ciências do Comportamento
A internet é, sem eufemismos, a salvação metodológica da Psicologia frente à crise de replicabilidade, fornecendo a própria infraestrutura para a transparência e a universalidade.
* **O Ecossistema da Ciência Aberta (Open Science):** A internet hospeda repositórios inalteráveis (como o Open Science Framework). Ao exigir o pré-registro digital de hipóteses, a rede cria um selo de tempo (timestamp) inviolável. Isso impede terminantemente o *p-hacking* e a invenção de justificativas *ad hoc* (HARKing) após os resultados, pois qualquer desvio do protocolo original registrado online fica permanentemente visível.
* **Plataformas de Amostragem Global (Crowdsourcing):** Historicamente, os efeitos psicológicos falhavam em ser replicados porque eram testados apenas em estudantes ocidentais, exigindo condicionantes socioculturais *ad hoc* posteriores. Plataformas web permitem o recrutamento instantâneo de participantes na Ásia, África, Europa e Américas simultaneamente. Isso expõe imediatamente quais teorias comportamentais são universais e quais são meros artefatos culturais locais, sem espaço para desculpas retrospectivas.
### 5. Medicina Clínica e Farmacologia
Na Medicina, a internet transforma a heurística pragmática (o *ad hoc* clínico) em conhecimento epidemiológico estruturado e contínuo.
* **Agregação de Evidências do Mundo Real (Real-World Evidence - RWE):** Dispositivos vestíveis conectados à internet (smartwatches, biossensores) e prontuários eletrônicos unificados coletam terabytes de dados fisiológicos ininterruptamente. Quando um médico utiliza um medicamento *off-label* (de forma puramente *ad hoc*), os resultados desse uso não se perdem mais no isolamento do consultório. A rede os envia para bancos de dados centrais, transformando anedotas clínicas em poderosos estudos observacionais massivos.
* **Compartilhamento de Genômica e Biobancos em Nuvem:** A identificação de biomarcadores para a Medicina de Precisão depende da análise comparativa de genomas humanos. A infraestrutura de internet de alta velocidade permite o compartilhamento internacional de dados de sequenciamento genético. Isso garante que a identificação de quais perfis moleculares respondem a quais terapias ocorra de forma sistemática e algorítmica, eliminando o achismo terapêutico fundamentado em biologia incompleta.
A internet atua como um agente de rigor implacável, onde a opacidade que protegia o uso injustificado de expedientes *ad hoc* é dissolvida pela transparência, pelo escrutínio coletivo e pelo excesso de dados probatórios.
Qual dessas transformações infraestruturais promovidas pela internet você considera mais urgente ou desafiadora para o atual paradigma científico?

2026-08-02 03:45:12 UTC

- reply

Pensou por 34s
Tomando Hamming de forma literal, eu priorizaria problemas que tenham três coisas ao mesmo tempo: importância de longo prazo, uma via concreta de ataque agora e espaço para resultados parciais que outros possam usar. Em psicologia, isso empurra a agenda para problemas de fundação e de tradução clínica, não para perguntas grandiosas sem ponto de entrada. Essa é uma inferência estratégica a partir do conselho dele.
1. Validade de medida e de construtos psicológicos
Este é o melhor problema estratégico porque quase todo o resto da psicologia depende dele. A literatura recente trata as fragilidades de mensuração como um problema de base, não apenas de “más práticas”: a revisão sobre QRFs aponta que as crises da psicologia decorrem também de fundamentos teóricos e filosóficos insuficientes, e o artigo da Annual Review sobre validação de escalas mostra que “o que conta como evidência” continua sendo uma questão central. Há ataque concreto aqui: validade de construto, invariância, multi-método, generalização temporal e contextual, e melhor modelagem das fontes de erro.
2. Quais intervenções psicológicas funcionam, para quais problemas, em contextos reais
Isso é altamente importante e claramente atacável. A revisão em Annual Review sobre intervenções de sessão única encontrou 24 revisões sistemáticas, 415 ensaios únicos e concluiu que há utilidade clínica para certos problemas e populações, mas também necessidade explícita de pesquisa de implementação para integrar essas intervenções nos sistemas de cuidado. Em termos hammingianos, é um problema com porta de entrada, métrica de progresso e utilidade imediata.
3. Personalização do tratamento e heterogeneidade de resposta
Aqui está uma fronteira boa porque a evidência atual já mostra que o efeito médio é grosseiro demais para decisões individuais. A revisão sobre intervenções personalizadas em adolescentes encontrou um efeito favorável pequeno, porém significativo, e a revisão sobre HiTOP/seleção personalizada de tratamento diz explicitamente que a tradução para decisão clínica “ainda tem um longo caminho” e que a metodologia é uma área aberta. Este é um problema adequado porque já existe uma maquinaria empírica, mas ainda falta refinamento suficiente para uso clínico robusto.
4. Determinantes causais da piora da saúde mental juvenil
A importância é muito alta, e o problema é suficientemente concreto para ser trabalhado com desenhos longitudinais, quase-experimentais e estudos de coorte. A literatura recente descreve um aumento substancial de ansiedade, sofrimento psicológico, autoagressão, suicídio e sintomas depressivos entre jovens, embora com variação entre países e estudos. Isso o torna relevante, mas também exige cautela: é um problema grande demais para ser tratado como uma única hipótese simples, então ele fica abaixo de mensuração e intervenção.
5. Misinformação, revisão de crenças e resistência à correção
Este é um bom problema psicológico porque é socialmente crucial e experimentalmente manejável. A revisão da Nature diz que a misinformation afeta julgamentos, persiste após correção e exige entender fatores cognitivos, sociais e afetivos, além de comparar prebunking e debunking. A revisão de 2024 reforça que a persistência da misinformation decorre de vieses motivacionais e cognitivos e que a inoculação pode ser uma estratégia promissora. Em termos de Hamming, é importante, publicável por etapas e com impacto fora da academia.
6. Polarização social e mecanismos de identidade de grupo
Eu colocaria este um pouco abaixo de misinformation, mas ainda bem acima de temas mais difusos. O artigo da Communications Psychology argumenta que a polarização de grupo sustenta a polarização política e liga isso à formação de identidade social em interação. É um problema com clara relevância pública e boa compatibilidade com métodos experimentais e longitudinais, mas ainda carece de uma teoria unificada tão operacional quanto as duas prioridades acima.
Minha ordem final seria, portanto: 1) mensuração/validade de construtos, 2) intervenções escaláveis e engajamento em cuidado, 3) personalização/heterogeneidade de resposta, 4) saúde mental juvenil, 5) misinformation e revisão de crenças, 6) polarização social. Essa ordem privilegia problemas em que já existe um ataque concreto e em que um resultado parcial teria valor cumulativo — exatamente o tipo de terreno que Hamming consideraria maduro.
Se quiser, , com “posso transformar isso em uma versão ainda mais operacional”, “melhor tese de doutorado” e “melhor programa de pós-doutorado” para cada item.

2026-08-02 00:56:53 UTC

- reply

{{cite web
| title = Os 7 maiores Conquistadores da História Incrível História
| url = https://incrivelhistoria.com.br/7-maiores-conquistadores-historia/
| date = 2024-05-11
| archiveurl = http://archive.today/y4UPT
| archivedate = 2024-05-11 }}

2026-08-02 00:56:39 UTC

- reply

{{cite web
| title = Quem conquistou mais território: Napoleão, Gêngis Khan ou Alexandre? …
| url = https://super.abril.com.br/mundo-estranho/quem-conquistou-mais-territorios-napoleao-hitler-gengis-khan-ou-alexandre/
| date = 2020-12-23
| archiveurl = http://archive.today/vFFu7
| archivedate = 2020-12-23 }}

2026-08-02 00:56:01 UTC

{{cite web
| title = Conheça os 10 maiores generais de todos os tempos; Napoleão lidera - …
| url = https://epocanegocios.globo.com/Mundo/noticia/2022/09/conheca-os-10-maiores-generais-de-todos-os-tempos-segundo-matematica-napoleao-lidera.html
| date = 2023-02-18
| archiveurl = http://archive.today/y88oa
| archivedate = 2023-02-18 }}

2026-08-01 22:01:18 UTC

- reply

{{cite web
| title = Senia Sheydvasser's answer to What is the application of modern algeb…
| url = https://www.quora.com/What-applications-does-modern-algebra-have/answer/Senia-Sheydvasser?no_redirect=1
| date = 2024-01-02
| archiveurl = http://archive.today/xA73Z
| archivedate = 2024-01-02 }}
Este texto explora as diversas aplicações da álgebra moderna, tratando-a tanto como o estudo de estruturas abstratas quanto como uma ferramenta prática essencial. O autor detalha como os grupos e álgebras de Lie simplificam a resolução de equações diferenciais complexas através da análise de simetrias matemáticas. Além disso, a obra destaca a importância dos semianéis na otimização de processos computacionais e sistemas de engenharia modernos. No campo da segurança digital, a álgebra fundamenta a criptografia de chaves públicas, utilizando curvas elípticas para garantir a proteção de dados. Por fim, o autor menciona a relevância dessas teorias em áreas emergentes, como a estatística algébrica e a robótica.

2026-08-01 21:59:38 UTC

{{cite web
| title = Vamsi Pritham Pingali's answer to Is advanced mathematics useless? - …
| url = https://www.quora.com/Is-advanced-mathematics-useless/answer/Vamsi-Pritham-Pingali
| date = 2024-01-06
| archiveurl = http://archive.today/nl4Xr
| archivedate = 2024-01-06 }}
O texto apresenta a perspectiva de um professor do Instituto Indiano de Ciência sobre a utilidade prática da matemática avançada. O autor admite que, embora muitos matemáticos busquem o conhecimento por puro prazer intelectual, diversas teorias abstratas acabam encontrando aplicações vitais no mundo real. Como exemplos, ele cita o uso da teoria dos números na criptografia para segurança de dados e da análise harmônica na medicina, especificamente em exames de ressonância magnética. Além disso, a fonte destaca como a geometria diferencial e tropical contribuem para o funcionamento do GPS, o design arquitetônico e até a estabilidade do sistema bancário. Dessa forma, o conteúdo argumenta que ramos antes considerados obscuros tornaram-se ferramentas essenciais para a tecnologia e a economia modernas.

2026-08-01 09:33:34 UTC

https://github.com/openai/ten-proofs.git
{{cite web
| title = Ten advances in mathematics and theoretical computer science OpenAI
| url = https://openai.com/index/ten-advances-in-mathematics/
| date = 2026-08-01
| archiveurl = http://archive.today/FiYtJ
| archivedate = 2026-08-01 }}
As fontes descrevem uma série de dez avanços significativos em matemática e ciência da computação teórica alcançados pela OpenAI por meio de um modelo de inteligência artificial de última geração. Os documentos detalham resoluções para problemas que permaneceram sem progresso por décadas, abrangendo áreas como geometria de alta dimensão, teoria dos grupos e criptografia de rede. Para garantir a precisão e a verificabilidade das descobertas, a organização disponibilizou um repositório no GitHub contendo certificados de formalização na linguagem Lean 4. Além das provas técnicas, os textos discutem a responsabilidade ética no uso de IA para pesquisa acadêmica e a importância da transparência na autoria entre humanos e máquinas. Esse conjunto de resultados demonstra o potencial da tecnologia em atuar como um colaborador sofisticado na expansão do conhecimento científico moderno.

2026-08-01 02:31:58 UTC

{{cite web
| title = 10 gerenciadores de senhas: os prós e contras de cada serviço • Tecno…
| url = https://tecnoblog.net/guias/10-gerenciadores-de-senhas-os-pros-e-contras-de-cada-servico/
| date = 2026-08-01
| archiveurl = http://archive.today/41N87
| archivedate = 2026-08-01 }}

2026-08-01 02:28:01 UTC

{{cite web
| title = How to Exist
| url = https://www.raptitude.com/2026/07/how-to-exist/
| date = 2026-08-01
| archiveurl = http://archive.today/IZq6V
| archivedate = 2026-08-01 }}
O texto explora a dificuldade humana de simplesmente existir no momento presente sem buscar distrações ou mudanças constantes. O autor argumenta que as pessoas possuem uma espécie de alergia ao ócio, recorrendo a comportamentos compulsivos, como o uso de celulares e o consumo excessivo, para fugir do desconforto de não fazer nada. Para ilustrar essa resistência, são citados estudos onde indivíduos preferiram sofrer choques elétricos a ficarem sozinhos com seus próprios pensamentos. Como solução, o artigo propõe um exercício de meditação simplificado, focado em aceitar todas as sensações durante curtos intervalos de respiração. Ao praticar essa aceitação por alguns segundos, torna-se possível reduzir a ansiedade e desenvolver uma convivência mais harmoniosa com a própria existência. Dessa forma, aprender a ficar quieto transforma o cotidiano, tornando situações tediosas ou desconfortáveis muito mais suportáveis.

2026-08-01 01:22:41 UTC

NOVELA JESUS: Jesus ascende ao céu
https://blossom.primal.net/8aaede6be2fbde57b12509d1b1bd939427a22b570ea06f00cffed5fdb634ec40.mp4

2026-08-01 00:40:11 UTC

https://web.archive.org/web/20230413063935/https://www.chinesja.com.br/2016/05/lingua-chinesa-livros-PDF-materiais-download.html?m=1
Guia de Materiais e Livros Gratuitos para Aprender Chinês

2026-07-31 21:04:10 UTC

- reply

BAEZ, John C.; MUNIAIN, Javier P. Gauge Fields, Knots and Gravity. Singapore: World Scientific, 1994.
https://d.cess.network/n1/794169845.pdf
O livro "Gauge Fields, Knots, and Gravity" de John C. Baez e Javier P. Muniain apresenta uma introdução acessível a desenvolvimentos da física moderna e matemática — como relatividade geral, teoria quântica, teoria de gauge e a teoria dos nós —, buscando unir conceitos de geometria diferencial, topologia e gravitação quântica.

2026-07-31 20:50:43 UTC

HAAG, Rudolf. Local Quantum Physics: Fields, Particles, Algebras. 2. rev. and enl. ed. Berlin: Springer-Verlag, 1996. (Texts and Monographs in Physics).
https://web.archive.org/web/20260731203910/https://d.cess.network/n1/795152697.pdf
O livro *Local Quantum Physics: Fields, Particles, Algebras*, escrito por Rudolf Haag, apresenta uma síntese abrangente e rigorosa entre a teoria quântica e a relatividade especial por meio da abordagem algébrica. A obra estabelece os fundamentos conceituais e matemáticos da física quântica relativística, utilizando redes de álgebras de observáveis locais associadas ao espaço-tempo para analisar a estrutura de campos, partículas e interações.

2026-07-31 02:50:20 UTC

- reply

https://primal.net/e/nevent1qqspswgza5vx5qkq57m5tlpf66r20l6ewszdpww6sarvmp6lwpp3nwsxl9sus

2026-07-31 02:02:42 UTC

- reply

{{cite web
| title = Alzheimer: estudo brasileiro acha marcador para acelerar o diagnóstico
| url = https://www.metropoles.com/saude/alzheimer-estudo-brasileiro
| date = 2026-07-31
| archiveurl = http://archive.today/xWzug
| archivedate = 2026-07-31 }}

2026-07-31 02:02:28 UTC

- reply

{{cite web
| title = Um exame de sangue para detectar o Alzheimer antes dos sintomas: o te…
| url = https://www.tuasaude.com/news/2026/07/30/um-exame-de-sangue-para-detectar-o-alzheimer-antes-dos-sintomas-o-teste-de-p-tau217-que-a-fda-autorizou/
| date = 2026-07-31
| archiveurl = http://archive.today/uOAsb
| archivedate = 2026-07-31 }}

2026-07-31 02:01:25 UTC

- reply

**Ordem decrescente de prioridade dos problemas em aberto da inteligência artificial, segundo os critérios de Hamming.**
Hamming exige: problema *certo* (importância de longo prazo e impacto real), *tempo certo* (técnicas e sistemas maduros o suficiente) e *modo certo* (ataque experimental, de avaliação ou de engenharia concreto). Importância isolada não basta — sem caminho viável, é especulação. Persistência cega desperdiça esforço; o primeiro resultado útil (método de avaliação robusto, técnica de controle, melhoria mensurável de generalização ou confiabilidade) leva o crédito; o trabalho deve permitir que outros construam em cima; mente preparada, visão, coragem, tolerância à ambiguidade e “extra mile” são essenciais. Em 2026, com modelos de fronteira cada vez mais capazes, agentes autônomos emergentes e riscos crescentes de desalinhamento e uso indevido, a ordem realista e estratégica é:
### 1. Alinhamento, controle e supervisão escalável de sistemas avançados (incluindo detecção de decepção, scheming, goal misgeneralization e oversight)
Prioridade máxima.
Como garantir que sistemas cada vez mais capazes persigam objetivos pretendidos, especialmente em regimes de supervisão humana limitada ou quando os sistemas superam especialistas humanos em domínios específicos. Inclui avaliações de capacidades perigosas, monitoramento de agentes e métodos de controle robustos.
**Por que Hamming aprovaria**: ataque experimental e de engenharia concreto (evals, interpretabilidade, técnicas de treinamento/controle); “tempo certo” com sistemas de fronteira já demonstrando comportamentos preocupantes; resultados parciais (melhores evals, técnicas de monitoramento, métodos de oversight) são imediatamente úteis e construíveis por outros. Impacto potencialmente existencial.
### 2. Raciocínio confiável, generalização robusta e aprendizagem contínua (além do scaling puro)
Sistemas atuais ainda falham em raciocínio de longo horizonte, generalização fora da distribuição de treino, aprendizagem contínua sem catástrofe de esquecimento e julgamento de qualidade de pesquisa/ideias.
**Realismo estratégico**: ataque via novos paradigmas de treinamento, arquiteturas, dados sintéticos e benchmarks de raciocínio; progresso parcial (melhor desempenho em tarefas de multi-etapas, menor necessidade de dados, melhor transferência) é mensurável e de alto valor prático.
### 3. Interpretabilidade e compreensão mecânica de modelos de grande escala
Entender *por que* os modelos fazem o que fazem, em nível de circuitos, representações e processos de decisão, de forma escalável.
**Por que prioritário**: ataque experimental crescente (técnicas de probing, circuit analysis, sparse autoencoders etc.); essencial para diagnóstico de falhas, alinhamento e confiança; resultados parciais (interpretação de comportamentos específicos, ferramentas melhores) permitem construção coletiva.
### 4. Agência confiável de longo horizonte e integração embutida/robótica (incluindo data efficiency e long-horizon task completion)
Como construir agentes que completem tarefas complexas de dezenas a centenas de passos em ambientes reais, com eficiência de dados e robustez a erros compostos.
**Avaliação Hamming**: ataque via hierarchical policies, TAMP + learning, dados de demonstração mais eficientes e simulação; impacto prático alto (robótica, automação); progresso parcial é construível e testável em benchmarks reais.
### 5. Avaliação rigorosa de capacidades perigosas e riscos emergentes (CBRN, cyber, persuasão, poder de agentes)
Desenvolver evals confiáveis, preditivos e difíceis de “hackear” para capacidades que podem causar dano em escala.
**Realismo**: ataque direto via design de benchmarks, red-teaming e monitoramento; progresso parcial (evals melhores, métodos de forecasting) é de alto valor imediato para governança e desenvolvimento responsável.
### 6. Problemas de mais longo horizonte ou com ataque ainda mais difuso (ex.: arquitetura universal de inteligência, computacionalização completa da epistemologia, pluralismo de valores em escala global)
Importantes conceitualmente, mas com caminhos de ataque menos maduros ou resultados parciais mais difíceis de obter no curto/médio prazo. Melhor atacados como parte de uma carteira maior ou por equipes com preparação específica.
### Princípios estratégicos Hamming aplicados à IA
- Mantenha uma lista de 10–20 problemas técnicos concretos (técnicas específicas de oversight, benchmarks de generalização, métodos de interpretabilidade escalável, evals de capacidades perigosas). Quando surgir um novo modelo, técnica de treinamento ou resultado empírico, teste contra a lista.
- Prefira problemas em que progresso incremental gera valor real (melhor eval, técnica de monitoramento mais robusta, melhoria mensurável de confiabilidade) — isso cria “juros compostos” e atrai colaboradores.
- Porta aberta: colabore com pesquisadores de segurança, engajadores de sistemas de fronteira, neurocientistas e especialistas em risco; pistas frequentemente vêm de interações com sistemas reais.
- Extra mile e hooks: entenda profundamente tanto as capacidades atuais quanto as falhas; isso prepara para soluções inesperadas.
- Venda o trabalho: resultados reproduzíveis, benchmarks claros e métodos que outros possam usar importam mais do que claims isolados.
- Visão e coragem: tenha direção; ataque problemas importantes com persistência, mas saiba pivotar quando evidências novas mudarem o panorama ou quando um caminho se mostrar estéril.
- Condições “ideais” de laboratório às vezes afastam da realidade de deploy e incentivos competitivos; o que importa é energia, compromisso e capacidade de produzir trabalho que realmente reduza riscos ou aumente confiabilidade.
Seja realista: a probabilidade de “resolver a IA” de uma vez é baixa. O valor está em escolher problemas em que o esforço tem chance real de produzir avanço significativo (mesmo parcial), transformar você no processo e deixar algo sobre o qual outros possam construir. Alinhamento/controle escalável e raciocínio/generalização confiável maximizam essa chance hoje por combinarem urgência, ataques experimentais concretos e impacto potencialmente transformador; interpretabilidade e agência de longo horizonte oferecem terreno igualmente fértil com progresso mensurável.

2026-07-31 01:34:46 UTC

- reply

**Ordem decrescente de prioridade dos Problemas do Milênio restantes, segundo os critérios de Hamming.**
Hamming exige três coisas simultâneas: problema *certo* (importância real de longo prazo), *tempo certo* (técnicas e contexto maduros o suficiente) e *modo certo* (ataque concreto, ponto de partida razoável). Importância isolada não basta — ninguém em Bell Labs trabalhava em antigravidade porque não havia ataque. Persistência cega no problema errado desperdiça a vida; o primeiro a produzir resultado definitivo leva o crédito; o trabalho deve permitir que outros construam em cima; e a “mente preparada” + visão + coragem + tolerância à ambiguidade são essenciais.
Aplicando isso de forma realista em 2026 (com o estado atual das técnicas, progresso parcial e risco de esterilização), a ordem é:
### 1. Birch and Swinnerton-Dyer (BSD)
Maior prioridade estratégica entre os restantes.
Há maquinaria concreta e ativa: curvas elípticas, L-funções, métodos p-ádicos, computação de ranks e Sha em famílias, conexões com geometria aritmética. Progresso parcial constante e publicável. A área atrai muita gente, o que gera pistas (o equivalente à “porta aberta” de Hamming). Contribuições incrementais (casos especiais, ranks, relações com a forma fraca) permitem que outros construam em cima imediatamente.
**Por que Hamming aprovaria**: ataque razoável existe; o problema está “no tempo certo” para quem prepara a mente nas ferramentas certas; não é puro prestígio sem ponto de partida. Risco de persistência estéril é menor que nos outros.
### 2. Navier–Stokes existence and smoothness (e regimes parciais relacionados)
Relevância física real + progresso em derivações microscópico → mesoscópico → macroscópico e em regimes especiais/longos tempos. Técnicas de análise, probabilidade e equações diferenciais parciais oferecem pontos de entrada. Resultados parciais são úteis e construíveis por outros.
**Realismo Hamming**: a versão completa ainda é dura, mas dá para atacar pedaços com ataque claro (não é “teleportação”). Evita o erro de Einstein de atacar unificação cedo demais sem ferramentas. Condições de trabalho “ideais” importam menos que ter visão e energia.
### 3. Yang–Mills existence and mass gap (casos simplificados / dimensões baixas / abordagens construtivas)
Fundamentos matemáticos de uma teoria que físicos usam diariamente. Progresso em dimensões inferiores e métodos estocásticos/probabilísticos está avançando lentamente. Possibilidade de resultados que outros usem de imediato.
**Por que fica aqui**: ataque mais construtivo que em RH ou P vs NP; área em que transferências de técnicas (outsiders, no sentido de Hamming) historicamente ajudam. Ainda exige coragem e tolerância à ambiguidade, mas não é terreno completamente sem ponto de partida.
### 4. Hipótese de Riemann
Importância máxima (milhares de resultados condicionais a ela; o “maior problema aberto da matemática pura” segundo muitos). Houve avanços quantitativos recentes sobre a distribuição de zeros longe da reta crítica (Guth–Maynard e trabalhos correlatos).
**Por que não é mais alta**: o ataque completo ainda é fraco. Hamming diria que é o equivalente moderno de tentar unificação sem as ferramentas certas — risco alto de “persistir e nunca obter resultados”. Prepare a mente (estude zeros, funções L, distribuição de primos), mantenha na lista de 10–20 problemas, mas não aposte a carreira inteira sem um ponto de partida novo e concreto. O primeiro a produzir resultado definitivo leva tudo; segundos são esquecidos.
### 5. Hodge Conjecture
Ponte profunda entre topologia, análise complexa e geometria algébrica. Progresso reportado como muito limitado nas últimas décadas. Extremamente técnico.
**Avaliação Hamming**: importância alta, mas ataque atual parece insuficiente para a maioria. Risco de trabalhar duro no problema errado no tempo errado. Melhor para quem já tem preparação massiva e visão clara na área; para a maioria, baixa prioridade estratégica.
### 6. P versus NP
Importância enorme (computação, criptografia, complexidade).
**Por que última**: parece exigir técnicas genuinamente novas que ainda não existem. Hamming seria brutalmente claro: sem ataque razoável, não é um “problema importante” no sentido dele (é mais próximo de antigravidade). Trabalhar nisso sem um ponto de partida concreto tem alto risco de desperdiçar anos. Mantenha na lista mental; ataque só se surgir uma ideia genuinamente nova.
### Princípios estratégicos Hamming aplicados aos Problemas do Milênio
- Tenha uma lista de 10–20 problemas (incluindo variantes parciais e problemas vizinhos). Quando surgir uma técnica nova, teste contra a lista.
- Prefira problemas em que progresso parcial é possível e publicável — isso gera “juros compostos” de conhecimento e oportunidades.
- Porta aberta + outsiders: pistas frequentemente vêm de áreas vizinhas ou de pessoas com “sabor de cérebro” diferente.
- Extra mile e hooks: entenda profundamente resultados menores; eles se tornam ferramentas inesperadas anos depois.
- Venda o trabalho: apresentação clara (papers, palestras, conversas) é obrigatória; trabalho incompreensível é quase inútil.
- Visão > genialidade isolada: ter direção (mesmo que mude) produz distância linear, não passeio aleatório.
- Saiba quando persistir e quando abandonar: teimosia no problema errado condena; vontade forte no certo produz resultados.
- Condições “perfeitas” (institutos isolados) às vezes esterilizam; o que importa é energia, compromisso emocional e ataque.
Seja realista: a probabilidade de qualquer indivíduo resolver um Problema do Milênio completo é baixíssima. O valor está em escolher aqueles em que o esforço tem chance real de produzir avanço significativo, transformar você no processo e deixar algo sobre o qual outros possam construir. BSD e os aspectos parciais de Navier–Stokes/Yang–Mills maximizam essa chance hoje; RH exige preparação excepcional e um ataque novo; P vs NP e Hodge plena são, para a maioria, armadilhas de prestígio sem ponto de partida.

2026-07-31 00:25:56 UTC

{{cite web
| title = hamming advice
| url = https://www.mccurley.org/advice/hamming_advice.html
| date = 2025-07-26
| archiveurl = http://archive.today/DLq5k
| archivedate = 2025-07-26 }}
O texto apresenta reflexões de R. W. Hamming sobre como alcançar a excelência na pesquisa científica e o que diferencia trabalhos medíocres de descobertas históricas. O autor enfatiza que a grandeza não é fruto do acaso, mas da escolha consciente de problemas fundamentais que possuem um caminho viável de solução. Ele destaca a importância do comprometimento emocional, da coragem para desafiar dogmas e da preparação constante da mente para identificar oportunidades raras. Além disso, Hamming sugere que manter a porta aberta para novas ideias e colaborações é mais produtivo do que o isolamento total. A obra serve como um guia para profissionais que desejam que seu legado vá além de meras notas de rodapé, focando em visão estratégica e esforço persistente.

2026-07-30 21:26:50 UTC

- reply

{{cite web
| title = Sebastian Raschka, PhD (@rasbt): "The Kimi K3 architecture figure for…
| url = https://substack.com/@rasbt/note/c-303378576
| date = 2026-07-30
| archiveurl = http://archive.today/KO1Xw
| archivedate = 2026-07-30 }}

2026-07-30 17:19:03 UTC

git clone https://huggingface.co/moonshotai/Kimi-K3
https://github.com/MoonshotAI/Kimi-K3.git
https://web.archive.org/web/20260730094440/https://www.kimi.com/blog/kimi-k3
As fontes descrevem o lançamento do Kimi K3, desenvolvido pela Moonshot AI, que se destaca como o primeiro modelo de inteligência artificial de pesos abertos a atingir a escala de 2,8 trilhões de parâmetros. Utilizando uma arquitetura inovadora de Mistura de Especialistas (MoE), a ferramenta apresenta capacidades nativas multimodais e uma janela de contexto de 1 milhão de tokens. O modelo é projetado para tarefas complexas de raciocínio, trabalho de conhecimento e programação de longo horizonte, demonstrando desempenho competitivo frente a sistemas proprietários líderes de mercado. Além dos detalhes técnicos e benchmarks, os textos detalham o ecossistema de ferramentas associadas, como o Kimi Code, e as diretrizes de licenciamento para uso público. As publicações servem como um guia abrangente sobre a infraestrutura, os métodos de quantização e as diversas formas de implementação da tecnologia.

2026-07-30 15:56:37 UTC

- reply

Fibonacci Is Hiding Inside the Einstein Tile | PreserveTube
https://preservetube.com/watch?v=XXU9A8yWL_k
Este vídeo explora a fascinante matemática por trás do "Einstein" (ou "hat"), o primeiro monotile capaz de cobrir um plano infinito apenas com padrões aperiódicos, ou seja, que nunca se repetem. O vídeo detalha como este formato desafia tilagens tradicionais e revela conexões surpreendentes com a sequência de Fibonacci.
Principais tópicos abordados:
O Einstein (Hat Tile): A história e a descoberta (em 2023) deste formato único que resolveu um problema de décadas sobre tilagens aperiódicas (01:27 - 02:14).
Algoritmo de Substituição: O método usado para criar clusters de peças baseados na sequência de Fibonacci (ex: 1, 8, 55, 377), utilizando uma relação de recursão específica (05:04 - 08:30).
Construção de Labbé–Selinger: Um método inovador que "pinta" as tilagens usando um mapa fractal, onde a orientação de cada peça é determinada pela cor da região fractal subjacente (09:00 - 15:42).
A Conexão Oculta: O vídeo explica como o crescimento por substituição e a construção fractal estão fundamentalmente interligados através de sistemas de funções iteradas (15:43 - 17:25).
Simetria Infinita: A demonstração de uma tilagem com simetria rotacional de ordem 3, criando um "floco de neve" infinito que nunca se repete (18:35 - 20:14).
O vídeo termina com uma explicação matemática elegante sobre por que a recursão das peças salta precisamente a cada quatro números de Fibonacci, utilizando a matriz geradora de Fibonacci (20:15 - 21:10).

2026-07-29 11:17:30 UTC

https://w.wiki/Srgi
Este texto consiste em um verbete enciclopédico detalhado sobre Vitória, a capital do estado do Espírito Santo. O conteúdo abrange desde a fundação histórica em 1551 até indicadores contemporâneos de desenvolvimento humano, destacando a cidade como uma das melhores capitais brasileiras para se viver. São apresentados dados cruciais sobre a geografia insular, o clima tropical e a infraestrutura de transportes, incluindo seus importantes portos e aeroporto. Além disso, as fontes exploram aspectos da cultura local, mencionando teatros, museus e o tradicional desfile de carnaval capixaba. Por fim, o material fornece um panorama da administração política e do vigor da economia municipal na região sudeste do Brasil.

2026-07-28 20:59:05 UTC

Na universidade se produz ciência, e a ciência exige questionamento de crenças estabelecidas e busca argumentos que tem base em evidências. Isso geralmente causa tensão com as crenças religiosas ou tradicionais. Daí ser um espaço mais ligado ao progressismo, não necessariamente à esquerda.
Já as igrejas preservam doutrinas, tradição e autoridade moral. Por isso é um espaço mais propício para posições conservadoras, que justificam uma ordem social já estabelecida.
Porém, é bom lembrar que tudo isso pode mudar de acordo com o contexto. No século XIX as universidades eram muito mais conservadoras, e elas podem voltar a ser no futuro. Ao mesmo tempo, o a igreja foi importante para o estabelecimento da esquerda na América Latina, por exemplo, e pode voltar a ser.
Então, essas coisas mudam com o tempo.

2026-07-28 18:01:21 UTC

- reply

A história de como DECIFRAMOS os HIERÓGLIFOS | PreserveTube
https://preservetube.com/watch?v=F0pufMtOnNk
O vídeo narra a fascinante jornada histórica de como os hieróglifos egípcios, um sistema de escrita que permaneceu indecifrável por mais de 1.000 anos, foram finalmente compreendidos.
Principais tópicos abordados:
O Mistério do Egito (0:01 - 3:52): Após o declínio da civilização egípcia e o fechamento dos templos pagãos pelo Império Romano, o conhecimento sobre os hieróglifos foi perdido. Por séculos, estudiosos acreditaram erroneamente que os símbolos eram apenas representações místicas ou filosóficas, e não uma língua funcional.
A Pedra de Roseta (3:52 - 6:12): Descoberta por soldados franceses em 1799 durante a invasão de Napoleão ao Egito, a Pedra de Roseta foi a chave para o enigma. Ela continha o mesmo decreto escrito em três sistemas diferentes: hieróglifos, demótico e grego antigo. Como o grego era compreendido, ela permitiu o início da tradução.
A Conquista de Champollion (6:12 - 10:10): O linguista francês Jean-François Champollion teve papel fundamental. Ele percebeu que os hieróglifos eram um sistema híbrido, combinando sinais fonéticos (sons), ideográficos e determinativos. Ao comparar nomes reais dentro de "cartuchos" (molduras ovais) com o grego e utilizar seu conhecimento da língua copta (descendente do egípcio antigo), ele conseguiu decodificar o sistema em 1822.
O Impacto (10:10 - 14:41): A decifração permitiu que o Egito Antigo "voltasse a falar". Historiadores puderam acessar registros administrativos, textos religiosos, contratos e relatos pessoais, transformando a visão da civilização de um enigma monumental em uma sociedade documentada e rica em detalhes cotidianos.

2026-07-27 18:08:56 UTC

https://blossom.primal.net/fd146f3a9ee7d13e9c401aa23f1a2318024e6c3bfcafd64ec355a90c5964665b.jpg

2026-07-26 20:35:31 UTC

{{cite web
| title = What does GitHub’s security team even do?
| url = https://orchidfiles.com/github-security-team/
| date = 2026-07-26
| archiveurl = http://archive.today/eYc0V
| archivedate = 2026-07-26 }}
O texto descreve uma falha crítica na moderação do GitHub, revelando que milhares de repositórios distribuem vírus e cavalos de Troia livremente por anos. O autor demonstra que qualquer usuário pode localizar essas ameaças usando filtros de busca simples ou inteligência artificial para identificar padrões repetitivos em arquivos README. Apesar de possuir recursos bilionários e tecnologia avançada, a plataforma é criticada por agir de forma reativa e insuficiente diante do problema. O relato destaca que, embora o GitHub tenha removido uma lista específica de dez mil contas maliciosas após denúncias, a empresa falhou em implementar soluções preventivas duradouras. Essa negligência permite que novos repositórios infectados surjam continuamente, expondo a ineficiência das equipes de segurança da Microsoft em combater um esquema de distribuição de malware amplamente conhecido.

2026-07-26 16:15:34 UTC

https://blossom.primal.net/d0058b8aaad8079275741f6bff26b4f28afa65150fcd11ea562343e0cc5e85c9.png
https://blossom.primal.net/1659483c34b3a0fda1c633326636aac6922a2396b7ef221c1084f209743496ea.jpg

2026-07-26 16:11:08 UTC

{{cite web
| title = Use Protocols, Not Services
| url = https://notnotp.com/notes/use-protocols-not-services/
| date = 2026-07-26
| archiveurl = http://archive.today/QKreS
| archivedate = 2026-07-26 }}
O texto argumenta que a privacidade e a liberdade na internet dependem da transição de serviços centralizados para o uso de protocolos abertos. O autor explica que grandes plataformas são alvos fáceis para governos, pois uma única entidade pode ser coagida a implementar censura ou verificação de identidade obrigatória. Diferente de serviços como o Discord, protocolos como IRC, XMPP e Matrix são resilientes porque não possuem uma autoridade centralizadora para controlar todos os usuários. A migração entre empresas privadas é vista como uma solução temporária, já que qualquer corporação comercial eventualmente enfrentará pressões regulatórias semelhantes. O artigo utiliza o e-mail e o protocolo SMTP como exemplos de sistemas que permitem a comunicação independente, mesmo que grandes provedores tentem restringir o acesso. Em suma, a obra defende que a soberania digital só é possível por meio de tecnologias descentralizadas que nenhum governo ou empresa consiga desligar unilateralmente.

2026-07-26 09:51:53 UTC

{{cite web
| title = Humans Haven’t Stopped Evolving Harvard Magazine
| url = https://www.harvardmagazine.com/research/harvard-human-evolution-genes-selective-pressure
| date = 2026-07-26
| archiveurl = http://archive.today/ehDzQ
| archivedate = 2026-07-26 }}
Uma nova pesquisa de geneticistas da Universidade de Harvard contesta a ideia de que a evolução humana estagnou, revelando que nossa espécie passou por mudanças genéticas rápidas nos últimos 10 mil anos. Através da análise do maior banco de DNA antigo já reunido, os cientistas identificaram quase 500 genes que sofreram pressões seletivas recentes, afetando características como a imunidade, a cor da pele e até o tipo sanguíneo. O estudo utilizou métodos estatísticos avançados para distinguir variações evolutivas reais de meras migrações populacionais, demonstrando que o ritmo da seleção natural na verdade acelerou nos últimos milênios. Essas descobertas sugerem que o genoma humano continua a se adaptar de forma constante às transformações culturais, econômicas e ambientais impostas pela civilização moderna. Embora as funções exatas de cada variante ainda exijam estudos aprofundados, os resultados provam que a evolução biológica permanece um processo ativo e dinâmico na humanidade contemporânea.

2026-07-26 09:50:00 UTC

- reply

{{cite web
| title = Idiomas podem ter alcançado auge no mundo há 3.000 anos - 26/07/2026 …
| url = https://www1.folha.uol.com.br/ciencia/2026/07/idiomas-podem-ter-alcancado-pico-de-diversidade-no-mundo-ha-3000-anos.shtml
| date = 2026-07-26
| archiveurl = http://archive.today/4r73L
| archivedate = 2026-07-26 }}

2026-07-26 09:43:45 UTC

- reply

No contexto do Direito, o "santo graal" seria construir um sistema jurídico capaz de realizar justiça de forma consistente, previsível, eficiente e acessível, conciliando segurança jurídica com adaptação às mudanças sociais.
O Direito tem uma característica singular: diferentemente da Matemática ou da Física, seu objetivo não é descobrir leis naturais, mas desenvolver normas e instituições para regular a convivência humana. Por isso, seu "santo graal" é mais institucional do que científico.
Os principais candidatos seriam:
1. Uma teoria universal da justiça
Desde a Antiguidade, filósofos e juristas perguntam:
O que é uma decisão verdadeiramente justa?
É possível conciliar liberdade, igualdade e segurança jurídica?
Existe uma justiça objetiva?
Responder de forma amplamente aceita a essas questões seria uma das maiores conquistas da filosofia do direito.
---
2. Eliminar a insegurança jurídica
Um sistema ideal permitiria que:
casos semelhantes recebessem decisões semelhantes;
as leis fossem claras;
a jurisprudência fosse coerente;
cidadãos e empresas pudessem prever as consequências jurídicas de seus atos.
---
3. Garantir acesso universal à Justiça
Outro grande objetivo é fazer com que qualquer pessoa consiga exercer seus direitos, independentemente de renda, localização ou escolaridade.
Isso envolve:
acesso à assistência jurídica;
processos eficientes;
redução de custos;
linguagem jurídica mais compreensível.
---
4. Conciliar rapidez e qualidade das decisões
Todo sistema jurídico enfrenta um dilema:
decisões rápidas podem comprometer a análise;
decisões muito cuidadosas podem demorar excessivamente.
Encontrar esse equilíbrio é um dos maiores desafios da administração da Justiça.
---
5. Adaptar o Direito às novas tecnologias
O avanço de temas como:
inteligência artificial;
proteção de dados;
biotecnologia;
computação quântica;
ativos digitais;
exige que o Direito desenvolva respostas sem perder seus princípios fundamentais.
O maior "santo graal"
Se fosse necessário escolher apenas um, seria:
> Desenvolver um sistema jurídico que consiga produzir decisões justas, previsíveis, céleres e acessíveis em qualquer conflito, preservando os direitos fundamentais e a segurança jurídica.
Esse ideal reúne praticamente todos os grandes objetivos do Direito: justiça, igualdade perante a lei, eficiência, transparência e proteção dos direitos.
No contexto brasileiro, isso significaria, entre outros aspectos:
reduzir a morosidade processual;
aumentar a uniformidade da jurisprudência;
ampliar o acesso à Justiça;
fortalecer a segurança jurídica;
utilizar tecnologia para melhorar a gestão dos processos sem comprometer garantias fundamentais.
Em outras palavras, o "santo graal" do Direito não é uma lei perfeita, mas um sistema jurídico que transforme os princípios constitucionais em resultados concretos para toda a sociedade, conciliando legitimidade, efetividade e respeito ao Estado de Direito.

2026-07-26 09:28:44 UTC

https://blossom.primal.net/c89fd4e8be30bd460f500fc3f7b0abbd53c46a122d56637f9e28ee267af1a042.jpg

2026-07-26 09:22:40 UTC

{{cite web
| title = Regulamentação forte da IA é melhor para consumidores e empresas
| url = https://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=regulamentacao-forte-ia&id=010150260724
| date = 2026-07-26
| archiveurl = http://archive.today/EJohP
| archivedate = 2026-07-26 }}
Pesquisadores das universidades de Cornell e Carnegie Mellon desenvolveram um modelo teórico que defende a regulamentação centralizada e abrangente da inteligência artificial como o caminho mais seguro para a sociedade. O estudo revela que leis fracas ou parciais podem ser mais prejudiciais do que a ausência total de normas, pois permitem que grandes desenvolvedores transfiram a responsabilidade de segurança para empresas menores. Quando as regras focam apenas em quem aplica a tecnologia, surge um efeito colateral onde os criadores dos modelos básicos negligenciam investimentos em proteção. Em contrapartida, uma legislação que distribui responsabilidades compartilhadas entre produtores e usuários corporativos aumenta a confiabilidade dos produtos e os lucros do setor. Dessa forma, uma governança equilibrada protege o consumidor final ao garantir que metas rigorosas de segurança sejam cumpridas em todas as etapas da cadeia produtiva. A análise conclui que a padronização federal evita uma colcha de retalhos legislativa e promove um ambiente de inovação mais estável e ético.

2026-07-26 03:20:32 UTC

- reply

A Teoria dos Modelos e a Teoria dos Grafos são excelentes exemplos de que a matemática pode atingir um alto grau de abstração e rigor sem depender da Álgebra Abstrata clássica (grupos, anéis, corpos e módulos) nem da análise contínua (limites, derivadas, integrais ou análise em $\mathbb{R}^n$). Elas pertencem, em grande medida, ao universo da chamada matemática discreta e da lógica matemática, onde as estruturas fundamentais são relações, linguagens formais, grafos e objetos finitos ou enumeráveis.
Teoria dos Modelos: estruturas definidas pela lógica
A Teoria dos Modelos estuda a relação entre linguagens formais e as estruturas que satisfazem determinadas sentenças lógicas.
Em vez de começar com operações algébricas ou funções contínuas, parte-se de uma linguagem composta por:
símbolos de constante;
símbolos de função;
símbolos de relação;
variáveis;
conectivos lógicos;
quantificadores.
Uma estrutura é simplesmente um conjunto acompanhado de interpretações para esses símbolos.
Por exemplo, a estrutura
\[
(\mathbb N,+,\times,0,1)
\]
é um modelo da aritmética, enquanto
\[
(\mathbb R,+,\times,<)
\]
é um modelo da teoria dos corpos ordenados.
O objeto central deixa de ser o cálculo ou a manipulação algébrica e passa a ser a pergunta:
> Quais propriedades podem ser expressas logicamente?
ou ainda:
> Quais estruturas satisfazem exatamente o mesmo conjunto de sentenças?
Esse deslocamento do foco — das operações para as propriedades definíveis — confere à disciplina um caráter extremamente estrutural.
O rigor decorre da sintaxe
Na Teoria dos Modelos, praticamente tudo é definido de forma formal.
Há definições precisas para:
fórmula;
termo;
sentença;
interpretação;
satisfação;
consequência lógica;
teoria;
completude;
elementaridade.
Os teoremas são provados por indução sobre fórmulas, argumentos combinatórios e construções lógicas.
Não aparecem:
derivadas;
integrais;
variedades;
campos vetoriais;
equações diferenciais.
Nem tampouco é necessário utilizar continuamente:
grupos;
anéis;
corpos;
módulos.
Embora essas estruturas possam ser estudadas pela Teoria dos Modelos, elas não constituem seu ponto de partida.
O aspecto estrutural
Um dos maiores atrativos da Teoria dos Modelos é que ela compara estruturas inteiras em vez de calcular objetos específicos.
Algumas perguntas típicas são:
duas estruturas satisfazem exatamente as mesmas sentenças?
uma estrutura pode ser reconstruída a partir de suas propriedades elementares?
uma teoria possui apenas um modelo ou infinitos?
quando uma teoria determina completamente seus modelos?
Essas questões possuem natureza altamente abstrata, mas permanecem essencialmente lógicas.
Ferramentas fundamentais
Entre as ferramentas mais importantes estão:
compacidade;
Löwenheim–Skolem;
eliminação de quantificadores;
saturação;
tipos;
ultraprodutos;
estabilidade;
teorias simples;
teorias NIP.
Observe que nenhuma dessas ideias exige cálculo diferencial ou análise funcional.
---
Teoria dos Grafos: abstração puramente combinatória
Enquanto a Teoria dos Modelos abstrai pela lógica, a Teoria dos Grafos abstrai pelas relações discretas.
Um grafo consiste simplesmente em:
um conjunto de vértices;
um conjunto de arestas ligando pares de vértices.
Essa simplicidade inicial esconde enorme profundidade.
A partir dessa definição surgem problemas extremamente sofisticados.
Por exemplo:
existe um caminho entre dois vértices?
qual é a menor distância?
o grafo admite coloração?
possui ciclos?
contém determinados subgrafos?
pode ser decomposto de certa maneira?
Tudo isso é desenvolvido sem recorrer ao contínuo.
O rigor nasce da combinatória
As demonstrações utilizam principalmente:
indução;
invariantes;
argumentos extremalistas;
contagem;
construções explícitas;
contradições.
O ambiente é completamente discreto.
Não aparecem:
limites;
continuidade;
diferenciabilidade;
integrais múltiplas;
variedades diferenciáveis.
Mesmo quando se estudam grafos infinitos, o tratamento continua sendo essencialmente lógico e combinatório.
O caráter estrutural
Na Teoria dos Grafos, pouco importa a aparência geométrica de um desenho.
Importa apenas a estrutura de adjacência.
Dois grafos desenhados de formas completamente diferentes podem representar exatamente o mesmo objeto matemático.
Essa independência da representação concreta é um dos aspectos mais elegantes da disciplina.
O conceito fundamental passa a ser o de isomorfismo:
dois grafos são considerados iguais do ponto de vista estrutural quando preservam todas as relações de adjacência.
Essa maneira de pensar é extremamente abstrata sem exigir a maquinaria da Álgebra Abstrata.
---
Comparação com Álgebra Abstrata
Na Álgebra Abstrata, o objeto principal costuma ser uma operação.
Por exemplo:
multiplicação em um grupo;
soma em um anel;
produto em um corpo.
Grande parte da teoria consiste em compreender como essas operações interagem segundo axiomas.
Na Teoria dos Modelos, o foco desloca-se para:
relações lógicas;
definibilidade;
interpretação;
equivalência elementar.
Na Teoria dos Grafos, desloca-se para:
conectividade;
adjacência;
caminhos;
ciclos;
colorações.
Ou seja, a abstração deixa de ser algébrica e passa a ser relacional.
---
Comparação com a análise contínua
Na análise, estudam-se fenômenos governados por continuidade.
Os conceitos fundamentais incluem:
limite;
convergência;
derivada;
integral;
medida;
topologia;
espaços normados.
Na Teoria dos Grafos e na Teoria dos Modelos, quase tudo é discreto.
As perguntas são tipicamente do tipo:
existe?
quantos?
pode ser construído?
pode ser definido?
é possível provar?
Em vez de aproximar objetos continuamente, classificam-se estruturas por propriedades combinatórias ou lógicas.
---
Conexões entre as duas áreas
Existe uma interação crescente entre Teoria dos Modelos e Teoria dos Grafos.
Alguns exemplos incluem:
grafos aleatórios;
classes hereditárias de grafos;
estabilidade em grafos;
propriedades de primeira ordem;
leis de zero-ou-um;
grafos definidos por fórmulas lógicas;
limites lógicos de sequências de grafos.
Essa interface combina lógica, combinatória e teoria estrutural sem depender significativamente da Álgebra Abstrata clássica ou da análise contínua.
Conclusão
Essas duas áreas demonstram que a abstração matemática não é sinônimo de álgebra ou de cálculo. A Teoria dos Modelos constrói um universo rigoroso baseado em linguagens formais, semântica e definibilidade; a Teoria dos Grafos faz o mesmo a partir de relações discretas e argumentos combinatórios. Em ambas, o rigor decorre de definições axiomáticas precisas e de demonstrações formais, enquanto a profundidade surge da classificação de estruturas, da identificação de invariantes e da análise de propriedades globais. Por isso, elas oferecem um caminho natural para quem aprecia matemática estrutural e altamente abstrata, mas prefere evitar tanto a Álgebra Abstrata tradicional quanto o aparato analítico associado ao cálculo e à análise em $\mathbb{R}^n$.

2026-07-26 03:18:23 UTC

Se o critério principal for minimizar o contato com Geometria Diferencial, Álgebra Abstrata e Análise em $\mathbb{R}^n$, então a classificação muda significativamente em relação à forma como esses problemas costumam ser apresentados na matemática contemporânea. Nenhum dos Problemas do Milênio é completamente independente dessas áreas, mas alguns dependem delas muito menos do que outros.
A classificação, em ordem decrescente de adequação ao perfil descrito, seria a seguinte:
1. P versus NP.
2. Conjectura de Hodge.
3. Hipótese de Riemann.
4. Equações de Navier–Stokes.
5. Existência de Yang–Mills e lacuna de massa.
6. Conjectura de Birch e Swinnerton-Dyer.
A seguir, analiso cada um deles detalhadamente.
---
1. P versus NP
Este é, de longe, o Problema do Milênio mais compatível com o perfil descrito.
Enunciado
O problema pergunta se
\[
P = NP?
\]
onde:
P é a classe dos problemas cuja solução pode ser encontrada em tempo polinomial por um algoritmo determinístico;
NP é a classe dos problemas cujas soluções podem ser verificadas em tempo polinomial.
Equivalentemente:
> Todo problema cuja solução pode ser verificada rapidamente também pode ser resolvido rapidamente?
Até hoje, não se sabe se
\[
P=NP
\]
ou
\[
P\neq NP.
\]
---
Contexto histórico
A teoria da complexidade computacional surgiu durante as décadas de 1960 e 1970.
Os trabalhos decisivos foram de:
Stephen Cook;
Leonid Levin;
Richard Karp.
Cook demonstrou a existência dos problemas NP-completos, inaugurando praticamente toda a teoria moderna da complexidade.
Desde então, milhares de problemas importantes foram classificados segundo essa estrutura.
---
Conexões com outras áreas
Este problema conecta-se com:
Ciência da Computação Teórica;
Combinatória;
Lógica Matemática;
Otimização;
Algoritmos;
Inteligência Artificial;
Criptografia.
Existem algumas conexões com:
teoria dos grafos;
teoria da informação;
probabilidade.
---
Relação com Geometria Diferencial
Praticamente inexistente.
Pode-se estudar P versus NP durante décadas sem utilizar nenhuma geometria diferencial.
---
Relação com Álgebra Abstrata
Muito pequena.
Algumas técnicas específicas usam:
grupos;
corpos finitos;
teoria da representação.
Mas são especializações bastante avançadas e não fazem parte do núcleo do problema.
---
Relação com Análise em $\mathbb{R}^n$
Quase nenhuma.
A teoria inteira é predominantemente discreta.
As demonstrações utilizam:
lógica;
contagem;
estruturas finitas;
grafos;
máquinas de Turing;
reduções.
---
Por que combina tão bem com o perfil
Se alguém prefere matemática discreta e deseja evitar:
variedades;
tensores;
espaços diferenciáveis;
operadores diferenciais;
análise funcional pesada;
então P versus NP é praticamente o melhor grande problema em aberto disponível.
Além disso, sua linguagem é extremamente combinatória.
---
2. Conjectura de Hodge
À primeira vista, parece surpreendente vê-la tão alta na lista.
Entretanto, a razão é simples: ela depende muito mais de geometria algébrica do que de geometria diferencial.
---
Enunciado
Para uma variedade projetiva complexa suave, toda classe de cohomologia racional do tipo
\[
(p,p)
\]
é combinação racional de classes fundamentais de subvariedades algébricas.
Em termos formais,
\[
H^{2p}(X,\mathbb{Q})\cap H^{p,p}(X)
\]
deve ser gerado por ciclos algébricos.
---
Contexto histórico
Proposta por W. V. D. Hodge durante a década de 1940.
Nasceu do desenvolvimento da teoria harmônica.
Hoje é um dos problemas centrais da geometria algébrica.
---
Conexões
Relaciona-se com:
geometria algébrica;
topologia algébrica;
teoria da cohomologia;
teoria dos ciclos;
teoria das variedades complexas.
---
Relação com Geometria Diferencial
Curiosamente, a geometria diferencial aparece principalmente na origem histórica da teoria.
O problema moderno é tratado predominantemente por geometria algébrica.
---
Relação com Álgebra Abstrata
Existe bastante álgebra.
Entretanto, ela é muito mais voltada para:
geometria algébrica;
cohomologia;
categorias.
Não costuma exigir a teoria clássica de grupos e anéis abstratos na mesma intensidade da Conjectura de Birch e Swinnerton-Dyer.
---
Relação com Análise em $\mathbb{R}^n$
Quase nenhuma.
---
Adequação ao perfil
Ela evita completamente análise multivariável pesada.
Evita EDPs.
Evita cálculo vetorial.
O problema pode agradar quem prefere estruturas geométricas mais algébricas do que analíticas.
Seu ponto fraco, para o perfil descrito, é justamente a presença de geometria sofisticada, ainda que distinta da geometria diferencial clássica.
---
3. Hipótese de Riemann
Provavelmente o problema mais famoso da matemática.
---
Enunciado
Considere a função zeta
\[
\zeta(s)=\sum_{n=1}^{\infty}\frac1{n^s},
\]
inicialmente definida para
\[
\Re(s)>1,
\]
e depois estendida analiticamente.
A hipótese afirma que todos os zeros não triviais satisfazem
\[
\Re(s)=\frac12.
\]
---
Contexto histórico
Proposta por Bernhard Riemann em 1859.
Seu artigo possui apenas algumas páginas.
Mesmo assim, transformou completamente a teoria dos números.
---
Conexões
Relaciona-se com:
teoria analítica dos números;
análise complexa;
estatística dos primos;
teoria espectral;
matrizes aleatórias;
física matemática.
---
Relação com Geometria Diferencial
Muito pequena.
---
Relação com Álgebra Abstrata
Moderada.
Grande parte da teoria moderna dos números utiliza:
corpos algébricos;
representações;
grupos de Galois.
Mas isso não faz parte do enunciado.
---
Relação com Análise em $\mathbb{R}^n$
Muito pequena.
A análise utilizada é quase inteiramente complexa.
---
Adequação ao perfil
Para alguém que não gosta de cálculo em várias variáveis, este problema é muito mais amigável.
O obstáculo está na enorme quantidade de análise complexa sofisticada.
---
4. Equações de Navier–Stokes
---
Enunciado
Dadas as equações
\[
\frac{\partial u}{\partial t}
+
(u\cdot\nabla)u
=
-\nabla p
+
\nu\Delta u,
\]
com
\[
\nabla\cdot u=0,
\]
deve-se provar ou refutar a existência global de soluções suaves para certos dados iniciais tridimensionais.
---
Contexto histórico
Originam-se dos trabalhos de Claude-Louis Navier (1822) e George Gabriel Stokes (1845).
São o modelo clássico da mecânica dos fluidos.
---
Conexões
Relacionam-se com:
engenharia;
meteorologia;
oceanografia;
física;
turbulência.
---
Relação com Geometria Diferencial
Muito pequena.
---
Relação com Álgebra Abstrata
Praticamente inexistente.
---
Relação com Análise em $\mathbb{R}^n$
Enorme.
Este é justamente um dos maiores problemas da análise moderna.
Envolve:
EDPs;
análise funcional;
espaços de Sobolev;
distribuições;
operadores lineares.
---
Adequação ao perfil
Embora praticamente dispense álgebra abstrata e geometria diferencial, ele depende profundamente da análise em várias variáveis. Dada a forte aversão declarada a Análise em $\mathbb{R}^n$, essa característica reduz bastante sua adequação.
---
5. Existência de Yang–Mills e lacuna de massa
---
Enunciado
Construir rigorosamente uma teoria quântica de Yang–Mills para um grupo de gauge compacto que satisfaça os axiomas usuais da teoria quântica de campos e provar que ela possui uma lacuna de massa positiva.
---
Contexto histórico
As teorias de Yang–Mills foram introduzidas por Chen Ning Yang e Robert Mills em 1954.
Elas fundamentam o Modelo Padrão da física de partículas.
---
Conexões
Envolve:
física matemática;
teoria quântica de campos;
geometria diferencial;
análise funcional;
teoria espectral;
grupos de Lie.
---
Relação com Geometria Diferencial
Muito intensa.
A linguagem das conexões, fibrados principais, curvatura e grupos de gauge é essencial.
---
Relação com Álgebra Abstrata
Moderada.
Aparecem:
grupos de Lie;
álgebras de Lie;
teoria da representação.
---
Relação com Análise em $\mathbb{R}^n$
Também muito intensa.
---
Adequação ao perfil
É um problema fortemente apoiado justamente em duas das áreas que você declarou evitar: geometria diferencial e análise. Além disso, incorpora estruturas algébricas sofisticadas. Por esse conjunto de fatores, situa-se entre os menos compatíveis.
---
6. Conjectura de Birch e Swinnerton-Dyer
Este é, provavelmente, o menos adequado ao perfil descrito.
---
Enunciado
Para uma curva elíptica $E$ definida sobre os números racionais, a conjectura afirma que a ordem do zero da função $L(E,s)$ em
\[
s=1
\]
é exatamente igual ao posto do grupo dos pontos racionais
\[
E(\mathbb{Q}).
\]
---
Contexto histórico
Foi formulada na década de 1960 por Bryan Birch e Peter Swinnerton-Dyer, com base em experimentos computacionais pioneiros realizados no laboratório da Universidade de Cambridge.
---
Conexões
Relaciona-se profundamente com:
teoria algébrica dos números;
curvas elípticas;
geometria algébrica;
formas modulares;
representações de Galois;
teoria das funções $L$.
---
Relação com Geometria Diferencial
Pequena.
---
Relação com Álgebra Abstrata
Muito intensa.
Quase toda a teoria moderna depende de:
grupos abelianos;
anéis;
módulos;
corpos algébricos;
extensões de Galois;
cohomologia.
---
Relação com Análise em $\mathbb{R}^n$
Pequena.
---
Adequação ao perfil
Embora praticamente dispense geometria diferencial e análise em $\mathbb{R}^n$, exige uma base muito sólida em álgebra abstrata e teoria algébrica dos números. Como você indicou forte aversão à álgebra abstrata, esse problema acaba sendo o menos alinhado entre os Problemas do Milênio.
Em síntese, considerando exclusivamente as três aversões mencionadas, P versus NP destaca-se com ampla vantagem. Seu núcleo é discreto e combinatório, permitindo um estudo profundo com dependência mínima de geometria diferencial, álgebra abstrata e análise em várias variáveis. Em um segundo nível aparecem a Conjectura de Hodge e a Hipótese de Riemann, que evitam parte dessas áreas, mas exigem outros ramos altamente sofisticados (geometria algébrica e análise complexa, respectivamente). Os três problemas restantes dependem fortemente de pelo menos uma das áreas que você deseja evitar: Navier–Stokes da análise em $\mathbb{R}^n$, Yang–Mills da combinação entre geometria diferencial e análise, e Birch e Swinnerton-Dyer da álgebra abstrata e da teoria algébrica dos números.

2026-07-26 02:24:18 UTC

- reply

{{cite web
| title = Pela primeira vez, a China teve dois laureados com o Prêmio Nobel de …
| url = https://www.vietnam.vn/pt/trung-quoc-lan-dau-co-hai-chu-nhan-nobel-toan-hoc-trong-mot-nam
| date = 2026-07-26
| archiveurl = http://archive.today/ptOo6
| archivedate = 2026-07-26 }}

2026-07-26 02:24:06 UTC

- reply

{{cite web
| title = Matemáticos chineses fazem história ao vencer a Medalha Fields 2026 –…
| url = https://www.brasil247.com/diario-do-povo/matematicos-chineses-fazem-historia-ao-vencer-a-medalha-fields-2026/
| date = 2026-07-26
| archiveurl = http://archive.today/VeC4Z
| archivedate = 2026-07-26 }}

2026-07-26 02:22:52 UTC

{{cite web
| title = The Riemann hypothesis (or, how to earn $1 million)
| url = https://hidden-phenomena.com/articles/rh
| date = 2026-02-22
| archiveurl = http://archive.today/buc93
| archivedate = 2026-02-22 }}

2026-07-26 00:26:07 UTC

{{cite web
| title = Is Category Theory Practical? - by Senia Sheydvasser
| url = https://derangedmathematician.substack.com/p/is-category-theory-practical?triedRedirect=true
| date = 2026-07-26
| archiveurl = http://archive.today/O2xuS
| archivedate = 2026-07-26 }}
O texto de Senia Sheydvasser investiga a utilidade prática da teoria das categorias, explorando como essa disciplina matemática abstrata se aplica ao mundo real. O autor argumenta que a área serve como uma poderosa ferramenta organizacional, permitindo a modelagem de sistemas complexos através de estruturas de composição e fluxogramas. Entre os exemplos citados, destacam-se o uso na programação de computadores, como no sistema SageMath, e a representação de redes de reações químicas via categorias monoidais. Além disso, o artigo explica conceitos fundamentais como funtores, que conectam a sintaxe teórica à semântica prática em áreas como o processamento de linguagem natural. Por fim, sugere-se que a teoria possui um futuro promissor no design de compiladores, garantindo que otimizações de código mantenham o comportamento original de forma rigorosa.

2026-07-26 00:08:12 UTC

Kissinger: Ser inimigo dos Estados Unidos é perigoso, mas ser amigo, é fatal. : )
https://blossom.primal.net/c82550b27774d05146dc48b6dc3c1da47047df9319c0243a711e51404b847c25.png

2026-07-25 21:31:56 UTC

https://blossom.primal.net/472d87550ec1c9bccf8a181d08e1b7dba8bbcc86f6fe6d79eec77d53875ad637.jpg
https://blossom.primal.net/1d77281059226bc9678f1b104fa4f256f453452f8a2ba67c844aea52f23c9912.mp4

2026-07-25 18:43:05 UTC

- reply

No contexto do Brasil, o "santo graal" da Arquivologia seria garantir a preservação permanente, autêntica e acessível do patrimônio documental brasileiro, desde os documentos coloniais até os registros digitais produzidos atualmente.
Os principais desafios seriam:
1. Preservar integralmente o patrimônio documental brasileiro
O Brasil possui milhões de documentos históricos produzidos desde o período colonial, incluindo:
documentos administrativos;
registros judiciais;
mapas;
cartórios;
correspondências oficiais;
fotografias;
registros audiovisuais.
Grande parte desse acervo ainda enfrenta riscos decorrentes do clima, da deterioração física e de limitações de infraestrutura.
---
2. Implantar uma preservação digital nacional de longo prazo
A administração pública brasileira produz hoje uma quantidade enorme de documentos digitais.
O desafio é garantir que esses registros continuem:
autênticos;
íntegros;
acessíveis;
compreensíveis;
daqui a 50, 100 ou 500 anos, apesar das mudanças em softwares, formatos e equipamentos.
---
3. Integrar os arquivos públicos do país
O Brasil possui arquivos federais, estaduais, municipais e privados, muitas vezes com níveis diferentes de organização e recursos.
Um sistema nacional plenamente interoperável permitiria:
padronização de metadados;
intercâmbio de informações;
preservação coordenada;
acesso mais eficiente pelos cidadãos e pesquisadores.
---
4. Recuperar e preservar documentos ameaçados
Diversos acervos brasileiros sofreram perdas por:
incêndios;
enchentes;
umidade;
fungos;
insetos;
armazenamento inadequado.
Um dos grandes objetivos da Arquivologia brasileira é identificar, restaurar e digitalizar esses acervos antes que as perdas se tornem irreversíveis.
---
5. Garantir acesso permanente à memória do Estado
Os arquivos públicos são fundamentais para:
proteger direitos dos cidadãos;
assegurar transparência administrativa;
subsidiar pesquisas históricas;
preservar a memória institucional.
O desafio é equilibrar preservação, acesso público e proteção de informações sensíveis.
O maior "santo graal"
Se fosse necessário escolher apenas um, seria:
> Construir um Sistema Nacional de Arquivos plenamente integrado, capaz de preservar indefinidamente toda a documentação permanente do Brasil — física e digital — com autenticidade, segurança e acesso público.
Esse objetivo teria enorme impacto para a administração pública, a pesquisa histórica, a proteção de direitos e a memória nacional.
Instituições como o Arquivo Nacional desempenham um papel central nesse esforço, mas a dimensão territorial do país e a diversidade de produtores documentais tornam esse um desafio de longo prazo. Alcançar esse ideal significaria assegurar que a história administrativa, jurídica, política, científica e cultural do Brasil permaneça disponível para as gerações futuras sem perda de autenticidade ou contexto.

2026-07-25 18:42:00 UTC

- reply

Na Arquivologia, o "santo graal" seria garantir que qualquer documento arquivístico permaneça autêntico, íntegro, acessível e compreensível pelo tempo que for necessário, independentemente de mudanças tecnológicas, institucionais ou sociais.
Essa é uma disciplina diferente da Biblioteconomia e da Preservação Digital. Enquanto a preservação digital pode focar em qualquer objeto digital, a Arquivologia preocupa-se com documentos produzidos como evidência de atividades de pessoas, empresas e governos, preservando seu contexto e seu valor probatório.
Os principais "santos grais" da área seriam:
1. Preservação permanente da autenticidade
O maior desafio é garantir que um documento possa responder, mesmo após séculos:
É autêntico?
Quem o produziu?
Quando foi produzido?
Foi alterado?
Em que contexto foi criado?
Na Arquivologia, preservar o contexto é tão importante quanto preservar o documento.
---
2. Um sistema arquivístico permanente para documentos digitais
Grande parte da produção documental atual já nasce digital.
O desafio é garantir que esses documentos continuem:
legíveis;
confiáveis;
íntegros;
juridicamente válidos;
mesmo após décadas ou séculos.
---
3. Preservar a cadeia de custódia
A cadeia de custódia documenta quem teve responsabilidade pelo documento ao longo do tempo.
Manter essa cadeia sem interrupções é essencial para preservar o valor jurídico e administrativo dos documentos.
---
4. Automatizar a gestão documental
Outro objetivo importante é criar sistemas capazes de:
classificar documentos;
atribuir prazos de guarda;
aplicar tabelas de temporalidade;
identificar documentos permanentes;
eliminar documentos sem valor arquivístico.
Tudo isso preservando os princípios arquivísticos.
---
5. Preservar a memória institucional
Os arquivos não existem apenas para guardar documentos.
Eles preservam:
direitos dos cidadãos;
memória das instituições;
transparência pública;
prestação de contas;
patrimônio documental.
Garantir essa função para as futuras gerações é um objetivo central da área.
O verdadeiro "santo graal"
Se fosse resumir em uma única frase:
> Construir um sistema arquivístico capaz de preservar indefinidamente a autenticidade, a integridade, o contexto e a acessibilidade dos documentos, independentemente das mudanças tecnológicas e institucionais.
Esse ideal orienta boa parte da Arquivologia contemporânea, especialmente na era digital.
No plano científico, um dos referenciais mais influentes nessa direção é o modelo OAIS (Open Archival Information System), que fornece uma estrutura para repositórios digitais confiáveis. Outro conceito fundamental é o de arquivo confiável, capaz de assegurar que um documento mantenha seu valor como prova e fonte de informação ao longo do tempo.
Em outras palavras, enquanto a Preservação Digital busca conservar objetos digitais, a Arquivologia busca conservar documentos como evidências autênticas de ações humanas, mantendo seu contexto, sua proveniência e seu significado. Esse é o objetivo máximo da disciplina.

2026-07-25 18:41:16 UTC

- reply

No contexto do marxismo, o "santo graal" da economia é diferente do da economia convencional. O objetivo não é apenas explicar mercados ou maximizar crescimento, mas compreender as leis fundamentais do desenvolvimento histórico do capitalismo e sua possível superação.
Os principais candidatos seriam:
1. Demonstrar cientificamente as leis do capitalismo
O projeto central de Karl Marx, especialmente em O Capital (Karl Marx), foi identificar as leis de funcionamento do capitalismo:
formação do valor;
acumulação de capital;
concorrência;
exploração do trabalho;
crises econômicas;
tendência à concentração do capital.
O objetivo era mostrar que essas dinâmicas não eram acidentais, mas estruturais.
---
2. Explicar a transição entre modos de produção
Um dos grandes temas do marxismo é entender como sociedades passam de um modo de produção para outro:
comunismo primitivo;
escravismo;
feudalismo;
capitalismo;
socialismo (como etapa de transição, segundo diversas correntes marxistas).
Uma teoria mais completa dessas transições continua sendo objeto de debate.
---
3. Compreender plenamente as crises do capitalismo
Para a tradição marxista, as crises não são falhas ocasionais, mas características inerentes ao capitalismo.
O desafio é explicar com precisão:
por que surgem;
por que variam em intensidade;
como evoluem;
se conduzem a transformações estruturais.
---
4. Explicar o imperialismo e a economia mundial
Autores como Vladimir Lenin, Rosa Luxemburgo e Immanuel Wallerstein desenvolveram teorias para explicar a expansão do capitalismo em escala global, suas relações entre centro e periferia e suas implicações políticas e econômicas.
---
5. Verificar empiricamente as previsões do marxismo
Uma questão permanente é em que medida as previsões derivadas da teoria marxista se confirmam ou precisam ser revisadas diante de transformações como:
economia digital;
financeirização;
automação;
globalização;
plataformas digitais.
Grande parte da pesquisa marxista contemporânea busca atualizar esses conceitos.
O maior "santo graal"
Se fosse necessário escolher apenas um, seria:
> Desenvolver uma teoria completa e empiricamente robusta do desenvolvimento histórico do capitalismo e das condições de sua transformação para outro modo de produção.
Esse objetivo combina análise econômica, sociologia, ciência política e história. Diferentes correntes marxistas divergem sobre diversos aspectos dessa teoria, mas compartilham a ideia de que compreender as dinâmicas estruturais do capitalismo é essencial para entender as mudanças históricas.
É importante observar que esse é o "santo graal" dentro da tradição marxista, e não um consenso da Economia como disciplina. Economistas de outras escolas (como neoclássica, austríaca, keynesiana ou institucionalista) partem de pressupostos diferentes e frequentemente contestam elementos centrais da análise marxista.

2026-07-25 18:40:05 UTC

- reply

No contexto do Brasil, o "santo graal" da Economia seria descobrir uma combinação de instituições e políticas públicas capaz de promover crescimento econômico sustentado, alta produtividade e redução duradoura da desigualdade, sem gerar instabilidade macroeconômica.
Os principais candidatos seriam:
1. Descobrir como sustentar crescimento de longo prazo
Esta é, provavelmente, a maior questão da economia brasileira.
O Brasil alternou períodos de forte expansão com longos intervalos de baixo crescimento.
A grande pergunta é:
Como crescer de forma consistente por décadas, mantendo estabilidade fiscal e monetária?
---
2. Superar a armadilha da renda média
O Brasil é frequentemente citado como um país que enfrenta dificuldades para dar o salto definitivo rumo ao grupo das economias mais desenvolvidas.
Isso exige compreender como aumentar:
produtividade;
inovação;
investimento;
qualificação da mão de obra;
competitividade internacional.
---
3. Reduzir a desigualdade preservando o crescimento
O Brasil continua sendo um país marcado por grandes desigualdades de renda e oportunidades.
O desafio é encontrar políticas que consigam simultaneamente:
reduzir pobreza;
ampliar mobilidade social;
incentivar investimento;
preservar responsabilidade fiscal.
---
4. Elevar a produtividade da economia
Um dos maiores desafios estruturais brasileiros é o crescimento relativamente lento da produtividade.
Isso envolve:
infraestrutura;
educação;
ambiente de negócios;
tecnologia;
eficiência do setor público;
integração ao comércio internacional.
---
5. Reduzir a volatilidade econômica
A economia brasileira passou por diversos episódios de:
inflação elevada;
crises cambiais;
recessões profundas;
instabilidade fiscal.
Desenvolver mecanismos que reduzam essa volatilidade tornaria o ambiente econômico mais previsível para famílias e empresas.
O maior "santo graal"
Se fosse necessário escolher apenas um, seria:
> Descobrir um modelo de desenvolvimento capaz de fazer o Brasil crescer de forma sustentada por várias décadas, aumentando significativamente a produtividade, reduzindo a desigualdade e preservando a estabilidade macroeconômica.
Esse seria um feito histórico porque resolveria, em grande medida, o principal desafio econômico do país desde a segunda metade do século XX. Não se trataria apenas de elevar o PIB, mas de encontrar um caminho institucional e econômico que permitisse crescimento contínuo, maior bem-estar da população e maior competitividade internacional.
Em termos de impacto, uma solução desse tipo seria comparável, para a economia brasileira, ao papel que uma teoria unificada desempenharia na Física: um conjunto de princípios suficientemente robusto para orientar políticas públicas de longo prazo com resultados consistentes.

2026-07-25 18:39:10 UTC

- reply

Na Economia, o "santo graal" seria uma teoria capaz de explicar e prever de forma confiável o comportamento das economias em diferentes escalas, conciliando crescimento, estabilidade, inovação e bem-estar.
Diferentemente da Física, a Economia estuda sistemas compostos por seres humanos, instituições e expectativas, o que torna leis universais muito mais difíceis.
Os principais candidatos são:
1. Uma teoria unificada dos ciclos econômicos
Um dos maiores desafios é explicar completamente:
por que ocorrem recessões;
por que surgem crises financeiras;
como prever bolhas especulativas;
como evitar depressões econômicas.
Uma teoria com forte poder preditivo revolucionaria governos, bancos centrais e mercados financeiros.
---
2. Compreender o crescimento econômico de longo prazo
Por que alguns países se tornam ricos enquanto outros permanecem pobres?
Essa pergunta envolve:
instituições;
educação;
tecnologia;
cultura;
geografia;
comércio internacional;
estabilidade política.
Embora existam teorias importantes, nenhuma explica plenamente todos os casos.
---
3. Construir uma teoria integrada do comportamento humano
A Economia tradicional frequentemente assume agentes racionais, mas a psicologia mostra que as pessoas cometem vieses sistemáticos.
Um grande objetivo seria unir:
economia;
psicologia;
neurociência;
ciência de dados.
Isso permitiria modelos muito mais realistas sobre consumo, investimento e tomada de decisão.
---
4. Encontrar políticas econômicas robustas para crescimento com baixa desigualdade
Uma das maiores questões práticas é:
É possível manter crescimento econômico elevado, estabilidade monetária e baixa desigualdade ao mesmo tempo?
Ainda não existe uma fórmula universal.
---
5. Desenvolver modelos econômicos altamente preditivos
A Economia explica muitos fenômenos, mas sua capacidade de previsão ainda é limitada, especialmente em crises.
O sonho seria criar modelos que antecipassem mudanças importantes com confiabilidade semelhante à previsão meteorológica de curto prazo.
O maior "santo graal"
Se fosse necessário escolher apenas um, provavelmente seria:
> Uma teoria unificada que explicasse, previsse e permitisse reduzir de forma consistente as crises econômicas, conciliando crescimento sustentável, estabilidade e prosperidade.
Esse objetivo teria impacto extraordinário. Crises como a Grande Depressão de 1929 ou a crise financeira global de 2008 provocaram desemprego em massa, falências e profundas transformações sociais. Uma teoria capaz de antecipar ou mitigar esses eventos mudaria a forma como governos, empresas e instituições financeiras tomam decisões.
Em outras palavras, enquanto a Física busca uma teoria das leis fundamentais da natureza, a Economia busca compreender as leis da coordenação econômica em sociedades complexas. Encontrar princípios gerais com alto poder explicativo e preditivo seria uma das maiores conquistas já alcançadas nas ciências sociais.

2026-07-25 18:37:05 UTC

- reply

Na Arqueologia, o "santo graal" costuma significar uma descoberta capaz de transformar profundamente nossa compreensão da história humana. Diferentemente da Matemática, não se trata de resolver um problema teórico, mas de encontrar evidências materiais excepcionais.
Os maiores candidatos são:
1. Descobrir um arquivo documental intacto da Antiguidade
Este seria, para muitos arqueólogos, o maior sonho.
Imagine encontrar uma biblioteca ou arquivo perfeitamente preservado contendo:
documentos administrativos;
correspondências;
mapas;
registros econômicos;
textos literários;
relatos históricos.
Um único arquivo poderia responder dezenas de questões sobre uma civilização.
---
2. Escavar uma tumba real completamente intacta
A descoberta da tumba de Tutancâmon, em 1922, mostrou o impacto que uma sepultura preservada pode ter.
Hoje, o exemplo mais famoso é a tumba ainda não aberta de Qin Shi Huang, cuja escavação é adiada por razões de conservação.
---
3. Descobrir uma civilização desconhecida
Embora pareça improvável em grande escala, ainda existem regiões pouco exploradas, especialmente em florestas tropicais e sob o mar.
Nos últimos anos, tecnologias como LiDAR revelaram extensas paisagens arqueológicas ocultas na Amazônia e na América Central, mostrando que ainda há muito a descobrir.
---
4. Encontrar a "biblioteca perdida" de uma grande civilização
Exemplos frequentemente citados incluem:
novos textos relacionados à Biblioteca de Alexandria;
grandes arquivos da Mesopotâmia;
bibliotecas de cidades antigas ainda soterradas.
Essas descobertas poderiam alterar profundamente o conhecimento sobre filosofia, ciência e política antigas.
---
5. Explicar a origem das primeiras civilizações
Como surgiram:
as cidades;
a escrita;
o Estado;
a agricultura complexa?
Sítios como Göbekli Tepe mostraram que algumas ideias tradicionais sobre a sequência desses desenvolvimentos precisaram ser revistas.
O maior "santo graal"
Se fosse necessário escolher apenas um, a resposta mais provável seria:
> A descoberta de um grande arquivo documental intacto de uma civilização antiga.
Isso porque documentos escritos têm o poder de contextualizar praticamente tudo o que a arqueologia encontra: objetos, edifícios, práticas religiosas, economia, política e vida cotidiana. Um único arquivo pode responder perguntas que milhares de artefatos isolados não conseguem esclarecer.
Em outras palavras, enquanto um artefato extraordinário pode ser um símbolo da arqueologia, um arquivo documental preservado pode mudar a interpretação de toda uma civilização. Por isso, muitos arqueólogos consideram esse tipo de descoberta o verdadeiro "santo graal" da disciplina.

2026-07-25 17:29:50 UTC

- reply

{{cite web
| title = The Brain Can Reason Without Language, MIT Study Finds
| url = https://scitechdaily.com/the-brain-can-reason-without-language-mit-study-finds/
| date = 2026-07-24
| archiveurl = http://archive.today/oAGvA
| archivedate = 2026-07-24 }}
Pesquisadores do MIT descobriram que a capacidade humana de raciocínio lógico funciona de maneira independente das áreas do cérebro responsáveis pela linguagem. O estudo demonstrou que indivíduos com afasia grave, que perderam a habilidade de falar ou compreender palavras após um derrame, ainda conseguem resolver problemas matemáticos e identificar padrões complexos. Por meio de exames de imagem cerebral, os cientistas confirmaram que o processamento linguístico e a dedução lógica ativam redes neurais distintas. Essa distinção prova que a inteligência e o pensamento abstrato permanecem intactos mesmo quando a comunicação verbal é comprometida. Os resultados desafiam crenças antigas da filosofia e podem influenciar o desenvolvimento de inteligência artificial e tratamentos clínicos. Assim, a pesquisa reforça que as dificuldades de fala não definem a competência cognitiva ou a capacidade intelectual de uma pessoa.

2026-07-25 17:27:03 UTC

- reply

{{cite web
| title = O mundo já teve 75 mil línguas – e impérios acabaram com isso
| url = https://olhardigital.com.br/2026/07/25/ciencia-e-espaco/imperios-destruiram-era-de-ouro-das-linguas-revela-estudo/
| date = 2026-07-25
| archiveurl = http://archive.today/ZkV8z
| archivedate = 2026-07-25 }}

2026-07-25 17:22:57 UTC

- reply

{{cite web
| title = Glossary:Way of the Spider Marvel Database Fandom
| url = https://marvel.fandom.com/wiki/Glossary:Way_of_the_Spider
| date = 2025-07-31
| archiveurl = http://archive.today/m3bNg
| archivedate = 2026-07-25 }}

2026-07-25 17:22:09 UTC

{{cite web
| title = Top 10 artistas marciais dos quadrinhos
| url = https://www.einerd.com/top-10-artistas-marciais-dos-quadrinhos/
| date = 2026-07-25
| archiveurl = http://archive.today/9Zksq
| archivedate = 2026-07-25 }}

2026-07-25 16:25:02 UTC

http://bitchat.free/
https://archive.softwareheritage.org/browse/origin/?origin_url=https://github.com/permissionlesstech/bitchat
https://archive.softwareheritage.org/browse/origin/?origin_url=https://github.com/permissionlesstech/bitchat-android
https://radicle.network/nodes/rosa.radicle.network/rad:z2v9tRJz1oknFAqCSY5W5c76nVvm6
O bitchat é um aplicativo de mensagens descentralizado que utiliza tecnologia bluetooth mesh para permitir a comunicação direta entre dispositivos próximos sem depender de internet ou servidores. Ao transformar cada aparelho em um ponto de retransmissão, a ferramenta cria redes dinâmicas que garantem o funcionamento do chat mesmo em cenários de censura, desastres naturais ou falta de infraestrutura. Diferente das plataformas tradicionais, o sistema foca na privacidade e na autonomia total do usuário, eliminando a necessidade de números de telefone ou monitoramento central. O projeto possui código aberto e está disponível para sistemas iOS, macOS e Android, assegurando compatibilidade entre diferentes plataformas móveis. Essa abordagem técnica oferece uma alternativa robusta para manter a conectividade em ambientes isolados ou durante períodos de instabilidade digital.

2026-07-25 14:19:57 UTC

{{cite web
| title = Somente três estados brasileiros têm plano vigente contra o trabalho …
| url = https://iclnoticias.com.br/tres-estados-plano-vigente-trabalho-infantil/
| date = 2026-07-25
| archiveurl = http://archive.today/AxvqJ
| archivedate = 2026-07-25 }}

2026-07-25 13:20:08 UTC

- reply

Digo o mesmo: suas colocações também são perfeitas. Concordo plenamente com a crítica a esse conceito de democracia. Eu o citei simplesmente porque, no contexto original da conversa que gerou esse texto, o interlocutor disse algo que sugeriu a ideia, dita por Bolsonaro, por exemplo, que ele governa para a maioria, sim, porque democracia é isso. Eu quis apresentar como contraponto um conceito filosófico mais atual de democracia, que é estudado na biopolítica, por exemplo.
Porém, eu, como anarquista, também me posiciono contra a democracia, entendida como sistema de governo. Como você disse, a democracia não é somente sobre valores, ela é, afinal, uma CRACIA, ou seja, uma ordem imposta, não simplesmente uma sugestão do que seria melhor.
As diferentes correntes da filosofia política respondem sua pergunta de modos muito distintos. Eu posso citar alguns.
Para os defensores da democracia institucional, a resposta para evitar que uma lei injusta seja implantada só porque houve maioria dos votos é a divisão de poderes. Isso é, esse regime democrático é descentralizado, ele é composto de várias partes, nenhuma das quais tem poder absoluto, logo, elas se vigiam mutuamente. Se algo injusto for feito por uma das partes, a outra pode tentar impedir. É lógico que isso é imperfeito, mas eles dirão que é o melhor que dá pra fazer numa sociedade de massas.
Ao mesmo tempo, os críticos da democracia podem argumentar, como você, que é preciso uma centralização para evitar injustiças cometidas pela maioria. Essa é exatamente a posição de Aristóteles. É por isso que ele considerava a democracia uma degeneração, e defendia em vez disso a Aristocracia, o governo dos melhores.
Como você sabe, existe no meio conservador uma versão dessa posição, mas em vez de Aristocracia, eles chamam de Meritocracia.
Então, é verdade, a China, com um governo de partido único, pode tomar decisões que Lula, no Brasil, jamais poderia, porque ele tem que negociar tudo com a oposição e ter apoio do centro. O problema é que, para defender essa estrutura centralizada, você tem que confiar que seus governantes não vão fazer nada contra você. Porque se eles quiserem, quem vai impedir?
A crítica anarquista à democracia é bem diferente disso. Em Da democracia à Liberdade, por exemplo, a questão não é quem governa, mas a própria ideia de governo.
O argumento é que toda democracia continua sendo uma forma de legitimar o poder representativo. Poder representativo não é autodeterminação. Num regime de poder representativo, os direitos são concedidos e garantidos por uma estrutura que também pode retirá-los.
Então, a verdadeira pergunta não é quem deveria governar, e sim como podemos organizar nossa convivência sem que algumas pessoas governem as outras. Não queremos um governante mais sábio ou mais virtuoso, mas reduzir ao máximo as relações de dominação, privilegiando associações voluntárias, autonomia local, apoio mútuo, federações livres e decisões tomadas diretamente pelas pessoas afetadas, sem um centro soberano com monopólio da violência mantendo sua autoridade.
Por isso, eu não defendo a China. Ela talvez seja mais eficiente para implementar determinadas políticas públicas, mas concentra um enorme poder nas mãos do estado. Quando o poder é concentrado, pouco importa se ele foi legitimado por eleições, por um partido único ou por um imperador. Quem controla esse poder passa a ter a capacidade de decidir sobre todos os demais. Nós queremos superar isso e devolver o poder de autodeterminação às pessoas.

2026-07-25 13:19:54 UTC

- reply

Perfeitas tuas colocações.
Uma questão que considero não resolvida, é quando você diz que 'Democracia não se reduz ao princípio de que "a maioria manda"', e justifica o que falta. Mas, não sei como esse 'compromisso permanente' com vários assuntos pode ser encaixado no conceito de democracia. Para mim, uma democracia é, por definição, reducionista, e esse aspectos citados são holísticos. Como enquadrá-los em sua democracia mais justa?
Se 51% da população (ou dos membros do congresso) forem a favor da implantação de uma media injusta ou preconceituosa, ela poderá ser implementada.
Neste ponto, um imperador ou um ditador, tem muito mais poder para ser 'justo' com as minorias ou com o interesses (holísticos) das minorias ou da sociedade, como uma democracia.
Um exemplo real desta situação é a China. Ela consegue implantar medidas holísticas a favor da nação que, um Lula da vida, nem pode sonhar em querer submeter à aprovação do congresso democrático.

2026-07-25 13:02:11 UTC

{{cite web
| title = A inteligência artificial vai ajudar você no trabalho ou roubar seu e…
| url = https://www.bbc.com/portuguese/articles/cn0n805p0zlo?at_campaign=ws_whatsapp
| date = 2026-07-25
| archiveurl = http://archive.today/1Grr2
| archivedate = 2026-07-25 }}

2026-07-25 01:29:13 UTC

- reply

{{cite web
| title = Está morto: podemos elogiá-lo à... Machado de Assis - Pensador
| url = https://www.pensador.com/frase/MjYxMg/
| date = 2026-07-25
| archiveurl = http://archive.today/wiOsY
| archivedate = 2026-07-25 }}
https://blossom.primal.net/8db0d29a486bb1e581fb3ef5688824e0cc0ccca1c7adfbe5d9d7a715dbc2fa6c.jpg

2026-07-25 01:25:16 UTC

“As pessoas têm coisas maravilhosas a dizer a seu respeito, mas é preciso que você morra antes.” Frase de autoria incerta, atribuída a Dostoievski. Se ele não disse, deveria ter dito.
A frase lembra Machado de Assis que colocou na boca de um personagem: “Está morto; podemos elogiá-lo à vontade”.

2026-07-25 00:40:42 UTC

Se a métrica for o grau de dependência conceitual da Teoria da Medida moderna (medida de Lebesgue, espaços de medida, integração, probabilidade abstrata etc.), uma ordenação plausível é:
1. P ≠ NP — praticamente independente.
2. Conjectura de Hodge — pouca dependência.
3. Conjectura de Birch e Swinnerton-Dyer — pouca a moderada.
4. Hipótese de Riemann — moderada.
5. Existência e suavidade de Navier–Stokes — alta.
6. Conjectura de Yang–Mills e lacuna de massa — muito alta.
7. Conjectura de Poincaré — resolvida (por Grigori Perelman), mas sua solução praticamente não depende de Teoria da Medida.
Se considerarmos apenas os problemas ainda em aberto, a ordem fica:
1. P ≠ NP
2. Conjectura de Hodge
3. Conjectura de Birch e Swinnerton-Dyer
4. Hipótese de Riemann
5. Navier–Stokes
6. Yang–Mills
Breve justificativa:
P ≠ NP: pertence à teoria da complexidade computacional. As ferramentas principais vêm de lógica, combinatória, teoria dos algoritmos, circuitos e álgebra. Teoria da Medida quase nunca aparece de forma essencial.
Conjectura de Hodge: está na geometria algébrica e topologia algébrica. A análise entra via geometria diferencial e teoria de Hodge, mas a Teoria da Medida desempenha um papel bastante secundário.
Birch e Swinnerton-Dyer: é um problema de teoria dos números e geometria aritmética. Análise complexa e formas modulares são fundamentais; Teoria da Medida aparece apenas em aspectos técnicos de automorfismos e integração sobre grupos.
Hipótese de Riemann: depende fortemente de análise complexa, operadores, transformadas e teoria espectral. Há abordagens usando espaços de Hilbert e análise harmônica, onde medidas surgem naturalmente, mas não são o núcleo da formulação.
Navier–Stokes: soluções fracas (Leray, Hopf), espaços $L^p$, desigualdades integrais, medidas de defeito, Young measures e análise funcional tornam a Teoria da Medida um componente central da área.
Yang–Mills: formulações rigorosas da teoria quântica de campos envolvem medidas em espaços de funções (integrais de caminho), teoria geométrica da medida, análise funcional profunda e medidas gaussianas. É provavelmente o problema do Milênio mais intimamente ligado à Teoria da Medida.
Em resumo, do menos dependente para o mais dependente de Teoria da Medida:
> P ≠ NP → Hodge → Birch–Swinnerton-Dyer → Riemann → Navier–Stokes → Yang–Mills.
Vale notar que essa classificação não é oficial; ela reflete o papel que a Teoria da Medida desempenha nas principais abordagens conhecidas para cada problema.

2026-07-24 16:49:35 UTC

{{cite web
| title = 4 pesquisas científicas que pareciam absurdas, mas tiveram resultados…
| url = https://www.bbc.com/portuguese/articles/c07rk5lrl38o?at_campaign=ws_whatsapp
| date = 2026-07-24
| archiveurl = http://archive.today/WB3Dv
| archivedate = 2026-07-24 }}
O artigo examina como a curiosidade humana e a pesquisa básica podem gerar inovações revolucionárias, mesmo quando os estudos iniciais parecem não ter utilidade prática. O texto destaca o Prêmio Ganso de Ouro, uma iniciativa que homenageia descobertas científicas inicialmente ridicularizadas, mas que transformaram a sociedade. Entre os exemplos citados, estão o comportamento das abelhas que inspirou algoritmos de tráfego na internet e o estudo de bactérias em fontes termais que possibilitou os testes de PCR. Também é mencionada a transição da neurociência para o desenvolvimento da inteligência artificial moderna e a descoberta acidental de medicamentos quimioterápicos. Em suma, a fonte defende a importância do investimento contínuo na ciência para expandir as fronteiras do conhecimento. Dessa forma, demonstra-se que avanços em saúde e tecnologia frequentemente dependem de investigações que, à primeira vista, pareciam absurdas.

2026-07-24 14:25:09 UTC

- reply

{{cite web
| title = Why does AI seem to have a lot of success in mathematics, but so far …
| url = https://www.reddit.com/r/AskPhysics/comments/1v2tnzt/why_does_ai_seem_to_have_a_lot_of_success_in/
| date = 2026-07-24
| archiveurl = http://archive.today/4sAa3
| archivedate = 2026-07-24 }}
O texto apresenta uma discussão em um fórum sobre as razões pelas quais a inteligência artificial demonstra maior êxito na matemática teórica do que na física. Usuários argumentam que a matemática é um sistema abstrato e axiomático, permitindo que modelos de linguagem utilizem ferramentas de verificação lógica, como o LEAN, para validar provas autonomamente. Em contraste, a física exige validação experimental e interação com o mundo real, o que limita a capacidade da IA de confirmar suas hipóteses sem dados práticos. Além disso, destaca-se que muitos problemas de física são mal definidos ou dependem de intuição e aproximações que as máquinas ainda não conseguem replicar. Enquanto alguns acreditam que a IA apenas processa informações que humanos ignoraram, outros sugerem que o progresso na física é apenas uma questão de tempo e disponibilidade de dados.

2026-07-24 14:22:50 UTC

{{cite web
| title = Enem (??) : enem
| url = https://www.reddit.com/r/enem/comments/1v3gmrl/enem/
| date = 2026-07-24
| archiveurl = http://archive.today/yzhHx
| archivedate = 2026-07-24 }}
https://blossom.primal.net/04bacc9766590dbed4545903c3015e714ca53446bae2e222d0c03c7e3b184ce0.webp

2026-07-24 14:22:03 UTC

- reply

{{cite web
| title = Create a Team to Beat Volume 23 Veldanava : TensuraPowerScaling
| url = https://www.reddit.com/r/TensuraPowerScaling/comments/1v42906/create_a_team_to_beat_volume_23_veldanava/
| date = 2026-07-24
| archiveurl = http://archive.today/bCJsh
| archivedate = 2026-07-24 }}

2026-07-24 14:17:25 UTC

{{cite web
| title = Great General Ouki, this is the only man who could have matched Ribok…
| url = https://www.reddit.com/r/Kingdom/comments/1v3qx9n/great_general_ouki_this_is_the_only_man_who_could/
| date = 2026-07-24
| archiveurl = http://archive.today/2eMl2
| archivedate = 2026-07-24 }}

2026-07-24 14:13:43 UTC

{{cite web
| title = Leave some math for us to discover bro : mathmemes
| url = https://www.reddit.com/r/mathmemes/comments/1v40rpo/leave_some_math_for_us_to_discover_bro/
| date = 2026-07-24
| archiveurl = http://archive.today/xGRXz
| archivedate = 2026-07-24 }}
https://blossom.primal.net/f0845ef8b7bbb238c3c67582b9ad14ef2354573967d5ae3d839919c8b982ba58.mp4

2026-07-24 14:11:18 UTC

- reply

{{cite web
| title = Entendendo como o Capitalismo funciona de fato e seus limites fisicos…
| url = https://www.reddit.com/r/BrasildoB/comments/1v34h72/entendendo_como_o_capitalismo_funciona_de_fato_e/
| date = 2026-07-24
| archiveurl = http://archive.today/75i1j
| archivedate = 2026-07-24 }}
O texto apresenta uma análise teórica publicada no fórum digital BrasildoB, onde um autor busca fundir o marxismo com conceitos da física e termodinâmica. A discussão propõe que o valor e o preço das mercadorias estão intrinsecamente ligados à energia gasta em sua produção, sugerindo que o capitalismo é um sistema fisicamente insustentável. O autor argumenta que a busca incessante pelo lucro gera ineficiência produtiva e instabilidade, comparando o sistema a um fenômeno natural que se consome até o colapso. O debate se expande através de comentários que questionam se essa visão física da economia ignora a natureza social do trabalho humano. Por fim, o texto introduz um índice matemático para medir a decomposição do capital, estimando prazos para a inviabilidade do modelo atual.

2026-07-24 14:07:12 UTC

{{cite web
| title = Escolha de graduação para concursos : concursospublicos
| url = https://www.reddit.com/r/concursospublicos/comments/1v3pz6q/escolha_de_graduação_para_concursos/
| date = 2026-07-24
| archiveurl = http://archive.today/DYBuP
| archivedate = 2026-07-24 }}
As fontes apresentam uma discussão em uma comunidade virtual sobre quais graduações são mais vantajosas para quem deseja ingressar em concursos públicos no Brasil. O autor do tópico busca uma carreira estável com salário moderado, sem o nível de exigência de cargos de elite, como magistratura ou auditoria. Entre as recomendações dos usuários, destacam-se os cursos de Direito, Contabilidade, Administração e Economia, frequentemente referidos pela sigla CADE. O debate também aborda a utilidade de cursos tecnólogos e de Gestão Pública para acelerar a obtenção do diploma de nível superior, permitindo uma dedicação exclusiva aos estudos. Por fim, os participantes avaliam o equilíbrio entre a validade desses diplomas no setor público e a pregabilidade no mercado privado, caso a aprovação demore a acontecer.

2026-07-24 14:03:41 UTC

- reply

{{cite web
| title = Anyone else having AI-anxiety? : AskPhysics
| url = https://www.reddit.com/r/AskPhysics/comments/1v3wwnm/anyone_else_having_aianxiety/
| date = 2026-07-24
| archiveurl = http://archive.today/SpCnO
| archivedate = 2026-07-24 }}
Este fórum de discussão do Reddit aborda o impacto crescente da inteligência artificial no campo da física teórica e na educação acadêmica. Um estudante de pós-graduação expressa ansiedade sobre o futuro da carreira, destacando que modelos de linguagem já resolvem problemas complexos e auxiliam renomados pesquisadores em tarefas de alto nível. Os participantes debatem se a tecnologia serve como uma ferramenta de produtividade ou se está prejudicando o aprendizado real, já que alunos de graduação frequentemente usam a IA para automatizar tarefas sem compreender os conceitos. Enquanto alguns usuários temem que a originalidade humana seja substituída por modelos estatísticos, outros argumentam que a IA apenas elimina o trabalho braçal, permitindo foco em questões conceituais mais profundas. O consenso geral reflete uma incerteza sobre como a autenticidade da pesquisa será mantida em um mundo onde máquinas processam informações de forma sobre-humana.

2026-07-24 13:58:09 UTC

{{cite web
| title = Desempregada, solteira e sem saber que caminho seguir já com 30+. Que…
| url = https://www.reddit.com/r/Livros/comments/1v3hyby/desempregada_solteira_e_sem_saber_que_caminho/
| date = 2026-07-24
| archiveurl = http://archive.today/r2l17
| archivedate = 2026-07-24 }}
Este material apresenta uma discussão no fórum Reddit, especificamente na comunidade brasileira r/Livros, onde uma usuária de 36 anos busca recomendações de leitura para enfrentar uma crise existencial. A autora do post descreve sentimentos de estagnação, culpa e incerteza sobre o futuro por estar desempregada e solteira. Em resposta, diversos membros sugerem obras que variam entre clássicos da literatura, como Dostoiévski e Tolstói, e textos de filosofia estoica ou psicologia. Além de livros, os comentários oferecem conselhos sobre saúde mental, indicando a importância de buscar apoio profissional e novas perspectivas de vida. O diálogo reflete uma troca solidária de experiências entre leitores que utilizam a literatura como ferramenta de autoconhecimento e superação pessoal.

2026-07-24 13:55:48 UTC

- reply

{{cite web
| title = LLMs have completely my PhD experience : math
| url = https://www.reddit.com/r/math/comments/1v3qttw/llms_have_completely_my_phd_experience/
| date = 2026-07-24
| archiveurl = http://archive.today/XbIzi
| archivedate = 2026-07-24 }}
As fontes consistem em uma discussão em um fórum online onde um estudante de doutorado em matemática expressa desmotivação e crise existencial devido aos avanços da Inteligência Artificial. O autor teme que seu trabalho de pesquisa em um nicho específico tenha se tornado obsoleto, sentindo que modelos de linguagem poderiam resolver seus problemas de tese de forma mais rápida e eficiente. Em resposta, a comunidade oferece diversas perspectivas, argumentando que o valor do doutorado reside no processo de aprendizagem e na capacidade humana de validar e auditar os resultados gerados por máquinas. Alguns usuários sugerem que a IA deve ser vista como uma ferramenta de auxílio, comparando-a a uma calculadora avançada que exige um especialista para direcionar as perguntas corretas. O debate também aborda preocupações reais sobre o mercado de trabalho acadêmico e a rapidez com que a tecnologia está transformando a produção de conhecimento. Por fim, as interações destacam a tensão entre o desejo humano de descoberta intelectual e a eficiência automatizada das novas tecnologias de raciocínio lógico.

2026-07-24 13:52:06 UTC

- reply

{{cite web
| title = Terrence Tao is left scratching his head about the Jacobian Conjectur…
| url = https://www.reddit.com/r/math/comments/1v37h1c/terrence_tao_is_left_scratching_his_head_about/
| date = 2026-07-24
| archiveurl = http://archive.today/vLNcU
| archivedate = 2026-07-24 }}

2026-07-24 13:51:30 UTC

- reply

{{cite web
| title = Why Humans Matter in Mathematics : math
| url = https://www.reddit.com/r/math/comments/1v2wy3b/why_humans_matter_in_mathematics/
| date = 2026-07-24
| archiveurl = http://archive.today/N6uxp
| archivedate = 2026-07-24 }}
Este texto apresenta uma discussão em um fórum sobre o papel essencial dos seres humanos na matemática diante do avanço da inteligência artificial. O autor argumenta que, embora a IA possa eventualmente superar as pessoas em provas complexas e na criação de teorias, os humanos permanecem vitais como apreciadores da beleza matemática e usuários da razão para o progresso social. Nos comentários, profissionais e estudantes debatem as consequências econômicas dessa transição, expressando preocupação com a futura desvalorização de doutorados e carreiras acadêmicas. O diálogo também destaca o risco de uma segregação por riqueza, na qual apenas instituições de elite teriam recursos financeiros para acessar ferramentas de IA de ponta. Por fim, a comunidade questiona se o futuro da disciplina exigirá matemáticos que atuem mais como curadores de tecnologia do que como criadores independentes.

2026-07-24 13:49:30 UTC

- reply

{{cite web
| title = How are we going to train new PhD students? : math
| url = https://www.reddit.com/r/math/comments/1v3drx1/how_are_we_going_to_train_new_phd_students/
| date = 2026-07-24
| archiveurl = http://archive.today/ITbtW
| archivedate = 2026-07-24 }}
Esta discussão em uma comunidade de matemática explora o impacto da inteligência artificial, especificamente dos modelos de linguagem de grande escala (LLMs), na formação de futuros doutores. Os participantes debatem se a automação da resolução de problemas poderá atrofiar as habilidades analíticas dos estudantes ou se a tecnologia servirá como uma ferramenta para focar em intuições e abstrações superiores. Algumas opiniões sugerem que o papel do matemático evoluirá para o de um auditor de resultados, exigindo métodos de avaliação mais rigorosos, como exames orais e defesas presenciais. Há também preocupações sobre a viabilidade econômica da profissão, com o risco de que a dependência excessiva de IA torne o conhecimento humano superficial ou obsoleto. Em última análise, o texto reflete a incerteza sobre como manter o rigor acadêmico em uma era de automação cognitiva crescente.

2026-07-24 13:47:38 UTC

- reply

{{cite web
| title = What's a Problem Solver to Do? (PhD Student Looking for Guidance) : m…
| url = https://www.reddit.com/r/mathematics/comments/1v2zudq/whats_a_problem_solver_to_do_phd_student_looking/
| date = 2026-07-24
| archiveurl = http://archive.today/2gxO8
| archivedate = 2026-07-24 }}
Esta discussão em um fórum de matemática reflete a crise existencial vivida por pesquisadores e estudantes diante do avanço da inteligência artificial. O debate central foca na desvalorização da resolução de problemas como habilidade humana, já que modelos de linguagem começam a solucionar conjecturas e automatizar descobertas. Muitos participantes expressam angústia e nostalgia, comparando o momento atual à Revolução Industrial, onde o esforço intelectual artesanal perde espaço para a eficiência das máquinas. Enquanto alguns sugerem que a matemática se tornará um hobby pessoal focado na compreensão, outros defendem que os humanos devem assumir o papel de guias estratégicos da tecnologia. O texto revela um forte conflito entre o desejo pelo prazer intelectual do desafio e a necessidade prática de se adaptar a uma era de resultados automatizados.

2026-07-24 13:18:49 UTC

- reply

https://en.wikipedia.org/w/index.php?title=Proto-Indo-European_language&oldid=1365636625
O texto detalha o Proto-Indo-Europeu (PIE), a língua ancestral comum que deu origem à vasta família linguística indo-europeia. Como não existem registros escritos, os estudiosos utilizam o método comparativo para reconstruir sua fonologia, gramática e vocabulário a partir de idiomas descendentes. A hipótese predominante situa seus falantes originais na estepe pôntica-caspiana entre 4500 e 2500 a.C., associando-os à cultura Yamnaya. O material descreve a complexa estrutura morfológica do PIE, incluindo o sistema de ablaut e diversas declinações para substantivos e verbos. Além disso, o artigo traça a história da disciplina, mencionando acadêmicos fundamentais como William Jones e Jacob Grimm. Por fim, a fonte cataloga as ramificações modernas e extintas, como as línguas germânicas, itálicas, indo-arianas e anatólio.

2026-07-24 13:05:51 UTC

- reply

https://en.wikipedia.org/w/index.php?title=Rosetta_Stone&oldid=1363760554
As fontes fornecem um histórico detalhado da Pedra de Rosetta, um fragmento de estela egípcia descoberto em 1799 que contém um decreto real inscrito em três sistemas de escrita diferentes. Esse artefato tornou-se fundamental para a arqueologia moderna por permitir o deciframento dos hieróglifos, unindo o conhecimento do grego antigo à compreensão de scripts egípcios até então ilegíveis. O texto descreve a trajetória do objeto desde sua criação no período ptolemaico até sua captura pelos britânicos e subsequente exibição no British Museum. Além de abordar os debates acadêmicos entre figuras como Champollion e Young, os documentos discutem as tensões contemporâneas sobre o pedido de repatriação ao Egito. Por fim, as fontes ilustram como o nome do artefato se transformou em uma metáfora global para chaves essenciais de tradução ou descobertas científicas cruciais.

2026-07-24 13:02:22 UTC

- reply

https://en.wikipedia.org/w/index.php?title=Undeciphered_writing_systems&oldid=1364900502

2026-07-24 13:00:08 UTC

{{cite web
| title = Os Passaportes Mais Poderosos do Mundo em 2026
| url = https://forbes.com.br/forbes-life/2026/07/passaporte-dos-eua-empaca-em-10o-lugar-em-ranking-de-poder/
| date = 2026-07-24
| archiveurl = http://archive.today/qzu3b
| archivedate = 2026-07-24 }}

2026-07-24 12:56:43 UTC

- reply

https://en.wikipedia.org/w/index.php?title=Decipherment&oldid=1343680397
O texto aborda o processo de decifração, definido como a reconstrução do significado de escritas e idiomas antigos ou extintos. Diferente da criptoanálise, que lida com códigos secretos intencionais, essa disciplina busca recuperar o conhecimento histórico por meio de análises linguísticas, comparando textos bilíngues ou utilizando ferramentas estatísticas e computacionais. A fonte detalha os marcos históricos da área, mencionando sucessos famosos como a Pedra de Roseta e os hieróglifos egípcios, além de listar sistemas que ainda permanecem um mistério. Atualmente, o campo evolui com o uso de inteligência artificial e processamento de linguagem natural para superar obstáculos como a escassez de dados. O material também explora métodos para resgatar a pronúncia original de línguas mortas, utilizando rimas poéticas e registros históricos de gramática.

2026-07-24 12:11:50 UTC

- reply

PDF Dicionário Português-Inglês - OpenTran
https://web.archive.org/web/20250620183211/https://admin.opentran.net/pdf/upload/pt-en.pdf

2026-07-24 12:09:53 UTC

Dicionário Visual Bilíngue Português e Inglês
https://web.archive.org/web/20260724115816/https://dn1.cess.network/1693192859.pdf
Este material consiste em um dicionário visual bilíngue que traduz termos do português para o inglês por meio de ilustrações detalhadas. A obra organiza mais de 6.000 palavras e expressões em categorias temáticas, abrangendo áreas como anatomia humana, vestuário, relações familiares e saúde. Além do vocabulário, o guia oferece orientações de pronúncia e gramática, além de sugestões de atividades práticas para o aprendizado de idiomas. O recurso utiliza a associação visual para facilitar a memorização e a compreensão de conceitos do cotidiano. Por fim, o conteúdo serve como uma ferramenta de referência prática para estudantes que buscam ampliar seu vocabulário de forma estimulante.

2026-07-24 11:37:01 UTC

- reply

Sim. Noam Chomsky é um dos linguistas mais influentes do século XX, mas sua contribuição é de natureza diferente da dos especialistas que decifram línguas antigas.
Chomsky é conhecido principalmente por desenvolver a linguística gerativa, cujo objetivo é explicar a capacidade humana de adquirir e produzir linguagem. Seu foco está em questões como:
Qual é a estrutura mental que torna a linguagem possível?
Quais propriedades são compartilhadas por todas as línguas humanas?
Como as crianças aprendem uma língua tão rapidamente?
Sua teoria da Gramática Universal propõe que os seres humanos possuem uma predisposição biológica para a linguagem, embora essa hipótese seja amplamente debatida e tenha sido reformulada diversas vezes ao longo das décadas.
Em relação às línguas antigas e à decifração, a influência de Chomsky é relativamente pequena. A decifração de escritas como Linear A ou a escrita do Vale do Indo depende principalmente de:
linguística histórica;
filologia;
epigrafia;
arqueologia;
métodos estatísticos e computacionais.
A teoria gerativa não fornece, por si só, um método para descobrir o significado de símbolos desconhecidos ou reconstruir uma língua a partir de inscrições fragmentárias.
Por outro lado, algumas ideias derivadas da linguística teórica podem ser úteis indiretamente. Se uma escrita representa uma língua natural, espera-se que ela apresente certas propriedades estruturais — como categorias gramaticais, relações sintáticas e regularidades — que podem ser investigadas por linguistas. Ainda assim, essas análises costumam ser complementares às evidências históricas e arqueológicas.
Em resumo, Chomsky revolucionou a forma como entendemos a faculdade da linguagem e a estrutura das línguas, mas não é uma figura central na área de decifração de línguas antigas. Se o interesse é esse campo específico, nomes como Jean-François Champollion, Michael Ventris e Henry Rawlinson são referências históricas muito mais diretamente relacionadas.

2026-07-24 11:36:13 UTC

- reply

Sim. Na verdade, a matemática já desempenha um papel importante na decifração e reconstrução de línguas antigas, e seu papel tende a crescer com os avanços em computação e inteligência artificial. No entanto, ela raramente resolve o problema sozinha.
Algumas das principais contribuições são:
Estatística: analisa a frequência de símbolos, palavras e sequências. Se um sinal aparece com muita frequência, pode corresponder a um artigo, uma preposição ou uma terminação comum. Foi um dos primeiros métodos usados em criptoanálise e também na análise de escritas antigas.
Teoria da informação: mede a entropia de um sistema de escrita. Isso ajuda a responder perguntas como: "Este conjunto de símbolos representa uma língua natural ou apenas um sistema de marcação?". Esse tipo de análise foi aplicado, por exemplo, à escrita do Vale do Indo.
Teoria dos grafos (redes): modela as relações entre símbolos, palavras ou inscrições. Pode revelar padrões sintáticos e agrupamentos que não são evidentes à inspeção visual.
Probabilidade e inferência bayesiana: permitem comparar diferentes hipóteses sobre o significado de símbolos ou sobre o parentesco entre línguas, atribuindo probabilidades em vez de respostas categóricas.
Aprendizado de máquina: algoritmos podem identificar regularidades em grandes conjuntos de inscrições, agrupar símbolos semelhantes, sugerir segmentações e encontrar padrões que escapam à análise manual.
Otimização combinatória: muitos problemas de decifração consistem em encontrar a melhor correspondência entre símbolos e sons ou palavras entre milhões de possibilidades. Técnicas matemáticas reduzem drasticamente esse espaço de busca.
Há, porém, limitações fundamentais. A matemática encontra padrões, mas não atribui significados por si só. Um algoritmo pode concluir que dois símbolos desempenham funções semelhantes, mas não pode afirmar que um deles significa "rei", "água" ou "templo" sem evidências externas.
Um exemplo clássico ilustra isso. Imagine uma escrita desconhecida em que um símbolo sempre aparece entre um nome próprio e um número. A análise estatística pode indicar que esse símbolo é um verbo recorrente ou um marcador gramatical. Mas decidir se ele significa "possui", "entregou", "recebeu" ou outra coisa depende do contexto arqueológico, de inscrições relacionadas ou, idealmente, de um texto bilíngue.
Existe inclusive uma área interdisciplinar dedicada a esse tipo de problema, conhecida como linguística computacional histórica (quando o foco é a evolução das línguas) e, em muitos projetos de decifração, pesquisadores também utilizam métodos de mineração de dados, ciência de redes, estatística e aprendizado de máquina.
Em resumo, a matemática é uma ferramenta extremamente poderosa para restringir hipóteses, detectar estruturas e testar modelos. Ela pode mostrar que uma hipótese é improvável ou altamente consistente com os dados. No entanto, a interpretação final normalmente exige a integração com linguística, filologia, arqueologia e história. É justamente essa combinação que permitiu, por exemplo, avanços na compreensão de escritas antigas ao longo dos últimos dois séculos.

2026-07-24 11:35:54 UTC

- reply

Há diversos problemas importantes ainda em aberto. Alguns são considerados entre os maiores desafios da linguística histórica, da filologia, da epigrafia e da arqueologia.
1. A escrita do Vale do Indo (Harappa)
É provavelmente o maior mistério da escrita antiga.
Problemas:
Não sabemos sequer se os símbolos representam uma língua completa ou outro tipo de sistema de comunicação.
As inscrições são muito curtas (geralmente entre 4 e 10 sinais).
Não existe uma "Pedra de Roseta" (texto bilíngue).
Não há consenso sobre qual língua estaria por trás da escrita (drávida, indo-ariana, munda ou outra).
2. Linear A
Usada pela civilização minoica em Creta.
Sabemos:
Como pronunciar aproximadamente os sinais, porque eles se parecem com os do Linear B.
Não sabemos:
Que língua ela representa.
O significado da maioria das palavras.
É um caso curioso em que conseguimos "ler" os sons, mas não entendemos o idioma.
3. Rongorongo (Ilha de Páscoa)
Um dos poucos sistemas de escrita possivelmente inventados de forma independente.
Problemas:
Existem pouquíssimos textos preservados.
Não há falantes antigos para consultar.
Não existe texto bilíngue.
Ainda não sabemos se representa uma escrita completa, um sistema mnemônico ou algo intermediário.
4. Proto-Elamita
Apareceu no atual Irã por volta de 3100 a.C.
Sabemos:
Muitos sinais foram catalogados.
Alguns números e registros administrativos são compreendidos.
Não sabemos:
A língua subjacente.
A maior parte da gramática e do vocabulário.
5. Disco de Festo
Talvez o artefato mais famoso da arqueologia linguística.
O problema é simples:
Existe apenas um exemplar.
Isso torna praticamente impossível aplicar métodos estatísticos ou comparativos confiáveis.
6. Etrusco
O etrusco não é completamente indecifrado.
Na verdade:
Sabemos ler sua escrita.
Conhecemos boa parte da gramática.
Entendemos centenas de palavras.
Mas ainda desconhecemos grande parte do vocabulário e muitos textos permanecem de interpretação incerta.
7. Línguas sem parentes conhecidos
Mesmo quando a escrita é compreendida, algumas línguas permanecem isoladas.
Exemplos:
Etrusco.
Burushaski (ainda falado).
Língua da civilização minoica (Linear A).
Sem parentes próximos, reconstruir significados é muito mais difícil.
8. Reconstrução de protolínguas muito antigas
A linguística histórico-comparativa reconstrói protolínguas como:
Protoindo-europeu.
Proto-austronésio.
Protobanto.
Entretanto, há um limite temporal. Após cerca de 8.000–10.000 anos, as evidências linguísticas tendem a se tornar insuficientes para reconstruções confiáveis. Por isso, hipóteses de macrofamílias (como Nostrático, Eurasiático ou Proto-Mundo) permanecem altamente controversas.
9. Origem da linguagem humana
Este é talvez o maior problema de todos.
Perguntas ainda sem resposta definitiva:
Quando surgiu a linguagem plenamente humana?
Ela surgiu uma única vez ou várias vezes?
Como era sua estrutura?
Quais mudanças genéticas e cognitivas a possibilitaram?
Como não existem registros diretos da fala pré-histórica, a investigação depende da combinação de linguística, genética, arqueologia, paleoantropologia e neurociência.
Esses desafios variam em dificuldade. Alguns, como o Linear A e a escrita do Vale do Indo, podem eventualmente ser resolvidos se novas inscrições ou um texto bilíngue forem descobertos. Outros, como a origem da linguagem humana, talvez nunca possam ser respondidos com o mesmo grau de certeza, devido à ausência permanente de evidências diretas.

2026-07-24 11:34:40 UTC

- reply

No contexto da preservação digital, o Internet Archive é frequentemente considerado uma das iniciativas mais importantes do mundo. Não é o "santo graal", mas está entre os projetos que mais se aproximam desse ideal.
Sua missão é extremamente ambiciosa: preservar o patrimônio digital e cultural da humanidade e disponibilizá-lo gratuitamente.
Os principais projetos incluem:
Wayback Machine: arquiva bilhões de versões de páginas da web, permitindo visualizar como sites mudaram ao longo do tempo.
Digitalização de livros: milhões de livros, revistas e documentos foram escaneados em parceria com bibliotecas e universidades.
Arquivamento de áudio e vídeo: inclui filmes, programas de rádio, música e gravações históricas.
Preservação de software: mantém jogos, programas e sistemas antigos, muitos executáveis diretamente por emulação no navegador.
Coleções especiais: reúne fotografias, mapas, documentos governamentais e outros materiais de valor histórico.
Seu impacto é enorme porque a internet é extremamente efêmera. Estima-se que uma parcela significativa das páginas da web desapareça ou seja alterada em poucos anos. Sem iniciativas como o Internet Archive, uma grande parte da história da web seria perdida.
No entanto, ele ainda está longe do "santo graal" da preservação digital por algumas limitações:
não consegue arquivar toda a internet;
alguns conteúdos são protegidos por direitos autorais ou restrições técnicas;
conteúdos dinâmicos e aplicações modernas podem ser difíceis de capturar integralmente;
sua continuidade depende de financiamento, infraestrutura e de um ambiente jurídico favorável.
Se imaginarmos uma escala de preservação digital, ela poderia ser algo como:
1. Um sistema global capaz de preservar toda a informação digital da humanidade, de forma permanente e acessível (objetivo ideal).
2. O Internet Archive, como a maior iniciativa prática e aberta já criada para esse propósito.
3. Arquivos nacionais, bibliotecas digitais e repositórios institucionais especializados, voltados para coleções específicas.
Em outras palavras, o Internet Archive pode ser visto como o mais próximo que a humanidade chegou de uma "Biblioteca de Alexandria digital": um esforço contínuo para impedir que a memória da era digital desapareça, ainda que, por limitações técnicas, legais e econômicas, não consiga preservar tudo.

2026-07-24 11:33:34 UTC

- reply

No contexto da Preservação Digital, o "santo graal" seria garantir que qualquer informação digital permaneça acessível, íntegra, autêntica e compreensível por séculos ou milênios, independentemente da evolução tecnológica.
Hoje, esse objetivo ainda está longe de ser alcançado, porque a preservação digital enfrenta desafios como:
degradação física das mídias;
obsolescência de formatos de arquivo;
softwares que deixam de existir;
hardwares incompatíveis;
perda de metadados;
ataques cibernéticos e corrupção de dados.
Os principais "santos grais" da área seriam:
1. Uma mídia de armazenamento praticamente permanente
O ideal seria um suporte que:
durasse centenas ou milhares de anos;
suportasse condições ambientais extremas;
armazenasse grande quantidade de dados;
pudesse ser lido por futuras civilizações.
Pesquisas com armazenamento em DNA sintético e em vidro gravado por laser caminham nessa direção, mas ainda não são soluções de uso geral.
2. Eliminar a obsolescência tecnológica
Não basta guardar um arquivo; é preciso garantir que ele possa ser interpretado no futuro.
Isso exige preservar:
o formato;
o software;
o sistema operacional;
e, em alguns casos, até o hardware (por meio de emulação).
3. Garantir autenticidade permanente
Um documento digital deve poder responder, daqui a séculos:
É o original?
Foi alterado?
Quando foi criado?
Quem o produziu?
Assinaturas digitais, hashes e cadeias de custódia são parte dessa solução.
4. Automatizar a preservação
O sistema ideal detectaria automaticamente:
riscos de obsolescência;
degradação;
corrupção de dados;
necessidade de migração de formatos.
Tudo isso sem intervenção humana constante.
5. Criar um arquivo digital permanente da civilização
O objetivo mais ambicioso seria preservar:
livros;
artigos científicos;
obras de arte digitais;
filmes;
fotografias;
websites;
softwares;
bases de dados;
registros governamentais.
De forma distribuída, redundante e resistente a guerras, desastres naturais e mudanças tecnológicas.
O verdadeiro "santo graal"
Se fosse resumir a área em uma única meta, seria:
> Criar um sistema capaz de preservar qualquer objeto digital com autenticidade, integridade e acessibilidade por tempo indefinido, independentemente da evolução da tecnologia.
Esse objetivo é extremamente difícil porque a preservação digital não consiste apenas em "guardar bits". Ela exige preservar também o contexto, os metadados, a capacidade de interpretação e, em muitos casos, o ambiente computacional necessário para que a informação continue inteligível no futuro. É por isso que a preservação digital é vista como um processo contínuo, e não como uma ação única de armazenamento.

2026-07-24 11:32:45 UTC

- reply

Se o contexto for preservação do patrimônio histórico e cultural, o "santo graal" seria conseguir preservar integralmente o patrimônio da humanidade contra o tempo, os desastres naturais, as guerras e a ação humana, mantendo tanto sua integridade física quanto sua informação.
Em termos concretos, isso envolveria:
1. Preservação permanente de documentos
O maior sonho dos conservadores é impedir que manuscritos, papiros, pergaminhos, livros e fotografias continuem se degradando.
Isso incluiria técnicas capazes de:
interromper completamente a deterioração química;
recuperar textos ilegíveis;
preservar materiais por milhares de anos.
---
2. Preservação de sítios arqueológicos
Muitos sítios sofrem com:
erosão;
terremotos;
enchentes;
turismo excessivo;
guerras;
mudanças climáticas.
O ideal seria protegê-los sem impedir a pesquisa científica.
---
3. Recuperação de informação perdida
Mais importante do que salvar um objeto é salvar a informação que ele contém.
Hoje, tecnologias como:
imageamento multiespectral;
tomografia;
inteligência artificial;
já conseguem revelar textos apagados, queimados ou ocultos, recuperando informações antes consideradas perdidas.
---
4. Digitalização completa do patrimônio mundial
Outro grande objetivo é criar cópias digitais extremamente precisas de:
monumentos;
esculturas;
pinturas;
manuscritos;
artefatos arqueológicos.
Assim, mesmo que o original seja destruído, sua forma e grande parte de seu conteúdo permaneceriam preservados.
---
5. Desenvolvimento de materiais de conservação quase permanentes
Um enorme desafio é que praticamente todos os materiais envelhecem.
O "santo graal" da conservação seria desenvolver métodos capazes de manter objetos estáveis por séculos ou milênios sem alterar sua autenticidade.
O verdadeiro "santo graal"
Se fosse necessário resumir em uma única frase:
> Preservar toda a informação histórica produzida pela humanidade, de forma autêntica, acessível e praticamente permanente.
Isso seria mais valioso do que preservar apenas os objetos físicos. Um manuscrito pode se deteriorar, mas se seu conteúdo, contexto, aparência, composição material e localização forem registrados com precisão, uma parte essencial de seu valor histórico continua disponível para as gerações futuras.
Essa ideia orienta grande parte da preservação contemporânea: proteger tanto o objeto quanto a informação que ele carrega, porque ambos são componentes do patrimônio cultural.

2026-07-24 11:29:28 UTC

- reply

No contexto do Brasil, o "santo graal" da História seria preencher algumas das maiores lacunas documentais e arqueológicas da formação do país. Entre elas, destacam-se:
1. Compreender plenamente as sociedades indígenas pré-coloniais
Este talvez seja o maior objetivo da historiografia brasileira atual.
Durante muito tempo, acreditou-se que o território brasileiro era pouco povoado antes de 1500. Hoje, pesquisas arqueológicas mostram que existiam sociedades altamente organizadas, especialmente na Amazônia.
Ainda há perguntas fundamentais:
Quantas pessoas viviam no território?
Como eram suas estruturas políticas?
Como se relacionavam entre si?
Até que ponto modificaram a floresta amazônica?
Responder a essas questões mudaria profundamente a narrativa sobre a formação do Brasil.
---
2. Descobrir novos documentos sobre o período colonial
Grande parte da documentação colonial foi perdida, destruída ou permanece dispersa em arquivos brasileiros e europeus.
A descoberta de conjuntos documentais importantes poderia alterar nosso entendimento sobre:
a administração portuguesa;
a escravidão;
a economia colonial;
as relações entre indígenas, africanos e europeus.
---
3. Conhecer melhor a história de Palmares
Quilombo dos Palmares é um dos maiores símbolos da resistência à escravidão.
Ainda há muitas questões em aberto:
como era sua organização política;
qual era sua população;
como funcionava sua economia;
como se davam suas relações com outras comunidades.
Novas escavações arqueológicas podem esclarecer aspectos ainda desconhecidos.
---
4. Reconstruir a história dos povos africanos no Brasil
Milhões de africanos escravizados chegaram ao Brasil, mas muitos registros sobre suas origens e trajetórias foram perdidos.
Avanços em documentação histórica, arqueologia e genética têm permitido reconstruir parte dessas histórias, mas ainda há muito a descobrir.
---
5. Esclarecer episódios históricos controversos
Existem eventos cujo entendimento ainda é incompleto, como:
as decisões políticas que levaram à Independência;
os bastidores da Proclamação da República;
diversos acontecimentos da ditadura militar (1964–1985).
A abertura de arquivos e a descoberta de novos documentos continuam sendo importantes para essas pesquisas.
---
O maior "santo graal" da História do Brasil
Se fosse necessário escolher apenas um, eu apontaria para:
Reconstruir de forma abrangente a história das sociedades indígenas que existiam antes da chegada dos portugueses.
Essa descoberta teria impacto semelhante ao que a decifração de grandes civilizações antigas teve em outras partes do mundo. Ela poderia alterar a compreensão da ocupação do território, da diversidade cultural e do próprio processo de formação do Brasil, mostrando um passado muito mais complexo do que o retratado pela historiografia tradicional.

2026-07-24 11:28:41 UTC

- reply

Na História, o "santo graal" não é resolver uma equação nem formular uma teoria única. O objetivo central é reconstruir o passado com o maior grau possível de fidelidade, sabendo que as evidências são sempre incompletas. Por isso, há vários "santos grais" diferentes.
Os maiores candidatos seriam:
1. Decifrar todas as escritas ainda indecifradas
A escrita é a principal fonte da História. Enquanto um sistema permanece indecifrado, uma civilização inteira continua parcialmente silenciosa.
Exemplos incluem:
Escrita do Vale do Indo;
Linear A.
Uma decifração bem-sucedida poderia transformar nosso conhecimento sobre sociedades antigas.
---
2. Recuperar grandes obras perdidas
Muitos textos fundamentais desapareceram ao longo dos séculos.
Entre eles:
obras perdidas de Aristóteles;
livros desaparecidos de historiadores antigos;
parte significativa da literatura clássica.
Cada descoberta desse tipo pode alterar interpretações consolidadas.
---
3. Explicar grandes colapsos históricos
Ainda há intenso debate sobre eventos como:
o Colapso da Idade do Bronze;
a queda de diversos impérios;
o desaparecimento de certas civilizações.
Uma explicação abrangente desses processos teria enorme impacto na compreensão da dinâmica histórica.
---
4. Descobrir uma teoria geral da mudança histórica
Desde o século XIX, diversos pensadores tentaram identificar leis ou padrões gerais do desenvolvimento histórico.
A questão permanece aberta:
Existem regularidades universais na ascensão e queda de sociedades?
Ou cada contexto histórico é essencialmente único?
A maioria dos historiadores contemporâneos é cautelosa com teorias universais, mas a busca por padrões continua em diálogo com economia, demografia e arqueologia.
---
5. Responder às grandes questões sobre as origens da civilização
Entre elas:
Por que a agricultura surgiu em determinados lugares?
Como nasceram os primeiros Estados?
Por que algumas sociedades desenvolveram determinadas tecnologias antes de outras?
Essas perguntas envolvem História, Arqueologia, Antropologia e Geografia.
---
O maior "santo graal"
Se fosse preciso escolher apenas um, provavelmente seria:
Obter evidências suficientes para reconstruir de forma muito mais completa as grandes lacunas da história humana, especialmente os períodos e civilizações dos quais sobreviveram poucos registros.
Ao contrário da Matemática ou da Física, a História dificilmente terá uma "teoria final". Novas fontes — um manuscrito, uma inscrição, um sítio arqueológico ou uma técnica de análise — podem mudar interpretações importantes, mas o objeto de estudo é um passado que não pode ser reproduzido experimentalmente. Assim, o maior ideal da disciplina é reduzir ao máximo a distância entre o que realmente aconteceu e o que somos capazes de demonstrar sobre o passado.

2026-07-24 11:18:49 UTC

Sempre que eu vejo esse pequeno retrato da sociedade brasileira do século XIX, dá-me uma irresistível vontade de perguntar aos pobres e negros de direita: vocês acreditam mesmo que os filhos e netos dessas distintas e honradas famílias cristãs são realmente muito diferentes de seus remotos avós, que diziam que o "Brasil vai quebrar" se libertarem os escravos?
Será que é mesmo muito difícil ligar os pontos dessa história e reconhecer as origens da sociedade injusta e perversa que herdamos e reproduzimos, por exemplo, quando os bolsonaristas dizem que o "excesso" de direitos trabalhistas prejudica a economia?
https://blossom.primal.net/acf0133cd2598c0a4e1535e880e8a73295f58e7ee7c8c89d8fc7068048cebc50.png

2026-07-24 11:15:45 UTC

https://blossom.primal.net/bd98203f45001eca8092f5b8eff4c250df50396f237d2900d02b7b4bd39b6be7.png

2026-07-24 11:14:51 UTC

https://blossom.primal.net/32b2134c9886c55e2fb094cef361db5f9338d52f9c88c6707b73155545cc5c2f.png

2026-07-24 03:43:19 UTC

“Há algum campo da linguística especializado na decifração de línguas antigas ou já extintas? Qual é a denominação dos profissionais responsáveis por esse trabalho?”
Sim. Há áreas da linguística e de disciplinas próximas dedicadas ao estudo, reconstrução e decifração de línguas antigas, extintas ou não documentadas. No entanto, não existe um único “cargo” universal para esses profissionais; a denominação depende do tipo de trabalho realizado.
As principais áreas e profissionais são:
Linguística histórica: é o campo da linguística que estuda a evolução das línguas ao longo do tempo, as mudanças fonéticas, gramaticais e lexicais, e as relações entre idiomas antigos e modernos. Seus especialistas são chamados de linguistas históricos.
Linguística comparativa (ou linguística histórico-comparativa): dedica-se a comparar línguas para reconstruir estágios anteriores de uma língua ou até mesmo línguas ancestrais hipotéticas, como o protoindo-europeu. Os profissionais são geralmente chamados de linguistas comparatistas.
Filologia: tradicionalmente envolve o estudo de textos antigos, manuscritos, inscrições e documentos escritos, combinando linguística, história e crítica textual. Os especialistas são chamados de filólogos.
Decifração de sistemas de escrita antigos: quando o problema é interpretar uma escrita desconhecida (como ocorreu com os hieróglifos egípcios ou a escrita cuneiforme), o trabalho costuma envolver epigrafistas (especialistas em inscrições) e linguistas especializados em línguas antigas.
Linguística de corpus e paleografia histórica também podem participar quando há grandes conjuntos de documentos antigos ou quando é necessário identificar e interpretar diferentes formas de escrita manuscrita.
Alguns exemplos famosos:
A decifração dos hieróglifos egípcios envolveu o trabalho de Jean-François Champollion, que combinou conhecimento de egípcio antigo, copta e grego antigo.
A interpretação da escrita cuneiforme suméria e acadiana envolveu filólogos e assiriólogos, especialistas nas línguas da antiga Mesopotâmia.
O estudo do etrusco, uma língua parcialmente compreendida e sem descendentes conhecidos, é feito por especialistas em linguística histórica e epigrafia.
Em termos gerais, alguém que “decifra línguas antigas” seria chamado de linguista histórico, filólogo ou epigrafista, dependendo se o foco está na reconstrução linguística, nos textos ou nas inscrições. Em contextos acadêmicos, é comum que uma mesma pessoa seja especialista em mais de uma dessas áreas.

2026-07-24 02:56:51 UTC

“Há algum campo da linguística especializado na decifração de línguas antigas ou já extintas? Qual é a denominação dos profissionais responsáveis por esse trabalho?”

2026-07-24 02:22:44 UTC

Não existe um único “santo graal” da Matemática, porque a matemática não tem uma teoria final universalmente aceita como a física busca com uma “Teoria de Tudo”. Mas existem alguns candidatos que muitos matemáticos considerariam entre os maiores objetivos possíveis.
1. Uma compreensão completa da estrutura dos números primos (Hipótese de Riemann)
A Hipótese de Riemann é frequentemente chamada de um dos maiores problemas da matemática. Uma prova dela não seria apenas resolver uma conjectura: poderia revelar uma estrutura profunda por trás da distribuição dos números primos, que são os “átomos” da aritmética.
2. O Programa de Langlands
Muitos especialistas consideram o Programa de Langlands um candidato ainda mais ambicioso. Ele tenta criar uma ponte entre áreas que pareciam separadas:
teoria dos números;
geometria algébrica;
análise harmônica;
teoria das representações.
Se o programa fosse completamente desenvolvido, poderia ser visto como uma espécie de “teoria unificada da matemática”, conectando grandes partes da disciplina.
3. Resolver a questão dos fundamentos da matemática
Outra possibilidade seria uma compreensão definitiva dos limites do raciocínio matemático. Os resultados de Kurt Gödel mostraram que sistemas formais suficientemente poderosos possuem afirmações verdadeiras que não podem ser provadas dentro deles. Uma revolução nos fundamentos poderia mudar nossa visão sobre o que significa “conhecer” uma verdade matemática.
4. Resolver grandes problemas de complexidade computacional
A pergunta P versus NP é outro candidato. Resolver se problemas cuja solução pode ser verificada rapidamente também podem ser encontrados rapidamente teria consequências enormes para algoritmos, criptografia e ciência da computação.
5. Descobrir uma nova linguagem matemática fundamental
Historicamente, as maiores revoluções não foram apenas soluções de problemas existentes, mas a criação de novas estruturas:
cálculo por Isaac Newton e Gottfried Wilhelm Leibniz;
geometria não euclidiana;
teoria dos conjuntos;
teoria das categorias.
Um “verdadeiro santo graal” talvez fosse descobrir uma estrutura matemática tão profunda que reorganizasse várias áreas ao mesmo tempo.
Se fosse necessário escolher um único candidato, muitos matemáticos provavelmente apontariam para o Programa de Langlands como o projeto mais próximo de uma “teoria unificada da matemática”, enquanto a Hipótese de Riemann seria o problema individual mais famoso e simbolicamente poderoso. Uma descoberta ainda maior seria encontrar uma nova estrutura que explicasse por que essas grandes áreas da matemática estão conectadas.