8.11
Symbolistics
Symbolistics is a group dedicated to exploring diverse disciplines spanning formal sciences (such as mathematics and logic) and natural languages, with periodic engagement in natural sciences and philosophy. Our work focuses not only on exploring these individual fields but also on uncovering their deep interconnections. Methodologically, we integrate traditional tools (pen and paper), advanced computational platforms (Mathematica, GeoGebra), formal systems (Z3/Haskell/Agda/Lean), scientific computing toolkits (Julia/Python/R), Lisp-family languages (Clojure/Racket), large language models (LLMs), and other computer-aided or AI-driven methodologies.
Writings
Meta
Members