Everything is logarithms(alexkritchevsky.com)
245 points by E-Reverance 15 hours ago | 50 comments
tl;dr: The author argues that logarithms should be thought of as "baseless" objects analogous to coordinate-free geometric vectors, where writing log_b(x) is just choosing units (like "bits" or "nats") much like projecting a vector onto a basis. From this lens, many seemingly unrelated math operations—p-adic valuations, orders of vanishing in complex analysis, vector space dimension, and even translation operators in differential geometry—are all essentially logarithms or logarithm-like projections. The piece is speculative numerology aimed at uncovering a unifying coordinate-free framework that the author suspects underlies these scattered notations.
HN Discussion:
  • Baseless logarithms are formally torsors, supporting the article's coordinate-free framing
  • ~Logarithms as a single physical quantity with base-as-unit is correct, but 'baseless' terminology is misguided
  • The essay is sloppy and needs rigorous type/domain specifications and Lie theory grounding
  • Notational play without demonstrating a novel mathematical result limits the article's value
  • Appreciation for the power and elegance of logarithms as a computational/conceptual tool