Tag: math.LO

#math.LO

Latest First Most Viewed Alphabetical

All Conference (264) Law Review (307) Academic (4429) Think Tank (60) News (740) Journal (138) Technology & AI (4) Business & Strategy (1) Finance & Economics (2) Legal & Compliance (1) Innovation & Research (0) International Affairs (2) Cybersecurity (2) Healthcare & Biotech (2)

Academic · 1 min

Compression is all you need: Modeling Mathematics

arXiv:2603.20396v1 Announce Type: new Abstract: Human mathematics (HM), the mathematics humans discover and value, is a vanishingly small subset of formal mathematics (FM), the totality …

Vitaly Aksenov, Eve Bodnia, Michael H. Freedman, Michael Mulligan

8 views Mar 24

Academic · 1 min

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

arXiv:2603.15929v1 Announce Type: new Abstract: We present a complete Lean 4 formalization of the equilibrium characterization in the Vlasov-Maxwell-Landau (VML) system, which describes the motion …

Vasily Ilin

10 views Mar 18

Academic · 1 min

da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based …

arXiv:2602.15158v1 Announce Type: new Abstract: This paper presents a novel approach for ontological heterogeneity that draws heavily from Carnapian-Goguenism, as presented by Kutz, Mossakowski and …

Gabriel Rocha

9 views Mar 7

#math.LO

Compression is all you need: Modeling Mathematics

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based …

JCG, PC

HSOLLC Co., Ltd.