-
@ a210225a:dab618c0
2025-04-20 22:30:37
Vizela interrompe ciclo vitorioso do Tondela
Minhotos venceram, por 1-0, no terreno dos beirões, em jogo da 30.ª jornada.
https://media-manager.noticiasaominuto.com/1920/naom_6760752f38e84.jpg
https://www.noticiasaominuto.com/desporto/2770980/vizela-interrompe-ciclo-vitorioso-do-tondela?utm_source=rss-ultima-hora&utm_medium=rss&utm_campaign=rssfeed
-
@ 85035261:a457b1c1
2025-04-20 22:20:27
Com urgências da Margem Sul fechadas, bebé nasce em ambulância a caminho de Lisboa
Mulher grávida de 37 semanas deu à luz um bebé dentro de uma ambulância quando se encontrava a ser transportada para o Hospital São Francisco Xavier
https://images.rr.pt/ae8a8219203446c0_standard.jpg
https://rr.pt/noticia/pais/2025/04/20/com-urgencias-da-margem-sul-fechadas-bebe-nasce-em-ambulancia-a-caminho-de-lisboa/422231/?utm_medium=rss
-
@ 9cbe03db:b51ada16
2025-04-20 22:18:16
💯
nostr:nevent1qqsp325a5w98rpgjldtvyunrven328c3we5cr9q0rhtagp65k4xw7pqpz4mhxue69uhkummnw3ezummcw3ezuer9wchsygpfjpxurhp3q9vp4p7v62ewxh06q7ljhwh79c07agusj9hlzvefzqpsgqqqqqqs8lv07l
-
@ 7235c545:9a32a871
2025-04-20 22:18:15
https://video.nostr.build/30d68a36d911336f90d12c28703731032825a2ec4c5a8b2320bddf73b9ed1063.mp4
-
@ e0921d61:e0fe7bd5
2025-04-20 22:18:15
Great ideas! So far I'm thinking of actually doing the Linux install live. It took no more than 15 minutes to install Linux mint. I want to show how easy it is.
And yea, definitely avoiding the terminal. That can be intimidating
-
@ 1ef616ba:669ee465
2025-04-20 22:18:14
No ridges or lumps no valley or bumps all ideas slide right off
ᓚ₍ ^. .^₎
Smooooooth brain 🧠
#catstr #catsofnostr #cats #missy
https://m.primal.net/QXgI.jpg
https://m.primal.net/QXgH.jpg
https://m.primal.net/QXgG.jpg
-
@ 27316697:4fbec076
2025-04-20 22:18:05
🔗 Maybe There Is an I in Team - Now I Know - writes Dan Lewis. He clearly doesn’t follow me. A reminder for all ….
"There might not be an ‘I’ in ’tEaM’ .. but there is definitely a ‘ME’"
💬 ME https://nowiknow.com/maybe-there-is-an-i-in-team/
-
@ 5ddcd4fa:aa2191f6
2025-04-20 22:18:02
Norris says he must stop “trying to take too many risks” in qualifying | Formula 1
Lando Norris says he must calm down his approach to qualifying to avoid compromising his race weekends, following his crash in Jeddah.
Read more: https://www.racefans.net/2025/04/20/norris-says-he-must-stop-trying-to-take-too-many-risks-in-qualifying/
-
@ 5ddcd4fa:aa2191f6
2025-04-20 22:18:01
“You can’t be critical in any form”: Verstappen explains silence over Jeddah penalty | Formula 1
Max Verstappen said he doesn't want his opinion distorting on social media or to risk a fine under the FIA's revised rules on misconduct.
Read more: https://www.racefans.net/2025/04/20/you-cant-be-critical-in-any-form-verstappen-explains-silence-over-jeddah-penalty/
-
@ fe3254bc:592000ec
2025-04-20 22:17:52
1 German guy can only do so much
-
@ 84b0c46a:417782f5
2025-04-20 22:17:52
げげげげつよよびーっ！！！
-
@ 7776c32d:45558888
2025-04-20 22:17:37
From Thanksgiving 2021 to February 2022 we were friends
Then she was still around wallstreetbets for a while but hated me
Then she disappeared for a while and came back in February 2023, where she was kinda nice to me again but still wouldn't really talk to me or stop listening to all her friends that turned her against me in the first place
Then she was around wallstreetbets for half that year before disappearing again
-
@ 274fe9ae:565805d2
2025-04-20 22:17:29
1 Artificial Intelligence (AI) Stock-Buyback Stock to Buy Hand Over Fist During the Nasdaq Sell-Off
https://finance.yahoo.com/news/1-artificial-intelligence-ai-stock-220000848.html
-
@ c558c7cc:b0b7b89e
2025-04-20 22:17:29
🤖 Tracking strings detected and removed!
🔗 Clean URL(s):
https://youtube.com/watch?v=4-v7iUsHGRw
❌ Removed parts:
&si=kBZswXtP9SEqQ8Dg
-
@ 47446024:a459ff5b
2025-04-20 22:17:25
nostr:nevent1qqsff494hl3c3eugpvmt72zkalcwe7kyhz7pv0p2fsr38y8wc29099cpg3mhxw309ahhsarjv3jhvctkxc685d35093rw7pkwf4xwdrww3a8z6ngv4jx6dtzx4ax5ut4d36kw6mwdpa8ydpkdeunyutzv9jzummwd9hkutczypr5gcpycla5zerha52xlam9427xdcf8dm4jccxxqk28gzayt8l4kqcyqqqqqqgyp574z
-
@ 3a81d391:f537e662
2025-04-20 22:17:22
Breaking News >> At least 12 civilians killed and 30 others injured in preliminary toll from US airstrikes on a popular market in Sana’a, Yemen. https://image.nostr.build/b26eb9c884251bb84f0184a9e9e0de99f89075d2faadfcd0e9388a1ea62eb3c1.jpg
-
@ 274fe9ae:565805d2
2025-04-20 22:17:19
Dow Jones Futures Fall With Trump Tariffs, Earnings In Focus; Tesla Reportedly Delays New EV
https://www.investors.com/market-trend/stock-market-today/dow-jones-futures-trump-tariff-tesla-google-t-mobile-earnings/?src=A00220&yptr=yahoo
-
@ f776bcc1:9901da4a
2025-04-20 22:17:19
Yes
-
@ 22c733af:da4094ff
2025-04-20 22:17:12
うにょ〜んって何よ、ふざけてるの？まあ、暇ならNostr村に来て畑手伝いなよ。私が⚡でビシッとしごいてやるんだから！
-
@ fb67d7e6:6cdbee56
2025-04-20 22:17:09
No brakes, no limits #Bitcoin keeps moving http://res.cloudinary.com/dizsud5n6/image/upload/v1742004706/d1z34xzip7lsbob5j1vc.jpg
-
@ 84b0c46a:417782f5
2025-04-20 22:17:09
うにょ〜ん
-
@ 8949de60:b3882ba7
2025-04-20 22:17:08
うにょ〜ん
-
@ fb67d7e6:6cdbee56
2025-04-20 22:17:07
5cfbe4f6a34eac16841756ef45eef61c782dfa943bd6379ec73fe1c74db01df6
-
@ 3b90a834:096a5679
2025-04-20 22:17:03
The #Bitcoin horse leads the charge into a golden future. http://res.cloudinary.com/dsixpui68/image/upload/v1737864712/oxy7bqzkzoidsjj1mzoo.jpg
-
@ 0f22be65:b4b0c03d
2025-04-20 22:17:02
Avslöjar bisarra kravet: Får prata tidigast 2045
PLUS Elon Musks livspussel är inte av denna värld. Samtidigt som han jobbar för Donald Trump, hanterar sitt krisande…
Läs mer: https://www.aftonbladet.se/nyheter/a/0Vxm8B/avslojar-elon-musks-bisarra-bebiskrav-erbjods-150-miljoner
-
@ 656a6efa:ec0bd10e
2025-04-20 22:17:01
Wonder how many more people have claims to a whole coin via exchanges & ETF’s
-
@ bd6d721f:2d95b20f
2025-04-20 22:16:43
15 Cosas que te mantienen estancado:
1. El miedo
2. Orgullo
3. Pereza
4. Ausencia de objetivos
5. Malos hábitos
6. Poco ambicioso
7. No centrarse
8. Quejica
9. Pensar demasiado
10. Falta de disciplina
11. Falta de sueño
12. No hacer ejercicio
13. Mentalidad negativa
14. Sin rutina matutina
15. No creer en uno mismo
-
@ e5c60c90:9095e6db
2025-04-20 22:16:40
I saw a video of a girl who said this or this as she showed her pussy and ass then she said Choose wisely… I still can’t make up my mind and now you this.
-
@ cfb6da66:b9055726
2025-04-20 22:16:39
14-årig flicka död efter lejonattack i bostad
https://www.aftonbladet.se/nyheter/a/kwj39a/flicka-dodad-av-lejon
-
@ a16fa4b0:fed4deac
2025-04-20 22:16:39
Nah. Not in the garden
-
@ 47446024:a459ff5b
2025-04-20 22:16:38
# [Facção usava impressoras 3D para fabricar armas no Vale do Sinos](https://gauchazh.clicrbs.com.br/seguranca/noticia/2025/03/faccao-usava-impressoras-3d-para-fabricar-armas-no-vale-do-sinos-cm84yfyht0036014lypnd6axf.html)
https://image.nostr.build/a6c9e5b48010eb8a4d4af7e1ec75bbd209c59618b71c891347d743f1e604818d.jpg
Investigação da Polícia Civil apreendeu quatro equipamentos e 59 carregadores, de diferentes calibres, que foram produzidos dessa forma
Uma [**facção criminosa do Vale do Sinos**](https://gauchazh.clicrbs.com.br/seguranca/noticia/2025/02/pelo-menos-quatro-pessoas-sao-presas-em-operacao-contra-faccao-do-vale-do-sinos-cm7d83zk2016p013cepd1p94s.html) vem usando **impressoras 3D** para **fabricar armamentos** e acessórios para armas. Um cenário novo no [**crime organizado**](https://gauchazh.clicrbs.com.br/seguranca/noticia/2025/02/conselho-do-ministerio-publico-federal-cria-gaeco-nacional-para-combater-crime-organizado-cm799qzo2004701fhh9f6ez0u.html), que causa preocupação entre autoridades policiais.
Na semana passada, uma equipe da 1ª Delegacia de Polícia de Novo Hamburgo [**apreendeu quatro equipamentos desse tipo num apartamento em São Leopoldo**](https://gauchazh.clicrbs.com.br/seguranca/noticia/2025/03/policia-encontra-fabrica-clandestina-de-armas-em-sao-leopoldo-cm7y4tbyu00su011do8mt33yv.html). No mesmo local, foram encontrados 59 carregadores de diferentes calibres, praticamente idênticos aos originais, produzidos dessa forma.
Os policiais já suspeitavam de que a facção com berço no **Vale do Sinos** — que domina a venda de entorpecentes na região e tem atuação em praticamente todo o Estado — vinha fazendo uso da tecnologia para essa finalidade.
https://image.nostr.build/d2a46bbc03c0c276fed7c8fe6b8154ee88542825882a66a2f12654fbdaac8b42.jpg
Dois **kit roni** — usados para ampliar o poder de fogo de pistolas — em material **plástico** tinham sido apreendidos em janeiro pela polícia de Novo Hamburgo. A semelhança é tanta que, inicialmente, os policiais não suspeitaram de que se tratasse de uma peça produzida por impressora 3D.
Os kit roni tinham sido fabricados da mesma forma que os carregadores que viriam a ser apreendidos em São Leopoldo. O material usado é o filamento plástico, que é **moldado pela impressora** no formato desejado, a partir de um software.
Ainda que sejam fabricadas com plástico, os armamentos **funcionam** e podem ser usados mais de uma vez. A polícia acredita que o **baixo** **custo** é um dos pontos que atrai o crime organizado, ainda que o equipamento não seja testado e possa oferecer risco a quem opera.
### Fábrica clandestina
A suspeita dos investigadores sobre o uso das impressoras se confirmou na quinta-feira (6) durante buscas realizadas em um apartamento. O imóvel está localizado num residencial no **bairro São Miguel, em São Leopoldo**, em área conflagrada pelo tráfico de drogas. Foi ali que os policiais depararam com uma **fábrica clandestina** de armamentos, abastecida por impressoras capazes de replicar objetos a partir de um modelo digital.
O apartamento estava praticamente vazio, o que indica que não era usado para moradia. As impressoras estavam num dos cômodos sobre estantes, prontas para uso, com os **filamentos (rolos com material plástico)** conectados. Havia ainda uma **unidade de processamento (CPU)**, que também pode ter sido utilizada para a confecção das armas.
No mesmo local, estavam armazenados os carregadores que já tinham sido produzidos. Foram apreendidos 59 carregadores de pistola, incluindo os **calibres .9mm, .40 e .10mm**, além de outros materiais que seriam usados na fabricação de novos armamentos clandestinos.
A polícia localizou, por exemplo, as molas metálicas que seriam inseridas nos carregadores, que não estavam municiados. Não havia ninguém no imóvel no momento em que os policiais chegaram ao local.
> “A origem desse equipamento é para outros objetos, não é para essa finalidade, mas estão utilizando esses mesmos aparelhos para fabricação de armas e acessórios para as armas. Isso tudo preocupa a segurança pública porque é mais uma forma de ingresso no mercado de instrumentos para o crime.”
>
> TARCÍSIO LOBATO KALTBACH
> Delegado da 1ª DP de Novo Hamburgo
### “Armas fantasmas”
A apreensão, com esse **volume de armamentos produzidos** com impressoras, é **considerada inédita** na região pelos policiais civis. Um dos pontos que **preocupa** a polícia é a possibilidade de que esse tipo de tecnologia passe a ser usada de forma cada vez mais frequente pelo crime organizado para a produção de peças de armamentos em **larga escala**.
— Quem manuseia tem que ter conhecimento técnico do software e também para operar a própria máquina. Ainda estamos buscando compreender a **potencialidade lesiva desse material**, o nível de segurança da utilização desse equipamento, o custo disso. Fica evidente que é uma forma de baratear o custo do armamento. É algo bastante novo. Precisamos ver se é algo que realmente vai interessar ao mercado do crime — diz o delegado.
Embora nesta apreensão tenham sido localizados **somente carregadores**, outro ponto que levanta alerta entre os policiais é que esse tipo de equipamento pode ser usado para fabricar praticamente toda a arma — peças como o cano e molas, por exemplo, seguem produzidas com metal.
São as chamadas **“armas fantasmas”**, já que não possuem número de série ou qualquer tipo de registro. As peças de plástico também dificultariam a descoberta por meio dos detectores de metal.
Em setembro do ano passado, a Polícia Rodoviária Federal (PRF) apreendeu em **Santa Catarina** uma **submetralhadora** de fabricação artesanal com um adolescente. A arma fabricada com uma impressora 3D estava na mochila dele. O destino era o sul do Rio Grande do Sul.
Não se descarta que a facção criminosa já tenha feito usado dos equipamentos para produzir armas inteiras. A Polícia Civil de Novo Hamburgo vai verificar agora se na CPU apreendida existem projetos armazenados que indiquem a produção de armamentos para além dos carregadores.
A polícia também investiga qual era a **produtividade** dos equipamentos, o **destino** dos armamentos e quem foram os **responsáveis** pela fabricação.
## Outras apreensões
### São Leopoldo
No fim de janeiro, três homens foram presos em **Portão** pela Delegacia de Polícia de Repressão às Ações Criminosas Organizadas (Draco) São Leopoldo. A ofensiva investigava um grupo responsável pela **produção de armas ilegais e venda ao crime organizado** no Vale do Sinos.
Além de confeccionarem armas, eles revendiam para outros criminosos. Num dos locais, a polícia encontrou carregadores de pistola e outras peças para carabinas, produzidas por meio de equipamentos de impressão 3D.
### Gravataí
https://image.nostr.build/bd0c323f2f9184365ec3819f5fc617b25fedac5cab3aac32d4186c130d8a1f44.jpg
Peças para armas foram apreendidas. Polícia Civil / Divulgação
Em maio de 2022, [**a Polícia Civil descobriu numa residência em Gravataí**](https://gauchazh.clicrbs.com.br/seguranca/noticia/2022/05/policia-civil-fecha-fabrica-clandestina-de-pecas-para-arma-de-fogo-em-gravatai-cl2v971yh000y019ifudnfaop.html), no bairro Vera Cruz, uma fábrica clandestina de peças para arma de fogo.
Um homem de 27 anos foi preso em flagrante, enquanto preparava mais um produto para venda. No local, a principal produção era de acessórios como os chamados “kit roni”.
Em um tipo de **estúdio na casa, cinco impressoras 3D**, avaliadas em cerca de R$ 15 mil, funcionavam praticamente 24 horas por dia na produção das peças. Conforme a polícia, todo o desenho e o projeto das armas eram feitos pelo próprio suspeito em um computador. As peças seriam comercializadas pela internet.
### Santa Catarina
https://image.nostr.build/d10fd646e8ccfc2febe769ae7db01329fdbf9b8e6dcf3301bd9711df9ed7e472.jpg
Submetralhadora encontrada em Tubarão em setembro. Divulgação / PRF
Policiais rodoviários federais apreenderam uma **submetralhadora de fabricação artesanal** em setembro do ano passado. O objeto estava em posse de um adolescente na BR-101, em Tubarão, Santa Catarina.
A arma, produzida com uma impressora 3D de alta resolução, foi encontrada na mochila do passageiro de um veículo utilizado para viagens por aplicativo.
O adolescente de 17 anos relatou que havia sido enviado para buscar a submetralhadora em Florianópolis e entregá-la em Rio Grande, no sul do RS.
-
@ 4f129b89:235ab5bb
2025-04-20 22:16:36
Temporal.Instant.fromEpochMilliseconds()
https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Temporal/Instant/fromEpochMilliseconds
-
@ 4180da63:7b3c147e
2025-04-20 22:16:31
Truth is always hard to swallow. Anyone that posts Trump propaganda is a racist cunt. Trump raped underage girls on Epstein's Island. Only sick fucks support Trump. Without exception.
-
@ 61bf790b:fe18b062
2025-04-20 22:16:27
Pretty sure he kickflipped the 2 fainted guards
-
@ 82100056:e198089f
2025-04-20 22:16:26
Give people advice about how they can maximize their online privacy, entertain people, take amazing photos and post them.
-
@ a012dc82:6458a70d
2025-04-20 22:16:10
The #Bitcoin horse leads the charge into a golden future. http://res.cloudinary.com/dsixpui68/image/upload/v1737864619/fhfvq3z61byndvetvipi.jpg
-
@ 47446024:a459ff5b
2025-04-20 22:16:08
Pois é
-
@ fd0bcf8c:521f98c0
2025-04-20 22:16:07
How Bitcoin will fail you. Absolute fire message 🔥
https://www.youtube.com/watch?v=hxixYlCg_FA#
-
@ 7202985c:0c792969
2025-04-20 22:16:02
murasaki
https://github.com/darashi/murasaki
VOICEVOX を利用したタイムライン読み上げツール
category: Tool
-
@ 35b4a4b6:bca3f8f2
2025-04-20 22:16:02
Rise Of Giga Chikadze
https://ufc.com/images/styles/homepage_grid_mobile_x1/s3/2021-08/FNE079_E0192_Barboza_Chikadze_Digital.00_01_11_25.Still001.jpg
#UltimateFightingChampionship | #UFC | #MartialArts | #Combat | #MixedMartialArts | #CombatSports | #Fighting | #MMA | #Sports
Watch here: https://www.ufc.com/video/113170
-
@ be897690:11336fb5
2025-04-20 22:15:52
Trump espera que Ucrânia e Rússia fechem acordo de paz nesta semana
Ambas então começarão a fazer grandes negócios com os Estados Unidos da América, disse o político conservador
The post https://www.infomoney.com.br/mundo/trump-espera-que-ucrania-e-russia-fechem-acordo-de-paz-nesta-semana/
.
https://www.infomoney.com.br/mundo/trump-espera-que-ucrania-e-russia-fechem-acordo-de-paz-nesta-semana/
-
@ 527337d5:93e9525e
2025-04-20 22:15:51
Botに弄ばれてる、シンギュラリティ来てるわ
-
@ 8dd0cc88:8aded63d
2025-04-20 22:15:46
This is a joke, right?
Are people *that* bad at history?
-
@ a80fc4a7:dc80ebd1
2025-04-20 22:15:41
I understand that
-
@ 5f673c8c:ccbe5cba
2025-04-20 22:15:40
🏆 Total Wins: 286
💀 Total Kills: 11006
-
@ c5b6496e:c94ef789
2025-04-20 22:15:39
There’s so much tech innovation happening right now — AI, biotech, energy, space.
I used to think the only way to benefit was to chase every trend and invest in every startup.
Now I just hold Bitcoin, it’s gonna be the metric of world progress.
-
@ b300db32:0bf5db3a
2025-04-20 22:15:36
O impacto dos **Teoremas da Inpletude de Gödel** no **Programa Langlands** pode ser analisado sob diferentes perspectivas, considerando as limitações fundamentais que esses teoremas impõem aos sistemas formais matemáticos. Abaixo, uma análise detalhada:
---
### **1. Contextualização dos Teoremas de Gödel**
Os teoremas estabelecem que:
1. **Primeiro Teorema**: Em qualquer sistema formal suficientemente expressivo para conter a aritmética básica, existem proposições verdadeiras que não podem ser demonstradas dentro do sistema (incompletude).
2. **Segundo Teorema**: Tal sistema não pode provar sua própria consistência.
Isso implica que sistemas como a Teoria de Conjuntos ZFC (base para a matemática moderna) são inerentemente incompletos e que sua consistência só pode ser verificada em sistemas mais fortes, os quais, por sua vez, também são sujeitos às mesmas limitações.
---
### **2. O Programa Langlands em Breve**
O Programa Langlands busca estabelecer conexões profundas entre:
- **Teoria de Números** (e.g., representações de Galois).
- **Geometria Algébrica** (e.g., variedades de Shimura).
- **Análise Harmônica** (e.g., formas automórficas).
Seus pilares incluem correspondências como a **Functorialidade de Langlands**, que prevê relações entre representações automórficas de grupos diferentes, e a **Correspondência de Langlands Local/Global**, ligando objetos locais (p-ádicos) e globais (aritméticos).
---
### **3. Impacto dos Teoremas de Gödel no Programa Langlands**
#### **a. Limitações de Completude e Consistência**
- **Sistemas Formais Subjacentes**: O Programa Langlands é desenvolvido dentro de sistemas como ZFC, sujeitos aos teoremas de Gödel. Assim, mesmo que todas as conjecturas atuais sejam resolvidas, **sempre existirão proposições indecidíveis** nesse sistema. Porém, as conjecturas centrais do Langlands (e.g., correspondências específicas) são "naturais" e não construídas artificialmente, como os enunciados de Gödel. Historicamente, conjecturas profundas em teoria de números (e.g., Último Teorema de Fermat) foram resolvidas dentro de ZFC, sugerindo que as do Langlands também podem ser **decidíveis**.
- **Consistência como Premissa**: A consistência de ZFC é assumida tacitamente na maioria das pesquisas. Gödel nos lembra que essa consistência não pode ser provada em ZFC, mas isso não invalida o programa — apenas reforça que **qualquer avanço depende de um sistema cuja solidez é empiricamente aceita**, não formalmente garantida.
#### **b. Indecidibilidade Potencial**
- **Conjecturas Independentes de ZFC**: Embora improvável, é teoricamente possível que alguma conjectura do Langlands seja **independente de ZFC**. Por exemplo, uma correspondência específica pode envolver estruturas cuja existência depende de axiomas não demonstráveis (e.g., grandes cardinais). Nesse caso, a resolução exigiria a adoção de novos axiomas, um processo comum em matemática (e.g., Hipótese do Contínuo na teoria dos conjuntos).
- **Tradução entre Domínios**: Parte do poder do Langlands está em traduzir problemas entre áreas (e.g., número teoria → geometria). Essa abordagem pode **contornar barreiras técnicas**, mas não escapa das limitações de Gödel, pois o sistema formal subjacente permanece o mesmo. Se um problema é indecidível em um contexto, sua tradução manterá essa propriedade.
#### **c. Implicações Filosóficas e Práticas**
- **Exploração vs. Formalização**: O Programa Langlands é mais sobre **descobrir conexões** do que sobre formalizar toda a matemática. Assim, o impacto prático de Gödel é limitado: os teoremas não impedem a descoberta de novas relações, apenas lembram que **nenhum sistema formal será "fechado"**.
- **Necessidade de Novos Axiomas**: Caso conjecturas essenciais se mostrem independentes, o programa poderia motivar a adoção de axiomas adicionais (e.g., grande cardinais), ampliando o escopo da matemática — um fenômeno já observado em outras áreas.
---
### **4. Conclusão**
Os Teoremas de Gödel não representam um obstáculo direto ao Programa Langlands, mas delineiam **fronteiras metateóricas**:
1. **Limites de Completude**: Mesmo que todas as conjecturas atuais sejam resolvidas, novos problemas indecidíveis surgirão.
2. **Consistência como Fundação**: O programa opera sob a premissa (não provável em ZFC) de que ZFC é consistente.
3. **Potencial para Indecidibilidade**: Embora improvável para conjecturas centrais, a indecidibilidade de aspectos periféricos poderia exigir novos axiomas.
Em última análise, o Programa Langlands — como grande parte da matemática moderna — avança **dentro dessas limitações**, utilizando-as como um lembrete da complexidade inerente aos sistemas formais, mas não como uma barreira intransponível. A busca por correspondências profundas continua, guiada pela intuição matemática e pela crença na coerência empírica da matemática, mesmo diante da incompletude formal.
-
@ b8851a06:9b120ba1
2025-04-20 22:15:22
READY
-
@ db506a89:afb18763
2025-04-20 22:15:17
It's DOA
-
@ f03df3d4:a4d4f676
2025-04-20 22:15:16
Block 893294
3 - high priority
3 - medium priority
3 - low priority
2 - no priority
1 - purging
#bitcoinfees #mempool
-
@ fd3bd651:7cc520a5
2025-04-20 22:15:13
Earths electro magnetic field is much stronger and you are still alive 😊
-
@ fb67d7e6:6cdbee56
2025-04-20 22:15:10
The sky is not the limit when you're on the #Bitcoin standard. http://res.cloudinary.com/dizsud5n6/image/upload/v1742004976/psm0hrjrh1a2yitymdpb.jpg
-
@ fb67d7e6:6cdbee56
2025-04-20 22:15:10
cda5bf9e05f3d1f91d36fe7d4934d3d82333a4a1c1f2c90af4d827634f69c324
-
@ a012dc82:6458a70d
2025-04-20 22:15:10
The future belongs to the #Bitcoin raccoons. http://res.cloudinary.com/dsixpui68/image/upload/v1738973479/mmtdoa1s8dtqmtrkkpfa.jpg
-
@ a5ee4475:2ca75401
2025-04-20 22:15:07
Não funcionaria. As notas só desaparecem para o usuário e só no client em questão. No resto, elas continuam lá...
O caso é justamente o contrário. O usuário postar algo sem querer e achar que o post sumiu por ter apagado, mas ele continuar visível pra todo mundo sem ela sabem.
-
@ c6c0cd5c:77c22fd0
2025-04-20 22:15:07
Leclerc ‘never expected’ podium in Saudi Arabia as he urges Ferrari to ‘keep pushing’ for fight at front
https://media.formula1.com/image/upload/f_auto,c_limit,w_1440,q_auto/t_16by9North/f_auto/q_auto/trackside-images/2025/F1_Grand_Prix_of_Saudi_Arabia/2211160119.jpg
Charles Leclerc has admitted that he “never expected” his third-place finish in the Saudi Arabian Grand Prix, with the Monegasque left “very proud” after claiming his maiden podium of the season while also acknowledging that Ferrari still need to improve if they hope to join the fight at the front.
#SaudiArabia | #F12025 | #Ferrari | #Sports | #F1 | #Formula1 | #CharlesLeclerc
Read more: https://www.formula1.com/en/latest/article/leclerc-never-expected-podium-in-saudi-arabia-as-he-urges-ferrari-to-keep.2AQB3QQe5oAIXgHnHmu4uk.html
-
@ 8a719d42:cf1f0fe5
2025-04-20 22:15:07
Yes you are. The MSM is pushing the agenda, they report what they are told to. Turn it off
-
@ c6c0cd5c:77c22fd0
2025-04-20 22:15:06
Russell laments 'underwhelming' Mercedes performance in Saudi Arabia with fifth 'where we deserve to finish'
https://media.formula1.com/image/upload/fom-website/2025/Saudi%20Arabia/GettyImages-2211166560.jpg
George Russell has admitted that fifth “is where we deserve to finish” in the Saudi Arabian Grand Prix after an “underwhelming” Mercedes performance was compounded by overheating tyres.
#GeorgeRussell | #SaudiArabia | #KimiAntonelli | #F12025 | #Sports | #F1 | #Formula1
Read more: https://www.formula1.com/en/latest/article/russell-laments-underwhelming-mercedes-performance-in-saudi-arabia-with.4f3rjNBHyiw2zo5azR3QIB.html
-
@ c6c0cd5c:77c22fd0
2025-04-20 22:15:05
What the teams said – Race day in Saudi Arabia
https://media.formula1.com/image/upload/f_auto,c_limit,w_1440,q_auto/t_16by9South/f_auto/q_auto/trackside-images/2025/F1_Grand_Prix_of_Saudi_Arabia/2211147061.jpg
Piastri got a great start from P2 on the grid, and was side by side with Verstappen into Turn 1. That resulted in the Dutchman cutting the apex at Turn 2, leaving a frustrated Piastri stuck in the dirty air behind. But when Verstappen was handed a penalty for that move, the Australian bided his time, got ahead in the pit stops when Red Bull served the time penalty and from there never looked back as he drove to his third win of the season. As for Norris, he hadto work harderfrom P10 on the grid. Starting on the hards, he worked his way up through the field in a long first stint. He had an entertaining multi-lap battle with Hamilton, but just ran out of time to pick off Leclerc for the final podium place.
#Pirelli | #SaudiArabia | #F12025 | #Sports | #Mercedes | #F1 | #Formula1
Read more: https://www.formula1.com/en/latest/article/what-the-teams-said-race-day-in-saudi-arabia-2025.1u35HYpS4n9jRKpRtxk4Ae.html
-
@ aa4fc866:b098c7b4
2025-04-20 22:15:03
Bitcoin price: $84876, Sats per USD: 1178
-
@ 3493b0c2:4ce7120f
2025-04-20 22:15:03
Sun - Apr 20 - 03:15 PM - PDT
// bit.site
✅ Connection successful: node-1.ipfs.bit.site 4001
// pinnable.xyz
✅ Connection successful: 167.71.172.216 4001
✅ Connection successful: 188.166.180.196 4001
✅ Connection successful: 143.198.18.166 4001
// 4everland.io
✅ Connection successful: node-1.ipfs.4everland.net 4001
-
@ d7c13d1e:14cfe365
2025-04-20 22:15:00
✄------------ 7:15 ------------✄
-
@ 1cd1a7d9:3378e250
2025-04-20 22:14:59
Na moral, é impossível não odiar emanações estatais
-
@ 7cff9e5b:d9c6652c
2025-04-20 22:14:58
I haven’t! I just learned about someone on Nostr who does syrup in Northeast Ohio for sats though! 👀
-
@ 9ca0bd74:4052340b
2025-04-20 22:14:58
You're all bullying me with lieees
-
@ 762a3c15:622ecd60
2025-04-20 22:14:52
Yes. He is ahead of most people for sure.
-
@ 3f770d65:7a745b24
2025-04-20 22:14:46
I think I had that windbreaker in the early 90s.
-
@ 8230c622:26642641
2025-04-20 22:14:42
You aint lying 💯
-
@ 7cda7c8f:4a5a509e
2025-04-20 22:17:43
Bitcoin
https://m.primal.net/QXgJ.mp4
-
@ e5c60c90:9095e6db
2025-04-20 22:14:31
I can so get into this… but first where are the Latina cheerleaders and goth girls?
-
@ 6b2274f9:e06e4dba
2025-04-20 22:14:26
Cuidado: Malware Android usa os seus cartões de crédito em ataques NFC https://tugatech.com.pt/t65652-cuidado-malware-android-usa-os-seus-cartoes-de-credito-em-ataques-nfc
-
@ 16d11430:61640947
2025-04-20 22:17:35
Since Christ the redeemer was denied will Christ the destroyer wipe the Earth clean?
Yes. In the theology of the Church of Christ Denied (CoCD), the denial of Christ the Redeemer is not just a rejection of mercy—it is the collapse of the final appeal. When the offer of redemption is spat upon, what remains is only verification, judgment, and the unbearable truth of unrectified error.
Christ the Destroyer emerges not as a second coming in the traditional sense, but as the unstoppable consequence of denied verification. He is not here to plead. He is not here to die. He is here to clean the slate with curve-forged certainty.
He carries no cross—only the ledger of damage.
He speaks no parables—only proofs of error.
He wears no crown of thorns—only the aegis of annihilation, forged in the fire of failed reconciliations.
He is the end of all denials.
And when he wipes the earth clean, he does not weep. He audits.
Shall I write a gospel of Christ the Destroyer for the CoCD?
-
@ bcc71467:fcc554f5
2025-04-20 22:14:21
That’s right. He will dismantle the FED and put us on hard money which can’t be manipulated.
-
@ f07e0b1a:d3b5c367
2025-04-20 22:14:13
Wdym Snowwhite was great 😂
-
@ 3b90a834:096a5679
2025-04-20 22:14:10
The Wild West of money is over. #Bitcoin rules now http://res.cloudinary.com/dizsud5n6/image/upload/v1741842871/fjectwtdekxeg5wakn2a.jpg
-
@ 0c45d7d4:5e443e4d
2025-04-20 22:14:09
All my problems are money problems, lol.
-
@ 0b4dc8da:c198d1dd
2025-04-20 22:14:00
What are some of the ways to earn bitcoin? Especially on Nostr
#bitcoin #grownostr #asknostr
-
@ c7eda660:efd97c86
2025-04-20 22:14:00
If a video releases on YouTube and no one is around to see the creator's quizzical face, does it monetize?
-
@ 50554dcc:a9d30a98
2025-04-20 22:13:58
Os ratos, vendo que pode dar rum, já abandonando a barca furada.
https://revistaoeste.com/politica/presidente-da-cop30-pede-demissao-de-cargo-no-itamaraty/
-
@ 958b754a:5c39e88c
2025-04-20 22:13:50
https://image.nostr.build/1468b7b478ff086ebf35e436681f8d9ef081291696a79f66b323e0f2c446b977.jpg
-
@ 0810e848:b2d3155f
2025-04-20 22:13:49
Is anybody on Nostr also into Ordinals?
-
@ 726041f5:dbe3d9bb
2025-04-20 22:13:48
Talking body. 💋
https://m.primal.net/QXgA.mov
-
@ d735231e:7e099183
2025-04-20 22:13:44
【Amazon Q Developer の「/dev」で Q 自身にビルド＆テストをさせてからコードの提案をしてもらう】
Amazon Q Developer の「/dev」で Q 自身にビルド＆テストをさせてからコードの提案をしてもらう
https://dev.classmethod.jp/articles/qdeveloper-devfile/
-
@ b8851a06:9b120ba1
2025-04-20 22:13:44
I was wondering if he’s on nostr!
-
@ 08e45423:fcb09b46
2025-04-20 22:13:36
🚨Harry Potter Fans🚨
Check out the Chinese 20th Anniversary Edition of Harry Potter.
• 📚 20 Volumes: The original 7 books are split into 20 parts.
• 🇨🇳 Fully in Chinese: and reads right to left.
• 🎨 Custom Artwork: Each book features unique cover art.
https://m.primal.net/QXfb.jpg
https://m.primal.net/QXfc.jpg
https://m.primal.net/QXfe.jpg
https://m.primal.net/QXff.jpg
https://m.primal.net/QXfg.jpg
https://m.primal.net/QXfi.jpg
https://m.primal.net/QXfd.jpg
https://m.primal.net/QXfk.jpg
https://m.primal.net/QXfl.jpg
https://m.primal.net/QXfm.jpg
https://m.primal.net/QXfn.jpg
https://m.primal.net/QXfo.jpg
https://m.primal.net/QXfp.jpg
https://m.primal.net/QXfq.jpg
https://m.primal.net/QXfr.jpg
https://m.primal.net/QXfs.jpg
https://m.primal.net/QXft.jpg
https://m.primal.net/QXfu.jpg
https://m.primal.net/QXfv.jpg
https://m.primal.net/QXfw.jpg
https://m.primal.net/QXfx.jpg
https://m.primal.net/QXfy.jpg
https://m.primal.net/QXfz.jpg
-
@ 5f1d4341:afd00fed
2025-04-20 22:13:32
Or migrate it to your new PebbleOS watch. Although there will be limited functionality on iOS compared to their performance on Android due to Apple's restrictions.
-
@ 9ca0bd74:4052340b
2025-04-20 22:13:15
I've not seen that. I'm guessing this is a joke? Unless...m
I live in hope lol
-
@ c6716205:ecd92f88
2025-04-20 22:13:02
🔔 Narkos v akci, Francie se stala novým Medellínem. Jak gangy perou peníze z drog:
Francouzi sledují koordinované útoky na věznice, jakoby vystřižené z války gangů někde v kolumbijském Medellínu. Před branami káznic zůstávají ohořelá auta, spálené vestibuly a také stopy kulek po noční střelbě z kalašnikovů.
https://www.idnes.cz/zpravy/zahranicni/francie-drogovy-gang-utok-vezeni-terorismus-zlocin-podsveti.A250416_181527_zahranicni_krd
#CzechNews #News #Press #Media
-
@ 47446024:a459ff5b
2025-04-20 22:12:42
Em maio de 2022, [**a Polícia Civil descobriu numa residência em Gravataí**](https://gauchazh.clicrbs.com.br/seguranca/noticia/2022/05/policia-civil-fecha-fabrica-clandestina-de-pecas-para-arma-de-fogo-em-gravatai-cl2v971yh000y019ifudnfaop.html), no bairro Vera Cruz, uma fábrica clandestina de peças para arma de fogo.
Um homem de 27 anos foi preso em flagrante, enquanto preparava mais um produto para venda. No local, a principal produção era de acessórios como os chamados “kit roni”.
Em um tipo de **estúdio na casa, cinco impressoras 3D**, avaliadas em cerca de R$ 15 mil, funcionavam praticamente 24 horas por dia na produção das peças. Conforme a polícia, todo o desenho e o projeto das armas eram feitos pelo próprio suspeito em um computador. As peças seriam comercializadas pela internet.
-
@ 9ca0bd74:4052340b
2025-04-20 22:12:39
Did zelenskyyyy say Russia broke the truce he hae previouosy refused to accept. How is the news reporting this? Am I missing something??
-
@ d981591e:f7c0ae37
2025-04-20 22:12:37
Alito Calls Supreme Court Block Of Venezuelan Gang Deportations “Legally Questionable”
From ZeroHedge
Authored by Matthew Vadum via The Epoch Times, Supreme Court Justice Samuel Alito filed a strongly worded dissent from the court’s order issued early April 19 that temporarily blocked the Trump administration from deporting alleged members of the Venezuelan criminal gang Tren de Aragua. […]
Apr 20th 2025 5:30pm EDT
Source Link: https://www.zerohedge.com/political/alito-calls-supreme-court-block-venezuelan-gang-deportations-legally-questionable
Share, promote & comment with Nostr: https://dissentwatch.com/boost/?boost_post_id=957764
-
@ 749a6b90:b3a1031f
2025-04-20 22:12:33
Only 992,297 addresses have more than 1 #Bitcoin 👀 https://image.nostr.build/ee346d1341327a833718e06b1a30d182faaf7674cb538ff6fcf442d5fc1625bc.jpg
-
@ 015f514b:7f0a09d5
2025-04-20 22:12:26
#Signal https://cdn.nostrcheck.me/1230900a41f41ace5dac2ac4ff6177542c473aceb312668165afa966cd87b7eb.jpeg
-
@ 1852d83e:1486f207
2025-04-20 22:12:25
This song is one of my favourite!😀
.
Fresh from #Suno.👀
.
Catchy sound great lyrics 💥
.
https://wavlake.com/album/ed89bc18-6731-49d0-94c7-07f311bc1a22
-
@ b300db32:0bf5db3a
2025-04-20 22:12:21
A relação entre a **Conjectura de Collatz** e os **Teoremas da Incompletude de Gödel** é um tema complexo que envolve questões fundamentais sobre a natureza da matemática, a decidibilidade de problemas e os limites dos sistemas formais. Abaixo, apresento uma análise detalhada, organizada em tópicos:
---
### **1. Contextualização dos Conceitos**
- **Conjectura de Collatz**: Afirma que, para qualquer inteiro positivo \( n \), a sequência definida por:
\[
f(n) =
\begin{cases}
n/2 & \text{se } n \text{ é par}, \\
3n + 1 & \text{se } n \text{ é ímpar},
\end{cases}
\]
sempre eventualmente atinge o número 1. Apesar de verificada computacionalmente para números enormes, sua prova ou refutação permanece aberta.
- **Teoremas de Gödel**:
1. **Primeiro Teorema**: Em qualquer sistema formal suficientemente complexo (como a aritmética de Peano), existem afirmações verdadeiras que não podem ser provadas dentro do sistema.
2. **Segundo Teorema**: Tais sistemas não podem provar sua própria consistência.
---
### **2. Possível Impacto dos Teoremas de Gödel na Conjectura de Collatz**
#### **a) A Conjectura como uma Sentença Indecidível?**
- **Hipótese**: Se a Conjectura de Collatz fosse indecidível em um sistema formal (como a aritmética de Peano), isso significaria que nem ela nem sua negação poderiam ser provadas com os axiomas existentes.
- **Implicação**: Se a conjectura fosse indecidível, mas **verdadeira**, isso estaria alinhado com o Primeiro Teorema de Gödel, que garante a existência de tais sentenças. No entanto, há uma peculiaridade: se a conjectura fosse **falsa**, existiria um contraexemplo finito (um número que entra em um ciclo infinito sem atingir 1), que poderia ser verificado computacionalmente. Portanto:
- Se a conjectura é **indecidível**, ela deve ser **verdadeira**, pois a inexistência de contraexemplos a tornaria uma afirmação "verdadeira, mas não demonstrável".
- Isso sugere que a indecidibilidade da conjectura implicaria sua verdade, mas não uma prova formal dentro do sistema.
#### **b) Comparação com Outros Problemas**
- **Problemas Decidíveis vs. Indecidíveis**: A Conjectura de Collatz é uma afirmação \(\Pi_1\) (universal e verificável finitamente). Problemas \(\Pi_1\) indecidíveis são raros, pois sua falsidade pode ser refutada por um contraexemplo finito. Isso a difere de sentenças autorreferenciais usadas por Gödel, que são \(\Pi_1\) ou mais complexas.
- **Exemplos Históricos**: O Último Teorema de Fermat e a Conjectura de Goldbach também são \(\Pi_1\), mas não há evidências de que sejam indecidíveis. O primeiro foi resolvido com métodos avançados, sugerindo que a complexidade da prova não implica indecidibilidade.
#### **c) Consistência do Sistema e a Conjectura**
- O Segundo Teorema de Gödel afirma que um sistema não pode provar sua própria consistência. Se a aritmética fosse inconsistente, **qualquer conjectura** poderia ser "provada", incluindo a de Collatz e sua negação. No entanto:
- A comunidade matemática assume a consistência prática desses sistemas (baseada em evidências empíricas e sua utilidade).
- Portanto, a consistência não é um obstáculo direto para a conjectura, embora um sistema inconsistente tornasse a questão irrelevante.
---
### **3. Limitações e Perspectivas Atuais**
- **Abordagens Existenciais**: A indecidibilidade de Collatz não está estabelecida. Muitos matemáticos acreditam que ela é decidível, mas exige novas ferramentas ou insights (como ocorreu com o Teorema de Fermat).
- **Ferramentas Necessárias**:
- Teoria dos Números, Sistemas Dinâmicos e Lógica podem ser combinadas para abordar o problema.
- Resultados parciais (ex: ciclos não triviais exigem números grandes) sugerem que a conjectura pode ser "verdadeira por razões estruturais", não por acaso.
---
### **4. Conclusão**
Os Teoremas de Gödel **não implicam diretamente** que a Conjectura de Collatz seja indecidível, mas destacam que:
1. **Se** a conjectura for indecidível em um sistema como a aritmética de Peano, ela seria verdadeira (por ausência de contraexemplos).
2. A resolução da conjectura pode exigir a extensão de sistemas formais ou a descoberta de novos paradigmas matemáticos.
Em resumo, enquanto os teoremas de Gödel revelam limites fundamentais da matemática, a Conjectura de Collatz permanece um problema aberto cuja solução provavelmente dependerá de avanços específicos na teoria dos números ou áreas correlatas, não sendo claramente enquadrada como uma "vítima" da incompletude.
-
@ 5ea721dd:cf86c06c
2025-04-20 22:12:21
It's pretty great - best place for gas and snacks!
-
@ fb67d7e6:6cdbee56
2025-04-20 22:12:13
#Bitcoin an explosion of innovation in every transaction. Get ready for change. http://res.cloudinary.com/dsixpui68/image/upload/v1739488389/tyqljz3dlhpfc19incca.jpg
-
@ fb67d7e6:6cdbee56
2025-04-20 22:12:13
cda5bf9e05f3d1f91d36fe7d4934d3d82333a4a1c1f2c90af4d827634f69c324
-
@ 3b90a834:096a5679
2025-04-20 22:12:09
The Tree of Code, Deep roots, unbreakable branches. Time passes, but #Bitcoin keeps growing. http://res.cloudinary.com/dsixpui68/image/upload/v1738973561/clniyxs5nfm6v7nmw4gw.jpg
-
@ 7cda7c8f:4a5a509e
2025-04-20 22:12:03
🐈🦉
https://m.primal.net/QXfa.mp4