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.
Categoria
Matematica
Strutture, formule e strumenti per rendere più visibili le relazioni.
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.