学而

五岁观六甲，十岁识百家。

感兴趣的领域有：现代货币理论、宋明理学本体论、系统神学、古典学、生成语法理论、唯识宗、复杂系统、量子场论、类型论。

现在主要关注：Automated Reasoning, Formal Derivation, Physics-Informed AI.