Erdős 143: un controesempio
Ho costruito un insieme di razionali che rispetta la separazione dai multipli interi, ma ha somma reciproco-logaritmica divergente. Il percorso e la dimostrazione completa, formalizzata in Lean.
Benvenuti nella mia follia
Da quando studio Fisica a Pisa ho il viscerale bisogno di studiare tutto
il resto. Grazie a questo blog invece sentirai il bisogno di studiare me.
Aspettati letteralmente qualsiasi cosa
Ultimi articoli
Dal blog
Il lavoro come certificato morale
Il salario non remunera soltanto un'attività: spesso diventa una giustificazione pubblica dell'esistenza. Da qui nasce il prestigio morale della fatica.
Il lavoro deve finire
Se ASI e robot potessero riprodurre materialmente la società senza di noi, il lavoro perderebbe la sua giustificazione economica. Salario e proprietà diventerebbero il problema politico decisivo.
Iran, Hormuz e la guerra come rete
Come attacchi, blocco navale e verifica nucleare si trasmettono attraverso Hormuz. Fatti verificati e un modello causale per distinguere flussi, prezzi e conseguenze per l'Italia.
Il paragone sbagliato dei 20 watt
Un saggio sul metabolismo della cognizione: il paragone tra cervello e AI dipende da quale costo si imputa, dal bordo contabile, dalla formazione e dal riuso.
Dio come invarianza della proiettabilità
Una metafisica degli invarianti: perché l'assoluto non va pensato come totalità indistinta del possibile, ma come principio che rende mondo una perdita di informazione.
Il privilegio di fare poco
Arte concettuale, lauree e altri proxy: una teoria estesa del momento in cui il titolo pesa più del risultato.
Rientro
Un estratto iniziale da una storia che sto provando a scrivere.