O que os teoremas da incompletude de Gödel provam realmente
Não tornam a matemática incerta: os teoremas de Gödel estabelecem um limite preciso para os sistemas formais suficientemente poderosos para descrever a aritmética.
L’actualité, les repères et les regards de la rédaction.
Não tornam a matemática incerta: os teoremas de Gödel estabelecem um limite preciso para os sistemas formais suficientemente poderosos para descrever a aritmética.
A salamandra-de-fogo deposita larvas; o lagarto-vivíparo pode viver em zonas húmidas. Dois exemplos para identificar melhor sem generalizar.
Um primeiro capítulo gratuito, uma gravação transferível e combates por turnos: os pontos a verificar antes de descobrir este Final Fantasy.
A sua forma de lente por vezes mantém-se no mesmo lugar enquanto o ar as atravessa. A condensação, o relevo e as ondas de montanha explicam este aparente paradoxo.
O morcego-anão-comum também vive nas fachadas do Luxemburgo. O seu papel na caça aos insetos merece mais do que um número isolado: habitats, alimentação e precauções em torno dos abrigos.
O Sputnik 2 colocou o primeiro animal em órbita à volta da Terra. Já tinham ocorrido voos antes, e não estava previsto o regresso da cadela: os marcos de uma missão histórica.
Parques franceses mostram uma forte redução da mortalidade após paragens direcionadas. Outro estudo, que envolve o Luxemburgo, simula o seu custo energético: os dois resultados não medem a mesma coisa.
O teste da Carnegie Mellon avalia tarefas numa empresa simulada. Os primeiros resultados datam de 2024: explicam algumas limitações, sem classificar as IA de hoje.
Uma experiência realizada em Stanford permitiu que cinco fragmentos branqueados recuperassem através do contacto com corais geneticamente idênticos. Os resultados são promissores, mas continuam limitados ao laboratório.
Um viticultor de Saumur plantou 20 000 videiras no Calvados, afirmando ter aí encontrado um clima mais fresco, enquanto a reportagem enquadra esta escolha na pressão do aquecimento sobre o Vale do Loire. Após uma primeira vindima em 2025, três quartos das 12 000 garrafas de vinho branco foram vendidos em mês e meio.
GoGo VELO mobilizou cerca de 1 250 pessoas e ultrapassou os 490 000 quilómetros no outono de 2026. Um olhar sobre os resultados, a história da campanha e o que estes números revelam sobre as deslocações de bicicleta.
A ESA testou o cérebro reprogramável dos futuros satélites Galileo. Para compreender esta inovação, revisitamos o funcionamento do GPS europeu, os seus relógios, as suas utilizações e as evoluções previstas.