On this page:
Symbolistics
Writings
Meta
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