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.
Welcome to my madness
Since I started studying Physics in Pisa, I have had a visceral need to
study everything else. Thanks to this blog, you may instead feel the
need to study me.
Expect literally anything.
Latest articles
From the blog
Work as a Moral Certificate
A wage does not merely pay for an activity: it often becomes a public justification for a life. That is where the moral prestige of exertion begins.
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, and War as a Network
How attacks, the naval blockade, and nuclear verification propagate through Hormuz. Verified facts and a causal model that separates physical flows, prices, and consequences for Italy.
The wrong comparison of 20 watts
An essay on the metabolism of cognition: comparing brains and AI depends on the cost we assign, the accounting boundary, formation and reuse.
God as the invariance of projectability
A metaphysics of invariants: why the absolute should not be thought of as the undifferentiated totality of the possible, but as the principle that lets a loss of information become a world.
The privilege of doing little
Conceptual art, degrees and other proxies: an extended theory of the moment when the title weighs more than the result.
Return
An opening excerpt from a story I am trying to write.