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.
Category
Mathematics
Structures, formulas and tools for making relationships more visible.
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.